Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,477 workflow runs
1,477 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
[llm] playground for LLM-related interaction EasyCrypt CI #5203: Pull request #1019 synchronize by strub
33m 9s llm-interactive
llm-interactive
33m 9s
New lemmas for stdlib EasyCrypt CI #5202: Commit 3800968 pushed by github-merge-queue Bot
47m 51s main
main
47m 51s
EasyCrypt CI EasyCrypt CI #5201: Merge group checks requested
32m 7s
32m 7s
EasyCrypt CI EasyCrypt CI #5200: Merge group checks requested
31m 22s
31m 22s
Integer-indexed types EasyCrypt CI #5199: Pull request #1065 synchronize by strub
9m 21s indexed-types
indexed-types
9m 21s
EasyCrypt CI EasyCrypt CI #5198: Merge group checks requested
31m 55s
31m 55s
Fall back to checking equality of expressions in sim EasyCrypt CI #5197: Pull request #997 synchronize by strub
31m 14s fix-990-2
fix-990-2
31m 14s
Fix soundness bug with clone overrides of subtypes EasyCrypt CI #5196: Pull request #1062 synchronize by strub
31m 53s fix-subtype
fix-subtype
31m 53s
New lemmas for stdlib EasyCrypt CI #5195: Pull request #1053 synchronize by strub
29m 30s lemmas-from-oram
lemmas-from-oram
29m 30s
feat: print an individual procedure (print [proc] M.p) EasyCrypt CI #5194: Commit 761aaf2 pushed by github-merge-queue Bot
46m 53s main
main
46m 53s
EasyCrypt CI EasyCrypt CI #5193: Merge group checks requested
30m 58s
30m 58s
Integer-indexed types EasyCrypt CI #5192: Pull request #1065 synchronize by strub
30m 40s indexed-types
indexed-types
30m 40s
New lemmas for stdlib EasyCrypt CI #5191: Pull request #1053 synchronize by strub
9m 30s lemmas-from-oram
lemmas-from-oram
9m 30s
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