Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,117 workflow runs
1,117 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
make easycrypt independent from alt-ergo EasyCrypt CI #3924: Commit 41d8e7b pushed by fdupress
23m 37s main
main
23m 37s
EcRegexp: PCRE -> PCRE2 EasyCrypt CI #3923: Pull request #797 synchronize by strub
2m 5s pcre2
pcre2
2m 5s
Making program logic formulas memory-agnostic EasyCrypt CI #3922: Pull request #789 synchronize by oskgo
16m 42s softcode-memories2
softcode-memories2
16m 42s
Making program logic formulas memory-agnostic EasyCrypt CI #3921: Pull request #789 synchronize by oskgo
16m 37s softcode-memories2
softcode-memories2
16m 37s
remove alt-ergo from EasyCrypt TCB EasyCrypt CI #3920: Pull request #724 synchronize by fdupress
23m 59s unbless-alt-ergo
unbless-alt-ergo
23m 59s
depext -> confirm level = unsafe-yes EasyCrypt CI #3919: Commit c54cbb5 pushed by strub
23m 57s main
main
23m 57s
remove alt-ergo from EasyCrypt TCB EasyCrypt CI #3918: Pull request #724 synchronize by fdupress
23m 24s unbless-alt-ergo
unbless-alt-ergo
23m 24s
remove alt-ergo from EasyCrypt TCB EasyCrypt CI #3917: Pull request #724 synchronize by fdupress
23m 17s unbless-alt-ergo
unbless-alt-ergo
23m 17s
remove alt-ergo from EasyCrypt TCB EasyCrypt CI #3916: Pull request #724 synchronize by fdupress
23m 27s unbless-alt-ergo
unbless-alt-ergo
23m 27s
extend results on ceil 'for free' EasyCrypt CI #3915: Commit 6ead268 pushed by fdupress
1m 2s main
main
1m 2s
New lazy/eager logic. EasyCrypt CI #3914: Pull request #787 synchronize by loutr
23m 50s loutr:reworked-lazy-eager-logic-squashed
loutr:reworked-lazy-eager-logic-squashed
23m 50s
extend results on ceil 'for free' EasyCrypt CI #3913: Pull request #781 synchronize by strub
23m 28s better-ceil
better-ceil
23m 28s
remove alt-ergo from EasyCrypt TCB EasyCrypt CI #3912: Pull request #724 synchronize by strub
23m 5s unbless-alt-ergo
unbless-alt-ergo
23m 5s
Rework stdlib clones. EasyCrypt CI #3911: Pull request #694 synchronize by strub
24m 0s poly-better-clones
poly-better-clones
24m 0s
Rework import mechanism. EasyCrypt CI #3910: Commit b60d136 pushed by strub
23m 47s main
main
23m 47s
Rework stdlib clones. EasyCrypt CI #3909: Pull request #694 synchronize by strub
23m 28s poly-better-clones
poly-better-clones
23m 28s
Rework import mechanism EasyCrypt CI #3908: Pull request #683 synchronize by strub
23m 22s hidden-theory-items
hidden-theory-items
23m 22s
Rework import mechanism EasyCrypt CI #3907: Pull request #683 synchronize by strub
24m 34s hidden-theory-items
hidden-theory-items
24m 34s
Rework import mechanism EasyCrypt CI #3906: Pull request #683 synchronize by strub
2m 46s hidden-theory-items
hidden-theory-items
2m 46s
[tactic] Actually improve one-sided match robustness (fixes #799) EasyCrypt CI #3905: Commit d2720db pushed by Cameron-Low
23m 46s main
main
23m 46s
[tactic] Actually improve one-sided match robustness EasyCrypt CI #3904: Pull request #800 opened by Cameron-Low
23m 37s fix-799
fix-799
23m 37s
[tactic] Improve robustness of one-sided match (fixes #775) EasyCrypt CI #3903: Commit e4eb5d3 pushed by Cameron-Low
23m 55s main
main
23m 55s
depext -> confirm level = unsafe-yes EasyCrypt CI #3902: Pull request #798 synchronize by strub
23m 24s depext-unsafe-yes
depext-unsafe-yes
23m 24s
depext -> confirm level = unsafe-yes EasyCrypt CI #3901: Pull request #798 opened by strub
23m 17s depext-unsafe-yes
depext-unsafe-yes
23m 17s
[tactic] Single sided match should work for arbitrary pre-conditions EasyCrypt CI #3900: Pull request #795 synchronize by Cameron-Low
3m 43s fix-775
fix-775
3m 43s
ProTip! You can narrow down the results and go further in time using created:<2025-08-19 or the other filters available.