Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt compilation & check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
803 workflow runs
803 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

document the proc tactic EasyCrypt compilation & check #4300: Pull request #884 synchronize by strub
24m 0s doc-proc-tactic
doc-proc-tactic
24m 0s
[seq]: remove bck/fwd option + cleanup EasyCrypt compilation & check #4299: Commit 96b17a3 pushed by strub
22m 55s main
main
22m 55s
document the proc tactic EasyCrypt compilation & check #4298: Pull request #884 synchronize by strub
23m 26s doc-proc-tactic
doc-proc-tactic
23m 26s
document the proc tactic EasyCrypt compilation & check #4297: Pull request #884 synchronize by oskgo
23m 57s doc-proc-tactic
doc-proc-tactic
23m 57s
document the proc tactic EasyCrypt compilation & check #4296: Pull request #884 opened by oskgo
24m 21s doc-proc-tactic
doc-proc-tactic
24m 21s
ecproofs: add caching and script export for proof directives EasyCrypt compilation & check #4295: Pull request #883 opened by strub
22m 3s ecproof-save-and-cache
ecproof-save-and-cache
22m 3s
proofnav: improve EasyCrypt error handling in Sphinx extension EasyCrypt compilation & check #4294: Pull request #882 opened by strub
23m 42s ecproof-report-errors
ecproof-report-errors
23m 42s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt compilation & check #4293: Pull request #752 synchronize by Gustavo2622
4m 10s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
4m 10s
[documentation]: document the splitwhile tactic EasyCrypt compilation & check #4292: Pull request #881 synchronize by strub
24m 1s doc-splitwhile-tactic
doc-splitwhile-tactic
24m 1s
[documentation]: document the splitwhile tactic EasyCrypt compilation & check #4291: Pull request #881 synchronize by strub
24m 2s doc-splitwhile-tactic
doc-splitwhile-tactic
24m 2s
[documentation]: document the splitwhile tactic EasyCrypt compilation & check #4290: Pull request #881 opened by strub
23m 34s doc-splitwhile-tactic
doc-splitwhile-tactic
23m 34s
[documentation]: document seq tactic EasyCrypt compilation & check #4289: Pull request #879 synchronize by strub
30m 5s doc-seq-tactic
doc-seq-tactic
30m 5s
[documentation]: document while tactic EasyCrypt compilation & check #4288: Pull request #880 opened by strub
30m 5s doc-while-tactic
doc-while-tactic
30m 5s
[documentation]: document if tactic EasyCrypt compilation & check #4287: Commit c3a0bf3 pushed by strub
23m 58s main
main
23m 58s
[documentation]: document seq tactic EasyCrypt compilation & check #4286: Pull request #879 synchronize by strub
22m 15s doc-seq-tactic
doc-seq-tactic
22m 15s
[documentation]: document seq tactic EasyCrypt compilation & check #4285: Pull request #879 opened by strub
23m 44s doc-seq-tactic
doc-seq-tactic
23m 44s
[seq]: remove bck/fwd option + cleanup EasyCrypt compilation & check #4284: Pull request #878 synchronize by strub
23m 33s remove-unused-seq-variant
remove-unused-seq-variant
23m 33s
[seq]: remove bck/fwd option + cleanup EasyCrypt compilation & check #4283: Pull request #878 synchronize by strub
23m 42s remove-unused-seq-variant
remove-unused-seq-variant
23m 42s
[seq]: remove bck/fwd option + cleanup EasyCrypt compilation & check #4282: Pull request #878 synchronize by strub
23m 34s remove-unused-seq-variant
remove-unused-seq-variant
23m 34s
[seq]: remove bck/fwd option + cleanup EasyCrypt compilation & check #4281: Pull request #878 opened by strub
22m 11s remove-unused-seq-variant
remove-unused-seq-variant
22m 11s
[documentation]: document if EasyCrypt compilation & check #4280: Pull request #875 synchronize by strub
23m 51s doc-if-tactic
doc-if-tactic
23m 51s
Prepare for docker builds in CI EasyCrypt compilation & check #4279: Pull request #842 synchronize by fdupress
23m 33s docker-builds-in-ci
docker-builds-in-ci
23m 33s
Prepare for docker builds in CI EasyCrypt compilation & check #4278: Pull request #842 synchronize by fdupress
24m 10s docker-builds-in-ci
docker-builds-in-ci
24m 10s
Improve nix flake EasyCrypt compilation & check #4277: Pull request #877 synchronize by Gustavo2622
23m 28s improve_nix_flake
improve_nix_flake
23m 28s
Prepare for docker builds in CI EasyCrypt compilation & check #4276: Pull request #842 synchronize by fdupress
26m 15s docker-builds-in-ci
docker-builds-in-ci
26m 15s