Build Eurydice and run tests

Merge pull request #131 from Nadrieril/commit-test-output #552

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
charon-pin-is-merged	5s
charon-pin-is-forward	6s
check	49s
kyber	6m 44s
	7m 44s