Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,406 workflow runs
1,406 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
New lemmas for stdlib EasyCrypt CI #5191: Pull request #1053 synchronize by strub
31m 21s lemmas-from-oram
lemmas-from-oram
31m 21s
typing: defer failed-application classification (perf) EasyCrypt CI #5190: Commit e1a1e84 pushed by github-merge-queue Bot
46m 1s main
main
46m 1s
use auto unfold for some Logic operators EasyCrypt CI #5189: Commit 88096fb pushed by github-merge-queue Bot
54m 2s main
main
54m 2s
EasyCrypt CI EasyCrypt CI #5188: Merge group checks requested
30m 37s
30m 37s
EasyCrypt CI EasyCrypt CI #5187: Merge group checks requested
31m 51s
31m 51s
New lemmas for stdlib EasyCrypt CI #5186: Pull request #1053 synchronize by strub
31m 24s lemmas-from-oram
lemmas-from-oram
31m 24s
typing: defer failed-application classification (perf) EasyCrypt CI #5185: Pull request #1063 synchronize by strub
29m 32s fix-long-require
fix-long-require
29m 32s
EasyCrypt CI EasyCrypt CI #5184: Merge group checks requested
24m 42s
24m 42s
New lemmas for stdlib EasyCrypt CI #5183: Pull request #1053 synchronize by strub
27m 2s lemmas-from-oram
lemmas-from-oram
27m 2s
New lemmas for stdlib EasyCrypt CI #5182: Pull request #1053 synchronize by strub
31m 32s lemmas-from-oram
lemmas-from-oram
31m 32s
Use auto unfold for some Logic operators EasyCrypt CI #5181: Pull request #1014 synchronize by fdupress
30m 41s stdlib-auto-unfold
stdlib-auto-unfold
30m 41s
New lemmas for stdlib EasyCrypt CI #5180: Pull request #1053 synchronize by strub
29m 58s lemmas-from-oram
lemmas-from-oram
29m 58s
New lemmas for stdlib EasyCrypt CI #5179: Pull request #1053 synchronize by strub
33m 24s lemmas-from-oram
lemmas-from-oram
33m 24s
feat: print an individual procedure (print [proc] M.p) EasyCrypt CI #5178: Pull request #1064 synchronize by strub
31m 16s print-proc
print-proc
31m 16s
feat: print an individual procedure (print [proc] M.p) EasyCrypt CI #5177: Pull request #1064 opened by strub
34m 39s print-proc
print-proc
34m 39s
Fix soundness bug with clone overrides of subtypes EasyCrypt CI #5176: Pull request #1062 synchronize by oskgo
30m 12s fix-subtype
fix-subtype
30m 12s
feat: variant for up-to-bad call/proc tactics EasyCrypt CI #5175: Commit 7e192dd pushed by github-merge-queue Bot
53m 18s main
main
53m 18s
EasyCrypt CI EasyCrypt CI #5174: Merge group checks requested
31m 9s
31m 9s
Use auto unfold for some Logic operators EasyCrypt CI #5173: Pull request #1014 synchronize by oskgo
11m 5s stdlib-auto-unfold
stdlib-auto-unfold
11m 5s
Fix soundness bug with clone overrides of subtypes EasyCrypt CI #5172: Pull request #1062 synchronize by oskgo
37m 32s fix-subtype
fix-subtype
37m 32s
typing: defer failed-application classification (perf) EasyCrypt CI #5171: Pull request #1063 synchronize by strub
32m 37s fix-long-require
fix-long-require
32m 37s
typing: defer failed-application classification (perf) EasyCrypt CI #5170: Pull request #1063 synchronize by strub
35m 43s fix-long-require
fix-long-require
35m 43s
typing: defer failed-application classification (perf) EasyCrypt CI #5169: Pull request #1063 synchronize by strub
35m 2s fix-long-require
fix-long-require
35m 2s
typing: defer failed-application classification (perf) EasyCrypt CI #5168: Pull request #1063 synchronize by strub
59m 54s fix-long-require
fix-long-require
59m 54s
typing: defer failed-application classification (perf) EasyCrypt CI #5167: Pull request #1063 synchronize by strub
26m 13s fix-long-require
fix-long-require
26m 13s