Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt Docker Containers Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker.yml
59 workflow runs
59 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add check to prevent swapping of exception raises EasyCrypt Docker Containers Build #51: Commit 6dbd99d pushed by strub
16m 54s main
main
16m 54s
Added lemmas proving consequences of a list concatenation being []. EasyCrypt Docker Containers Build #50: Commit c807474 pushed by strub
15m 55s main
main
15m 55s
[ci] build test docker box on releases EasyCrypt Docker Containers Build #49: Commit 231c7cf pushed by fdupress
Failure ci-build-docker-test-on-release
ci-build-docker-test-on-release
Failure
Add exception declaration, raise, and update logic EasyCrypt Docker Containers Build #48: Commit bba1f1b pushed by strub
17m 27s main
main
17m 27s
Add proper error message on digest mismatch in require (#915) EasyCrypt Docker Containers Build #47: Commit b5019d2 pushed by strub
16m 42s main
main
16m 42s