github actions: actually build the code and execute the tests#154
github actions: actually build the code and execute the tests#154hannesm merged 1 commit intomirage:mainfrom
Conversation
The building and test execution was disabled in 840f50b
|
Hmm, unfortuately I don't quite understand |
|
Not sure what's wrong here -- looks like a bug in setup-ocaml. |
|
I restarted the GitHub actions, and the windows compilation succeeds now. @EduardoRFS would you be able to take a look into the cross-compilation CI and why it is failing? it complains about missing dune-configurator, but I've no clue where to adjust that... also, mirage-crypto opam file has a dependency onto dune-configuratior. |
|
@hannesm feel free to remove it, I will not have time in the near future to maintain it, I apologize for the stress |
|
@EduardoRFS ok, thanks. |
…age, mirage-crypto-rng-eio, mirage-crypto-rng-async, mirage-crypto-pk and mirage-crypto-ec (0.10.7) CHANGES: - mirage-crypto-rng-eio: new package for seeding and feeding entropy to the rng with eio (mirage/mirage-crypto#155 @bikallem, @talex5, @hannesm) - mirage-crypto-ec: expose Dsa.byte_length (mirage/mirage-crypto#164 @hannesm) - CI: various fixes (mirage/mirage-crypto#154 mirage/mirage-crypto#164 @hannesm) - mirage-crypto-rng-mirage: use 'a generator type alias - mirage-crypto-rng: improve setup_rng message (add async, revise lwt) (mirage/mirage-crypto#161 @hannesm) - mirage-crypto-rng-mirage: always feed the default generator (as done in a8c7bbd2552a9d2177450e95f280342f80fba01d for the lwt feeding) (mirage/mirage-crypto#161 @hannesm) - ec: update generated code to recent fiat-crypto (mirage/mirage-crypto#156 @hannesm)
//cc @avsm @smorimoto to me it looks like the github actions do not compile the code and run the tests at the moment!?