Commit Graph

2 Commits

Author SHA1 Message Date
Adriaan de Groot
082a1c342a CI: repair name of fedora-with-boost 2024-03-03 20:39:24 +01:00
Adriaan de Groot
b37cf66acb CI: add a fedora-boost CI job, for better coverage
All other CI jobs use pybind11.
2024-02-24 13:46:16 +01:00