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
feat: stronger precondition in a premise for tactics eager-seq and ea… EasyCrypt CI #5164: Commit dde99a1 pushed by github-merge-queue Bot
42m 14s main
main
42m 14s
feat: stronger precondition in a premise for tactics eager-seq and ea… Build documentation #887: Commit dde99a1 pushed by github-merge-queue Bot
6m 46s main
main
6m 46s
feat: variant for up-to-bad call/proc tactics Enforce single-commit PR #276: Pull request #1060 synchronize by strub
6s loutr:1055-uptobad-variant
loutr:1055-uptobad-variant
6s
Enforce single-commit PR Enforce single-commit PR #275: Merge group checks requested
6s
6s
EasyCrypt CI EasyCrypt CI #5163: Merge group checks requested
35m 32s
35m 32s
feat: variant for up-to-bad call/proc tactics EasyCrypt CI #5162: Pull request #1060 synchronize by strub
38m 21s loutr:1055-uptobad-variant
loutr:1055-uptobad-variant
38m 21s
feat: variant for up-to-bad call/proc tactics Build documentation #886: Pull request #1060 synchronize by strub
6m 32s loutr:1055-uptobad-variant
loutr:1055-uptobad-variant
6m 32s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #5161: Commit e07ffa0 pushed by github-merge-queue Bot
46m 14s main
main
46m 14s
Add bit-level circuit reasoning: circuit/extens tactics and bind command Build documentation #885: Commit e07ffa0 pushed by github-merge-queue Bot
7m 5s main
main
7m 5s
EasyCrypt CI EasyCrypt CI #5160: Merge group checks requested
36m 23s
36m 23s
Enforce single-commit PR Enforce single-commit PR #274: Merge group checks requested
6s
6s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #5159: Pull request #752 synchronize by strub
36m 57s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
36m 57s
Add bit-level circuit reasoning: circuit/extens tactics and bind command Build documentation #884: Pull request #752 synchronize by strub
7m 2s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
7m 2s
Add bit-level circuit reasoning: circuit/extens tactics and bind command Enforce single-commit PR #273: Pull request #752 synchronize by strub
5s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
5s
Running Copilot Code Review Copilot #3: by Copilot AI
5m 35s fix-subtype
fix-subtype
5m 35s
Fix soundness bug with clone overrides of subtypes Build documentation #883: Pull request #1062 opened by oskgo
4m 14s fix-subtype
fix-subtype
4m 14s
Fix soundness bug with clone overrides of subtypes Enforce single-commit PR #272: Pull request #1062 opened by oskgo
6s fix-subtype
fix-subtype
6s
Fix soundness bug with clone overrides of subtypes EasyCrypt CI #5158: Pull request #1062 opened by oskgo
33m 35s fix-subtype
fix-subtype
33m 35s
migrate MSet to use quotients to eliminate axioms Build documentation #882: Commit e173136 pushed by github-merge-queue Bot
3m 47s main
main
3m 47s
migrate MSet to use quotients to eliminate axioms EasyCrypt CI #5157: Commit e173136 pushed by github-merge-queue Bot
45m 55s main
main
45m 55s
EasyCrypt CI EasyCrypt CI #5156: Merge group checks requested
33m 50s
33m 50s
Enforce single-commit PR Enforce single-commit PR #271: Merge group checks requested
6s
6s
feat: variant for up-to-bad call/proc tactics EasyCrypt CI #5155: Pull request #1060 synchronize by loutr
30m 32s loutr:1055-uptobad-variant
loutr:1055-uptobad-variant
30m 32s
feat: variant for up-to-bad call/proc tactics Enforce single-commit PR #270: Pull request #1060 synchronize by loutr
5s loutr:1055-uptobad-variant
loutr:1055-uptobad-variant
5s
feat: variant for up-to-bad call/proc tactics Build documentation #881: Pull request #1060 synchronize by loutr
4m 59s loutr:1055-uptobad-variant
loutr:1055-uptobad-variant
4m 59s