Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,169 workflow runs
1,169 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
Fall back to checking equality of expressions in sim EasyCrypt CI #4933: Pull request #997 synchronize by oskgo
31m 14s fix-990-2
fix-990-2
31m 14s
Add black-box quotation preprocessor EasyCrypt CI #4932: Pull request #1020 synchronize by strub
28m 13s quotation-preprocessor
quotation-preprocessor
28m 13s
Add black-box quotation preprocessor EasyCrypt CI #4931: Pull request #1020 synchronize by strub
28m 49s quotation-preprocessor
quotation-preprocessor
28m 49s
Add black-box quotation preprocessor EasyCrypt CI #4930: Pull request #1020 synchronize by strub
29m 20s quotation-preprocessor
quotation-preprocessor
29m 20s
LSP EasyCrypt CI #4929: Pull request #871 synchronize by strub
29m 52s vscode
vscode
29m 52s
LSP EasyCrypt CI #4928: Pull request #871 synchronize by strub
28m 43s vscode
vscode
28m 43s
Add black-box quotation preprocessor EasyCrypt CI #4927: Pull request #1020 opened by strub
26m 55s quotation-preprocessor
quotation-preprocessor
26m 55s
Add named and local simplify hint databases EasyCrypt CI #4926: Pull request #954 synchronize by strub
27m 23s hint-simplify-db
hint-simplify-db
27m 23s
Add named and local simplify hint databases EasyCrypt CI #4925: Pull request #954 synchronize by strub
28m 38s hint-simplify-db
hint-simplify-db
28m 38s
Check equality of expressions up to convertibility EasyCrypt CI #4924: Pull request #996 synchronize by oskgo
27m 25s fix-990
fix-990
27m 25s
Check equality of expressions up to convertibility EasyCrypt CI #4923: Pull request #996 synchronize by oskgo
34m 11s fix-990
fix-990
34m 11s
bullets: focusing operators behind +strict_bullets pragma EasyCrypt CI #4922: Pull request #1017 synchronize by strub
28m 10s forced-bullets
forced-bullets
28m 10s
bullets: focusing operators behind +strict_bullets pragma EasyCrypt CI #4921: Pull request #1017 synchronize by strub
30m 17s forced-bullets
forced-bullets
30m 17s
bullets: focusing operators behind +strict_bullets pragma EasyCrypt CI #4920: Pull request #1017 synchronize by strub
28m 11s forced-bullets
forced-bullets
28m 11s
bullets: focusing operators behind +strict_bullets pragma EasyCrypt CI #4919: Pull request #1017 synchronize by strub
29m 18s forced-bullets
forced-bullets
29m 18s
[llm] playground for LLM-related interaction EasyCrypt CI #4918: Pull request #1019 synchronize by strub
30m 44s llm-interactive
llm-interactive
30m 44s
[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
1d 0h 0m 2s dilithium
dilithium
1d 0h 0m 2s
[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