Skip to content

Actions: EasyCrypt/easycrypt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
refactor(pl): transitivity as recheckable per-logic rules Enforce single-commit PR #643: Pull request #1161 opened by strub
8s pl/trans
pl/trans
8s
refactor(pl): transitivity as recheckable per-logic rules EasyCrypt CI #5592: Pull request #1161 opened by strub
In progress pl/trans
pl/trans
In progress
refactor(pl): transitivity as recheckable per-logic rules Build documentation #1254: Pull request #1161 opened by strub
In progress pl/trans
pl/trans
In progress
refactor(pl): symmetry as recheckable per-logic rules EasyCrypt CI #5591: Pull request #1160 opened by strub
In progress pl/sym
pl/sym
In progress
refactor(pl): symmetry as recheckable per-logic rules Build documentation #1253: Pull request #1160 opened by strub
5m 23s pl/sym
pl/sym
5m 23s
refactor(pl): symmetry as recheckable per-logic rules Enforce single-commit PR #642: Pull request #1160 opened by strub
7s pl/sym
pl/sym
7s
refactor(pl): true, zero and exfalso as recheckable per-logic rules EasyCrypt CI #5590: Pull request #1159 synchronize by strub
33m 59s pl/true-zero-exfalso
pl/true-zero-exfalso
33m 59s
refactor(pl): true, zero and exfalso as recheckable per-logic rules Enforce single-commit PR #641: Pull request #1159 synchronize by strub
9s pl/true-zero-exfalso
pl/true-zero-exfalso
9s
refactor(pl): true, zero and exfalso as recheckable per-logic rules Build documentation #1252: Pull request #1159 synchronize by strub
14m 24s pl/true-zero-exfalso
pl/true-zero-exfalso
14m 24s
refactor(pl): skip as recheckable per-logic rules EasyCrypt CI #5589: Pull request #1158 synchronize by strub
47m 17s pl/skip
pl/skip
47m 17s
refactor(pl): seq as recheckable per-logic rules Enforce single-commit PR #640: Pull request #1155 synchronize by strub
12s pl/seq
pl/seq
12s
refactor(pl): seq as recheckable per-logic rules EasyCrypt CI #5588: Pull request #1155 synchronize by strub
33m 42s pl/seq
pl/seq
33m 42s
refactor(pl): seq as recheckable per-logic rules Build documentation #1251: Pull request #1155 synchronize by strub
2s pl/seq
pl/seq
2s
refactor(pl): skip as recheckable per-logic rules Enforce single-commit PR #639: Pull request #1158 synchronize by strub
8s pl/skip
pl/skip
8s
refactor(pl): skip as recheckable per-logic rules Build documentation #1250: Pull request #1158 synchronize by strub
1s pl/skip
pl/skip
1s
refactor(pl): skip as recheckable per-logic rules EasyCrypt CI #5587: Pull request #1158 synchronize by strub
33m 50s pl/skip
pl/skip
33m 50s
refactor(pl): skip as recheckable per-logic rules Enforce single-commit PR #638: Pull request #1158 synchronize by strub
7s pl/skip
pl/skip
7s
refactor(pl): skip as recheckable per-logic rules Build documentation #1249: Pull request #1158 synchronize by strub
1s pl/skip
pl/skip
1s
feat(pl): recheckable proof-nodes for program-logic rules Enforce single-commit PR #637: Pull request #1154 synchronize by strub
10s pl/recheck-basis
pl/recheck-basis
10s
feat(pl): recheckable proof-nodes for program-logic rules Build documentation #1248: Pull request #1154 synchronize by strub
2s pl/recheck-basis
pl/recheck-basis
2s
feat(pl): recheckable proof-nodes for program-logic rules EasyCrypt CI #5586: Pull request #1154 synchronize by strub
41m 44s pl/recheck-basis
pl/recheck-basis
41m 44s
refactor(pl): seq as recheckable per-logic rules Build documentation #1247: Pull request #1155 synchronize by strub
2s pl/seq
pl/seq
2s
refactor(pl): seq as recheckable per-logic rules EasyCrypt CI #5585: Pull request #1155 synchronize by strub
49m 11s pl/seq
pl/seq
49m 11s
refactor(pl): seq as recheckable per-logic rules Enforce single-commit PR #636: Pull request #1155 synchronize by strub
7s pl/seq
pl/seq
7s
refactor(pl): explicit, recheckable frame rule per logic Build documentation #1246: Pull request #1157 synchronize by strub
2s pl/frame
pl/frame
2s