Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt Docker Containers Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker.yml
64 workflow runs
64 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Tighten proc-change observability EasyCrypt Docker Containers Build #76: Commit 78cf6eb pushed by strub
18m 15s main
main
18m 15s
Fix printing of notations EasyCrypt Docker Containers Build #75: Commit 7640b32 pushed by strub
16m 53s main
main
16m 53s
[theories/crypto] global hybrid theory EasyCrypt Docker Containers Build #74: Commit ea0bde6 pushed by fdupress
18m 1s main
main
18m 1s
Refactor cfold propagation and add eager mode EasyCrypt Docker Containers Build #73: Commit 1b94156 pushed by strub
16m 36s main
main
16m 36s
Improve rewrite framing with formula-level read tracking EasyCrypt Docker Containers Build #72: Commit cc03b30 pushed by strub
15m 4s main
main
15m 4s
Add checks to ensure post-execution memory independence in pr-rewrite EasyCrypt Docker Containers Build #71: Commit b6402f4 pushed by fdupress
18m 49s release
release
18m 49s
Add checks to ensure post-execution memory independence in pr-rewrite EasyCrypt Docker Containers Build #70: Commit b6402f4 pushed by fdupress
18m 41s r2026.03
r2026.03
18m 41s
Add checks to ensure post-execution memory independence in pr-rewrite EasyCrypt Docker Containers Build #69: Commit b6402f4 pushed by fdupress
18m 54s main
main
18m 54s
Filter Prs with non-constant rhs already during selection EasyCrypt Docker Containers Build #68: Commit ea1b81d pushed by strub
17m 4s main
main
17m 4s
[ci] build test docker box on releases EasyCrypt Docker Containers Build #67: Commit 7035747 pushed by fdupress
16m 0s main
main
16m 0s
REVERT ME EasyCrypt Docker Containers Build #66: Commit d29eef0 pushed by fdupress
16m 38s ci-build-docker-test-on-release
ci-build-docker-test-on-release
16m 38s
REVERT ME EasyCrypt Docker Containers Build #65: Commit 346557f pushed by fdupress
8s ci-build-docker-test-on-release
ci-build-docker-test-on-release
8s
conditional step to avoid rebuilds EasyCrypt Docker Containers Build #64: Commit 6d59992 pushed by fdupress
18m 2s ci-build-docker-test-on-release
ci-build-docker-test-on-release
18m 2s
REVERT ME EasyCrypt Docker Containers Build #63: Commit aa7a341 pushed by fdupress
19m 0s ci-build-docker-test-on-release
ci-build-docker-test-on-release
19m 0s
try sharing the build EasyCrypt Docker Containers Build #62: Commit a26ca24 pushed by fdupress
33m 0s ci-build-docker-test-on-release
ci-build-docker-test-on-release
33m 0s
REVERT ME EasyCrypt Docker Containers Build #61: Commit aa7a341 pushed by fdupress
18m 16s ci-build-docker-test-on-release
ci-build-docker-test-on-release
18m 16s
REVERT ME EasyCrypt Docker Containers Build #60: Commit c0fb5f9 pushed by fdupress
17m 46s ci-build-docker-test-on-release
ci-build-docker-test-on-release
17m 46s
stdlib: new lemmas (lists, bytes, distr) EasyCrypt Docker Containers Build #59: Commit b682e63 pushed by strub
16m 23s main
main
16m 23s
Fix long string-literals EasyCrypt Docker Containers Build #58: Commit 7367ad0 pushed by strub
16m 43s main
main
16m 43s
Ensure that upper bound for variant in non-strict while cannot be wri… EasyCrypt Docker Containers Build #57: Commit 2107767 pushed by strub
16m 46s main
main
16m 46s
Rewriting in the pre-condition of PL logics EasyCrypt Docker Containers Build #56: Commit a172f1b pushed by strub
17m 23s main
main
17m 23s
Fix English grammar in matching error messages. EasyCrypt Docker Containers Build #55: Commit de800c1 pushed by strub
17m 1s main
main
17m 1s
check for memory independence of list in rewrite Pr[mu_has_le] EasyCrypt Docker Containers Build #54: Commit 907be52 pushed by strub
17m 7s main
main
17m 7s
Fixing issues with the pretty printing of operators relating to parsing EasyCrypt Docker Containers Build #53: Commit 491d76b pushed by strub
17m 54s main
main
17m 54s
Allow memory preserving destruction of formulas to yield different ty… EasyCrypt Docker Containers Build #52: Commit ab8469c pushed by strub
21m 17s main
main
21m 17s