Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt compilation & check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
789 workflow runs
789 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
Improve nix flake EasyCrypt compilation & check #4275: Pull request #877 synchronize by Gustavo2622
23m 31s improve_nix_flake
improve_nix_flake
23m 31s
Allow substitutions of locals using the same memory as that used by a… EasyCrypt compilation & check #4274: Commit 931c6f9 pushed by strub
23m 47s main
main
23m 47s
Allow substitutions of locals using the same memory as that used by a Pr EasyCrypt compilation & check #4273: Pull request #870 synchronize by strub
24m 10s subst-with-pr
subst-with-pr
24m 10s
Remove prototype type-classes implementation. EasyCrypt compilation & check #4272: Commit ab3c768 pushed by strub
24m 26s main
main
24m 26s
Another example for eHoare EasyCrypt compilation & check #4271: Pull request #845 synchronize by namasikanam
33m 54s eHoare-example
eHoare-example
33m 54s
Allow substitutions of locals using the same memory as that used by a Pr EasyCrypt compilation & check #4270: Pull request #870 synchronize by oskgo
32m 3s subst-with-pr
subst-with-pr
32m 3s
Another example for eHoare EasyCrypt compilation & check #4269: Pull request #845 synchronize by namasikanam
27m 2s eHoare-example
eHoare-example
27m 2s
Allow substitutions of locals using the same memory as that used by a Pr EasyCrypt compilation & check #4268: Pull request #870 synchronize by oskgo
25m 17s subst-with-pr
subst-with-pr
25m 17s
Revert typeclass additions EasyCrypt compilation & check #4267: Pull request #876 synchronize by strub
23m 59s remove_pretypeclass
remove_pretypeclass
23m 59s
Revert typeclass additions EasyCrypt compilation & check #4266: Pull request #876 opened by Gustavo2622
24m 14s remove_pretypeclass
remove_pretypeclass
24m 14s
[documentation]: document if EasyCrypt compilation & check #4265: Pull request #875 synchronize by namasikanam
28m 35s doc-if-tactic
doc-if-tactic
28m 35s
Prepare for docker builds in CI EasyCrypt compilation & check #4264: Pull request #842 synchronize by fdupress
24m 32s docker-builds-in-ci
docker-builds-in-ci
24m 32s
Permutations as a group + uniform distr EasyCrypt compilation & check #4263: Pull request #873 synchronize by strub
23m 31s perms-group
perms-group
23m 31s
Permutations as a group + uniform distr EasyCrypt compilation & check #4262: Pull request #873 synchronize by strub
23m 50s perms-group
perms-group
23m 50s