Skip to content

Actions: rocq-prover/equations

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
266 workflow runs
266 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
Adapt to https://github.com/rocq-prover/stdlib/pull/251 CI #846: Pull request #712 synchronize by proux01
6m 44s proux01:stdlib251
proux01:stdlib251
6m 44s
Adapt to https://github.com/rocq-prover/stdlib/pull/251 Nix CI for bundle default #93: Pull request #712 synchronize by proux01
8s
8s
Merge pull request #740 from ppedrot/summary-abstract-ref Nix CI for bundle default #92: Commit 334e059 pushed by SkySkimmer
6m 41s main
main
6m 41s
Merge pull request #740 from ppedrot/summary-abstract-ref CI #845: Commit 334e059 pushed by SkySkimmer
3m 39s main
main
3m 39s
Adapt to rocq-prover/rocq#22372. CI #844: Pull request #740 opened by ppedrot
4m 26s ppedrot:summary-abstract-ref
ppedrot:summary-abstract-ref
4m 26s
Adapt to rocq-prover/rocq#22372. Nix CI for bundle default #91: Pull request #740 opened by ppedrot
9s
9s
Guard against partial applications of wfrec functions (closes #555, #609) CI #843: Pull request #739 opened by blume0
15m 3s blume0:fix_issue555_by_reporting_err
blume0:fix_issue555_by_reporting_err
15m 3s
Guard against partial applications of wfrec functions (closes #555, #609) Nix CI for bundle default #90: Pull request #739 opened by blume0
1m 39s
1m 39s
Fix #737 by computing rec_type after adjust_sign_arity in equations.ml CI #842: Pull request #738 opened by blume0
4m 31s blume0:fix_737_wfrec_implicit_argument
blume0:fix_737_wfrec_implicit_argument
4m 31s
Fix #737 by computing rec_type after adjust_sign_arity in equations.ml Nix CI for bundle default #89: Pull request #738 opened by blume0
9s
9s
Fix anomaly when encountering pattern-matching lambdas outside Equations CI #841: Pull request #736 opened by blume0
4m 56s blume0:fix_issue_713
blume0:fix_issue_713
4m 56s
Fix anomaly when encountering pattern-matching lambdas outside Equations Nix CI for bundle default #88: Pull request #736 opened by blume0
7s
7s
Update documentation and document the "obligations" flag Nix CI for bundle default #87: Pull request #735 opened by blume0
15s
15s
Update documentation and document the "obligations" flag CI #840: Pull request #735 opened by blume0
4m 41s blume0:doc_update_and_obligations
blume0:doc_update_and_obligations
4m 41s
Make dependent elimination compatible with Set Mangle Names CI #839: Pull request #734 opened by thomas-lamiaux
4m 33s thomas-lamiaux:fix-mangle-names-733
thomas-lamiaux:fix-mangle-names-733
4m 33s
Make dependent elimination compatible with Set Mangle Names Nix CI for bundle default #86: Pull request #734 opened by thomas-lamiaux
11s
11s
Replace all uses of mattam82/Coq-Equations by rocq-prover/equations in gh-pages Nix CI for bundle default #85: Pull request #732 opened by blume0
8s
8s
Adapt to https://github.com/rocq-prover/stdlib/pull/251 CI #838: Pull request #712 synchronize by proux01
4m 28s proux01:stdlib251
proux01:stdlib251
4m 28s
Adapt to https://github.com/rocq-prover/stdlib/pull/251 Nix CI for bundle default #84: Pull request #712 synchronize by proux01
2m 51s
2m 51s
Merge pull request #729 from JoJoDeveloping/fix-not-loc Nix CI for bundle default #83: Commit d562d8c pushed by SkySkimmer
3m 39s main
main
3m 39s
Merge pull request #729 from JoJoDeveloping/fix-not-loc CI #837: Commit d562d8c pushed by SkySkimmer
4m 38s main
main
4m 38s
Adapt to Rocq PR #19404 CI #836: Pull request #730 opened by herbelin
4m 23s herbelin:main+general-recursive-notations
herbelin:main+general-recursive-notations
4m 23s
Adapt to Rocq PR #19404 Nix CI for bundle default #82: Pull request #730 opened by herbelin
2m 57s
2m 57s
Adapt to rocq-prover/rocq#22194 (location information for notations) CI #835: Pull request #729 opened by JoJoDeveloping
4m 29s JoJoDeveloping:fix-not-loc
JoJoDeveloping:fix-not-loc
4m 29s
Adapt to rocq-prover/rocq#22194 (location information for notations) Nix CI for bundle default #81: Pull request #729 opened by JoJoDeveloping
2m 44s
2m 44s