Skip to content

Actions: logsem/cerisier

Actions

Test compilation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Removed outdated section numbers in README Test compilation #20: Commit af78400 pushed by JuneRousseau
34m 14s main
main
34m 14s
Prove universal contract formulation of ftlr. Test compilation #19: Commit f1d9023 pushed by dominiquedevriese
31m 53s main
main
31m 53s
TODO: prove the universal contract formulation of the FTLR. Test compilation #18: Commit 88fbbe5 pushed by dominiquedevriese
31m 47s main
main
31m 47s
Fix installation instructions to refer to a non-broken OCaml compiler. Test compilation #17: Commit 9f8b6c8 pushed by dominiquedevriese
34m 55s main
main
34m 55s
Update readme according to the new section numbers Test compilation #16: Commit c0278ed pushed by JuneRousseau
34m 29s main
main
34m 29s
Rename cerise -> cerisier in various places Test compilation #15: Commit 9681c82 pushed by JuneRousseau
32m 17s main
main
32m 17s
Update README according to the new organisation of the project Test compilation #14: Commit 68c8089 pushed by JuneRousseau
32m 2s main
main
32m 2s
Re-organise the artifact Test compilation #13: Commit 8a47761 pushed by JuneRousseau
5m 9s main
main
5m 9s
Move side lemmas in the files they belong Test compilation #12: Commit 385324d pushed by JuneRousseau
32m 3s refactoring
refactoring
32m 3s
Remove top-level rules Test compilation #11: Commit 90cf9b6 pushed by JuneRousseau
18m 14s refactoring
refactoring
18m 14s
Attempt refactoring the directories Test compilation #10: Commit b26020a pushed by JuneRousseau
17m 26s refactoring
refactoring
17m 26s
Minor cleanup. Test compilation #9: Commit f4a89c1 pushed by dominiquedevriese
31m 50s main
main
31m 50s
Some cleanup in wp_EInit. Test compilation #8: Commit 3a590be pushed by dominiquedevriese
8m 28s main
main
8m 28s
chore(readme): fix names Test compilation #7: Commit 682c421 pushed by JuneRousseau
32m 51s main
main
32m 51s
chore(readme): fix names Test compilation #5: Commit 682c421 pushed by JuneRousseau
42m 6s main
main
42m 6s
chore(re-organise project): rename trusted_compute into soc Test compilation #4: Commit 5f5a917 pushed by JuneRousseau
4m 6s main
main
4m 6s
Remove Print command from cap_lang Test compilation #3: Commit 19107e7 pushed by JuneRousseau
48m 8s main
main
48m 8s
Tweak README Test compilation #2: Commit 430e812 pushed by JuneRousseau
1m 21s main
main
1m 21s
WP_EInit: Finish proof 🎉 Test compilation #1: Commit 9445f4a pushed by JuneRousseau
5m 59s main
main
5m 59s