Jeremy Felder b92bc707d1 Fix main build badge to be on push and not pr

2024-01-08 17:28:11 +02:00

..

main-build.yml

Fix main build badge to be on push and not pr

2024-01-08 17:28:11 +02:00

main-format.yml

Fix the need for a dummy bindings.rs file included in the repo (#296)

2023-12-13 12:45:00 +02:00

main-test.yml

Fix bw6 test in CI

2023-12-12 21:33:23 +02:00