Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: MaxMood96/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
710 workflow runs
710 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stale PRs Stale PRs #866: Scheduled
1s master
master
1s
Merge PR #21208: Add a cache to Dumpglob output. Github CI #370: Commit 8268553 pushed by pull bot
3h 18m 45s master
master
3h 18m 45s
Merge PR #21208: Add a cache to Dumpglob output. Check conflicts #182: Commit 8268553 pushed by pull bot
2h 48m 12s master
master
2h 48m 12s
[pull] master from rocq-prover:master Github CI #369: Pull request #178 opened by pull bot
3h 17m 36s rocq-prover:master
rocq-prover:master
3h 17m 36s
Merge PR #21222: Ltac2 add Control.solve_constraints Check conflicts #181: Commit e3a5ee1 pushed by pull bot
5h 13m 54s master
master
5h 13m 54s
Merge PR #21222: Ltac2 add Control.solve_constraints Github CI #368: Commit e3a5ee1 pushed by pull bot
5h 47m 47s master
master
5h 47m 47s
[pull] master from rocq-prover:master Github CI #367: Pull request #177 opened by pull bot
5h 32m 52s rocq-prover:master
rocq-prover:master
5h 32m 52s
Stale PRs Stale PRs #865: Scheduled
Skipped master
master
Skipped
[pull] master from rocq-prover:master Github CI #366: Pull request #176 opened by pull bot
2h 52m 33s rocq-prover:master
rocq-prover:master
2h 52m 33s
Merge PR #21230: Update doc of Strict Universe Declaration Github CI #365: Commit 51fc60d pushed by pull bot
2h 32m 38s master
master
2h 32m 38s
Merge PR #21230: Update doc of Strict Universe Declaration Check conflicts #180: Commit 51fc60d pushed by pull bot
2h 23m 8s master
master
2h 23m 8s
Stale PRs Stale PRs #864: Scheduled
3s master
master
3s
Merge PR #21225: Improved unbound rel message for negative rel Check conflicts #179: Commit 5b133e8 pushed by pull bot
9h 54m 10s master
master
9h 54m 10s
Merge PR #21225: Improved unbound rel message for negative rel Github CI #364: Commit 5b133e8 pushed by pull bot
10h 24m 34s master
master
10h 24m 34s
[pull] master from rocq-prover:master Github CI #363: Pull request #175 opened by pull bot
10h 24m 29s rocq-prover:master
rocq-prover:master
10h 24m 29s
Stale PRs Stale PRs #863: Scheduled
1s master
master
1s
Stale PRs Stale PRs #862: Scheduled
1s master
master
1s
Stale PRs Stale PRs #861: Scheduled
2s master
master
2s
Merge PR #21216: Comment out Fail Timeout in bteauto test Check conflicts #178: Commit 5fc4130 pushed by pull bot
3h 2m 25s master
master
3h 2m 25s
Merge PR #21216: Comment out Fail Timeout in bteauto test Github CI #362: Commit 5fc4130 pushed by pull bot
3h 32m 38s master
master
3h 32m 38s
[pull] master from rocq-prover:master Github CI #361: Pull request #174 opened by pull bot
3h 34m 13s rocq-prover:master
rocq-prover:master
3h 34m 13s
Stale PRs Stale PRs #860: Scheduled
1s master
master
1s
Merge PR #21206: Deprecate creating implicitly Hint rewrite databases. Github CI #360: Commit 93dc3ea pushed by pull bot
2h 34m 40s master
master
2h 34m 40s
Merge PR #21206: Deprecate creating implicitly Hint rewrite databases. Check conflicts #177: Commit 93dc3ea pushed by pull bot
1h 59m 40s master
master
1h 59m 40s
[pull] master from rocq-prover:master Github CI #359: Pull request #173 opened by pull bot
2h 34m 19s rocq-prover:master
rocq-prover:master
2h 34m 19s