Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,153 workflow runs
1,153 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 #4917: Pull request #1019 opened by strub
28m 23s llm-interactive
llm-interactive
28m 23s
split: add split * and split + to iterate over top-level conjunct… EasyCrypt CI #4916: Commit e2bb4eb pushed by github-merge-queue Bot
31m 13s main
main
31m 13s
EasyCrypt CI EasyCrypt CI #4915: Merge group checks requested
27m 46s
27m 46s
Merge remote-tracking branch 'origin/main' into deploy-expected-cost EasyCrypt CI #4914: Commit 77802af pushed by strub
Queued dilithium
dilithium
Queued
[ci] do not rebuild base or base-build in PR runs EasyCrypt CI #4913: Pull request #1008 synchronize by fdupress
45s ci-retrieve-base
ci-retrieve-base
45s
bullets: focusing operators behind +strict_bullets pragma EasyCrypt CI #4912: Pull request #1017 synchronize by strub
27m 44s forced-bullets
forced-bullets
27m 44s
bullets: focusing operators behind +strict_bullets pragma EasyCrypt CI #4911: Pull request #1017 synchronize by strub
27m 29s forced-bullets
forced-bullets
27m 29s
bullets: focusing operators behind +strict_bullets pragma EasyCrypt CI #4910: Pull request #1017 synchronize by strub
27m 52s forced-bullets
forced-bullets
27m 52s
split: add split * and split + to iterate over top-level conjunctions EasyCrypt CI #4909: Pull request #1015 synchronize by strub
28m 9s split-star
split-star
28m 9s
[docker] consolidate dockerfiles EasyCrypt CI #4908: Commit 3665b5e pushed by github-merge-queue Bot
31m 14s main
main
31m 14s
EasyCrypt CI EasyCrypt CI #4907: Merge group checks requested
28m 17s
28m 17s
bullets: focusing operators behind +strict_bullets pragma EasyCrypt CI #4906: Pull request #1017 synchronize by strub
28m 41s forced-bullets
forced-bullets
28m 41s
[docker] consolidate dockerfiles EasyCrypt CI #4905: Pull request #1007 synchronize by fdupress
29m 5s docker-consolidate
docker-consolidate
29m 5s
bullets: focusing operators behind +strict_bullets pragma EasyCrypt CI #4904: Pull request #1017 synchronize by strub
25m 12s forced-bullets
forced-bullets
25m 12s
bullets: focusing operators behind +strict_bullets pragma EasyCrypt CI #4903: Pull request #1017 synchronize by strub
30m 21s forced-bullets
forced-bullets
30m 21s
bullets: focusing operators behind +strict_bullets pragma EasyCrypt CI #4902: Pull request #1017 synchronize by strub
27m 51s forced-bullets
forced-bullets
27m 51s
bullets: focusing operators behind +strict_bullets pragma EasyCrypt CI #4901: Pull request #1017 opened by strub
28m 38s forced-bullets
forced-bullets
28m 38s
prevent type parameters in subtypes EasyCrypt CI #4900: Commit e4944bc pushed by github-merge-queue Bot
31m 26s main
main
31m 26s
emit proper error message when typing ={pvar} in a single sided con… EasyCrypt CI #4899: Commit 8c82b4d pushed by github-merge-queue Bot
29m 29s main
main
29m 29s
EasyCrypt CI EasyCrypt CI #4898: Merge group checks requested
27m 35s
27m 35s
EasyCrypt CI EasyCrypt CI #4897: Merge group checks requested
27m 21s
27m 21s
congr: add congr pat and congr * variants EasyCrypt CI #4896: Pull request #1016 opened by strub
28m 38s congr-pattern
congr-pattern
28m 38s
split: add split * and split + to iterate over top-level conjunctions EasyCrypt CI #4895: Pull request #1015 synchronize by strub
28m 34s split-star
split-star
28m 34s
split: add split * and split + to iterate over top-level conjunctions EasyCrypt CI #4894: Pull request #1015 opened by strub
27m 57s split-star
split-star
27m 57s
Use auto unfold for some Logic operators EasyCrypt CI #4893: Pull request #1014 opened by oskgo
26m 48s stdlib-auto-unfold
stdlib-auto-unfold
26m 48s