Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt compilation & check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
679 workflow runs
679 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

also swap memory types when swapping memories EasyCrypt compilation & check #4151: Commit 1ebd033 pushed by strub
In progress main
main
In progress
Also swap memory types when swapping memories EasyCrypt compilation & check #4150: Pull request #856 opened by oskgo
23m 41s fix-855
fix-855
23m 41s
New lazy/eager logic. EasyCrypt compilation & check #4149: Pull request #787 synchronize by loutr
24m 32s loutr:reworked-lazy-eager-logic-squashed
loutr:reworked-lazy-eager-logic-squashed
24m 32s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt compilation & check #4148: Pull request #752 synchronize by Gustavo2622
4m 22s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
4m 22s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt compilation & check #4147: Pull request #752 synchronize by Gustavo2622
4m 20s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
4m 20s
Positivity check in type constructors EasyCrypt compilation & check #4146: Pull request #811 synchronize by loutr
24m 0s loutr:positivity-check-in-type-constructors
loutr:positivity-check-in-type-constructors
24m 0s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt compilation & check #4145: Pull request #752 synchronize by Gustavo2622
4m 24s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
4m 24s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt compilation & check #4144: Pull request #752 synchronize by Gustavo2622
4m 15s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
4m 15s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt compilation & check #4143: Pull request #752 synchronize by Gustavo2622
4m 12s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
4m 12s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt compilation & check #4142: Pull request #752 synchronize by Gustavo2622
4m 21s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
4m 21s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt compilation & check #4141: Pull request #752 synchronize by Gustavo2622
4m 11s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
4m 11s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt compilation & check #4140: Pull request #752 synchronize by Gustavo2622
4m 12s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
4m 12s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt compilation & check #4139: Pull request #752 synchronize by Gustavo2622
4m 16s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
4m 16s
Feature exception EasyCrypt compilation & check #4138: Pull request #806 synchronize by lyonel2017
24m 14s feature-exception
feature-exception
24m 14s
Kill warnings + unify flags for ci/dev dune environments EasyCrypt compilation & check #4137: Commit 66eb0f0 pushed by strub
24m 19s main
main
24m 19s
Remove dead-code in theory cloning code. EasyCrypt compilation & check #4136: Commit 61c5881 pushed by strub
24m 12s main
main
24m 12s
Remove dead-code in theory cloning code. EasyCrypt compilation & check #4135: Pull request #853 opened by strub
23m 28s deadcode-cloning-modules
deadcode-cloning-modules
23m 28s
Kill warnings + unify flags for ci/dev dune environments EasyCrypt compilation & check #4134: Pull request #852 opened by strub
22m 48s kill-warnings
kill-warnings
22m 48s
Feature exception EasyCrypt compilation & check #4133: Pull request #806 synchronize by bgregoir
23m 52s feature-exception
feature-exception
23m 52s
Feature exception EasyCrypt compilation & check #4132: Pull request #806 synchronize by bgregoir
24m 6s feature-exception
feature-exception
24m 6s
Feature exception EasyCrypt compilation & check #4131: Pull request #806 synchronize by bgregoir
23m 50s feature-exception
feature-exception
23m 50s
Feature exception EasyCrypt compilation & check #4130: Pull request #806 synchronize by lyonel2017
23m 36s feature-exception
feature-exception
23m 36s
Feature exception EasyCrypt compilation & check #4129: Pull request #806 synchronize by lyonel2017
23m 37s feature-exception
feature-exception
23m 37s
Feature exception EasyCrypt compilation & check #4128: Pull request #806 synchronize by lyonel2017
24m 4s feature-exception
feature-exception
24m 4s
Feature exception EasyCrypt compilation & check #4127: Pull request #806 synchronize by lyonel2017
2m 40s feature-exception
feature-exception
2m 40s