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

Skip to content

Actions: CohenCyril/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Set Universe Polymorphism in ssr/* Github CI #3: Commit ebef792 pushed by CohenCyril
44m 1s universes-clauses
universes-clauses
44m 1s
Set Universe Polymorphism in ssr/* Check conflicts #25: Commit ebef792 pushed by CohenCyril
7s universes-clauses
universes-clauses
7s
or maybe 9.1 Check conflicts #24: Commit 4a19b6f pushed by CohenCyril
7s cstc
cstc
7s
or maybe 9.1 Github CI #2: Commit 4a19b6f pushed by CohenCyril
45m 29s cstc
cstc
45m 29s
this rocq version 9.0 + cstc Check conflicts #23: Commit 985c00f pushed by CohenCyril
10s cstc
cstc
10s
this rocq version 9.0 + cstc Github CI #1: Commit 985c00f pushed by CohenCyril
4m 36s cstc
cstc
4m 36s
Stale PRs Stale PRs #43: Scheduled
2s master
master
2s
Stale PRs Stale PRs #42: Scheduled
2s master
master
2s
Stale PRs Stale PRs #41: Scheduled
3s master
master
3s
Stale PRs Stale PRs #40: Scheduled
2s master
master
2s
Stale PRs Stale PRs #39: Scheduled
3s master
master
3s
Stale PRs Stale PRs #38: Scheduled
2s master
master
2s
Stale PRs Stale PRs #37: Scheduled
3s master
master
3s
Stale PRs Stale PRs #36: Scheduled
2s master
master
2s
Stale PRs Stale PRs #35: Scheduled
2s master
master
2s
Stale PRs Stale PRs #34: Scheduled
2s master
master
2s
Stale PRs Stale PRs #33: Scheduled
2s master
master
2s
Stale PRs Stale PRs #32: Scheduled
2s master
master
2s
Stale PRs Stale PRs #31: Scheduled
3s master
master
3s
Stale PRs Stale PRs #30: Scheduled
3s master
master
3s
Stale PRs Stale PRs #29: Scheduled
3s master
master
3s
Stale PRs Stale PRs #28: Scheduled
2s master
master
2s
Stale PRs Stale PRs #27: Scheduled
3s master
master
3s
Stale PRs Stale PRs #26: Scheduled
2s master
master
2s
Stale PRs Stale PRs #25: Scheduled
2s master
master
2s