Skip to content

Actions: EasyCrypt/easycrypt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,569 workflow runs
1,569 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Add a LaTeX formatting style file EasyCrypt compilation & check #4699: Pull request #971 synchronize by strub
16m 34s latex-format
latex-format
16m 34s
Add a LaTeX formatting style file Build documentation #479: Pull request #971 synchronize by strub
3m 49s latex-format
latex-format
3m 49s
implement allperms to get rid of some unneeded axioms Build documentation #478: Commit ecb3395 pushed by github-merge-queue bot
4m 13s main
main
4m 13s
implement allperms to get rid of some unneeded axioms EasyCrypt compilation & check #4698: Commit ecb3395 pushed by github-merge-queue bot
16m 38s main
main
16m 38s
implement allperms to get rid of some unneeded axioms EasyCrypt Docker Containers Build #92: Commit ecb3395 pushed by github-merge-queue bot
16m 4s main
main
16m 4s
EasyCrypt compilation & check EasyCrypt compilation & check #4697: Merge group checks requested
16m 35s
16m 35s
Add a LaTeX formatting style file EasyCrypt compilation & check #4696: Pull request #971 opened by namasikanam
15m 15s latex-format
latex-format
15m 15s
Add a LaTeX formatting style file Build documentation #477: Pull request #971 opened by namasikanam
3m 41s latex-format
latex-format
3m 41s
implement allperms to get rid of some unneeded axioms EasyCrypt compilation & check #4695: Pull request #970 synchronize by strub
17m 1s remove-axioms
remove-axioms
17m 1s
implement allperms to get rid of some unneeded axioms Build documentation #476: Pull request #970 synchronize by strub
3m 38s remove-axioms
remove-axioms
3m 38s
implement allperms to get rid of some unneeded axioms EasyCrypt compilation & check #4694: Pull request #970 opened by oskgo
17m 20s remove-axioms
remove-axioms
17m 20s
implement allperms to get rid of some unneeded axioms Build documentation #475: Pull request #970 opened by oskgo
3m 39s remove-axioms
remove-axioms
3m 39s
Two flags for printing goals: -upto and -lastgoals EasyCrypt compilation & check #4693: Pull request #944 synchronize by strub
18m 2s namasikanam:main
namasikanam:main
18m 2s
Two flags for printing goals: -upto and -lastgoals Build documentation #474: Pull request #944 synchronize by strub
4m 21s namasikanam:main
namasikanam:main
4m 21s
Two flags for printing goals: -upto and -lastgoals Build documentation #473: Pull request #944 synchronize by strub
4m 10s namasikanam:main
namasikanam:main
4m 10s
Two flags for printing goals: -upto and -lastgoals EasyCrypt compilation & check #4692: Pull request #944 synchronize by strub
16m 15s namasikanam:main
namasikanam:main
16m 15s
Add contextual rewrite-pattern selection EasyCrypt compilation & check #4691: Pull request #955 synchronize by strub
16m 11s rw-pattern-ctxt
rw-pattern-ctxt
16m 11s
Add contextual rewrite-pattern selection Build documentation #472: Pull request #955 synchronize by strub
3m 38s rw-pattern-ctxt
rw-pattern-ctxt
3m 38s
Document forward/backward ecall tactics Build documentation #471: Commit bb95fdd pushed by github-merge-queue bot
3m 59s main
main
3m 59s
Document forward/backward ecall tactics EasyCrypt Docker Containers Build #91: Commit bb95fdd pushed by github-merge-queue bot
17m 28s main
main
17m 28s
Document forward/backward ecall tactics EasyCrypt compilation & check #4690: Commit bb95fdd pushed by github-merge-queue bot
17m 1s main
main
17m 1s
EasyCrypt compilation & check EasyCrypt compilation & check #4689: Merge group checks requested
16m 55s
16m 55s
Add contextual rewrite-pattern selection Build documentation #470: Pull request #955 synchronize by strub
4m 2s rw-pattern-ctxt
rw-pattern-ctxt
4m 2s
Add contextual rewrite-pattern selection EasyCrypt compilation & check #4688: Pull request #955 synchronize by strub
16m 42s rw-pattern-ctxt
rw-pattern-ctxt
16m 42s
Add contextual rewrite-pattern selection Build documentation #469: Pull request #955 synchronize by strub
3m 26s rw-pattern-ctxt
rw-pattern-ctxt
3m 26s