Skip to content

Actions: EasyCrypt/easycrypt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,181 workflow runs
2,181 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
EasyCrypt Circuit Based Reasoning Extension Enforce single-commit PR #126: Pull request #752 synchronize by Gustavo2622
7s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
7s
EasyCrypt Circuit Based Reasoning Extension Build documentation #732: Pull request #752 synchronize by Gustavo2622
7m 7s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
7m 7s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt CI #4983: Pull request #752 synchronize by Gustavo2622
35m 4s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
35m 4s
EasyCrypt Circuit Based Reasoning Extension Build documentation #731: Pull request #752 synchronize by Gustavo2622
6m 42s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
6m 42s
EasyCrypt Circuit Based Reasoning Extension Enforce single-commit PR #125: Pull request #752 synchronize by Gustavo2622
6s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
6s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt CI #4982: Pull request #752 synchronize by Gustavo2622
35m 45s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
35m 45s
Simplify some smt calls EasyCrypt CI #4981: Pull request #1025 opened by oskgo
28m 40s flaky-smt
flaky-smt
28m 40s
Simplify some smt calls Build documentation #730: Pull request #1025 opened by oskgo
3m 57s flaky-smt
flaky-smt
3m 57s
Simplify some smt calls Enforce single-commit PR #124: Pull request #1025 opened by oskgo
7s flaky-smt
flaky-smt
7s
Use auto unfold for some Logic operators Build documentation #729: Pull request #1014 synchronize by oskgo
3m 56s stdlib-auto-unfold
stdlib-auto-unfold
3m 56s
Use auto unfold for some Logic operators Enforce single-commit PR #123: Pull request #1014 synchronize by oskgo
9s stdlib-auto-unfold
stdlib-auto-unfold
9s
Use auto unfold for some Logic operators EasyCrypt CI #4980: Pull request #1014 synchronize by oskgo
27m 55s stdlib-auto-unfold
stdlib-auto-unfold
27m 55s
Running Copilot Code Review Copilot #1: by Copilot AI
1m 21s fix-990
fix-990
1m 21s
EasyCrypt Circuit Based Reasoning Extension Build documentation #728: Pull request #752 synchronize by Gustavo2622
6m 42s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
6m 42s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt CI #4979: Pull request #752 synchronize by Gustavo2622
34m 35s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
34m 35s
EasyCrypt Circuit Based Reasoning Extension Enforce single-commit PR #122: Pull request #752 synchronize by Gustavo2622
6s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
6s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt CI #4978: Pull request #752 synchronize by strub
35m 57s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
35m 57s
EasyCrypt Circuit Based Reasoning Extension Enforce single-commit PR #121: Pull request #752 synchronize by strub
12s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
12s
EasyCrypt Circuit Based Reasoning Extension Build documentation #727: Pull request #752 synchronize by strub
6m 36s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
6m 36s
EasyCrypt Circuit Based Reasoning Extension Build documentation #726: Pull request #752 synchronize by strub
7m 13s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
7m 13s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt CI #4977: Pull request #752 synchronize by strub
35m 42s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
35m 42s
EasyCrypt Circuit Based Reasoning Extension Enforce single-commit PR #120: Pull request #752 synchronize by strub
7s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
7s
Add named and local simplify hint databases EasyCrypt CI #4976: Pull request #954 synchronize by strub
27m 40s hint-simplify-db
hint-simplify-db
27m 40s
Add named and local simplify hint databases Enforce single-commit PR #119: Pull request #954 synchronize by strub
6s hint-simplify-db
hint-simplify-db
6s
Add named and local simplify hint databases Build documentation #725: Pull request #954 synchronize by strub
4m 41s hint-simplify-db
hint-simplify-db
4m 41s