https://github.com/mupq/pqm4
Revision 2c48508775aec0b519f87053877529a574d7150b authored by Richard Petri on 27 March 2024, 14:10:26 UTC, committed by GitHub on 27 March 2024, 14:10:26 UTC
More CI and add excluded schemes on all platforms
2 parent s 4f5b5ce + cc3481a
History
Tip revision: 2c48508775aec0b519f87053877529a574d7150b authored by Richard Petri on 27 March 2024, 14:10:26 UTC
Merge pull request #337 from mupq/moreci
Tip revision: 2c48508

back to top