Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,414 workflow runs
1,414 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
PolyReduceZp: use default clone overrides (<=) and drop redundant `… EasyCrypt CI #5216: Commit fbf412f pushed by strub
48m 51s main
main
48m 51s
PolyReduceZp: use default clone overrides (<=) and drop redundant p param EasyCrypt CI #5215: Pull request #1069 opened by strub
30m 21s better-clones-poly-reduce
better-clones-poly-reduce
30m 21s
emit error when overrinding a subtype with a type that is not a subty… EasyCrypt CI #5214: Commit 9ecaecc pushed by github-merge-queue Bot
59m 28s main
main
59m 28s
EasyCrypt CI EasyCrypt CI #5213: Merge group checks requested
31m 13s
31m 13s
fix(quotient): keep repr/pi opaque to SMT EasyCrypt CI #5212: Commit 36b86f1 pushed by github-merge-queue Bot
48m 37s main
main
48m 37s
EasyCrypt CI EasyCrypt CI #5211: Merge group checks requested
31m 58s
31m 58s
fix(quotient): keep repr/pi opaque to SMT EasyCrypt CI #5210: Pull request #1068 synchronize by strub
31m 44s fix-quotient-smt-opaque
fix-quotient-smt-opaque
31m 44s
feat: named ring/field instances for ring/field structure selection EasyCrypt CI #5209: Commit 141ddfd pushed by github-merge-queue Bot
47m 3s main
main
47m 3s
fix(quotient): keep repr/pi opaque to SMT EasyCrypt CI #5208: Pull request #1068 synchronize by strub
31m 52s fix-quotient-smt-opaque
fix-quotient-smt-opaque
31m 52s
fix(quotient): keep repr/pi opaque to SMT EasyCrypt CI #5207: Pull request #1068 opened by strub
1h 2m 11s fix-quotient-smt-opaque
fix-quotient-smt-opaque
1h 2m 11s
EasyCrypt CI EasyCrypt CI #5206: Merge group checks requested
34m 5s
34m 5s
feat: named ring/field instances for ring/field structure selection EasyCrypt CI #5205: Pull request #1067 opened by strub
30m 19s multi-instance-ring
multi-instance-ring
30m 19s
Integer-indexed types EasyCrypt CI #5204: Pull request #1065 synchronize by strub
10m 21s indexed-types
indexed-types
10m 21s
[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