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

Skip to content

Actions: Tragicus/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
361 workflow runs
361 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stale PRs Stale PRs #71: Scheduled
1s master
master
1s
Stale PRs Stale PRs #70: Scheduled
1s master
master
1s
Stale PRs Stale PRs #69: Scheduled
1s master
master
1s
Stale PRs Stale PRs #68: Scheduled
2s master
master
2s
rm iris overlay Check conflicts #183: Commit c5eaafb pushed by Tragicus
8m 41s evd-inst
evd-inst
8m 41s
rm iris overlay Github CI #60: Commit c5eaafb pushed by Tragicus
34m 19s evd-inst
evd-inst
34m 19s
overlays Check conflicts #182: Commit 9faf9e6 pushed by Tragicus
13s evd-inst
evd-inst
13s
overlays Github CI #59: Commit 9faf9e6 pushed by Tragicus
34m 40s evd-inst
evd-inst
34m 40s
Stale PRs Stale PRs #67: Scheduled
1s master
master
1s
Stale PRs Stale PRs #66: Scheduled
1s master
master
1s
elpi_test overlay Check conflicts #181: Commit fd18a09 pushed by Tragicus
7s evd-inst
evd-inst
7s
elpi_test overlay Github CI #58: Commit fd18a09 pushed by Tragicus
33m 6s evd-inst
evd-inst
33m 6s
Stale PRs Stale PRs #65: Scheduled
1s master
master
1s
debug pretyping Check conflicts #180: Commit e90b0b6 pushed by Tragicus
7s cstc
cstc
7s
debug pretyping Github CI #57: Commit e90b0b6 pushed by Tragicus
31m 6s cstc
cstc
31m 6s
debug econstr Github CI #56: Commit 9dee339 pushed by Tragicus
11m 24s cstc
cstc
11m 24s
debug econstr Check conflicts #179: Commit 9dee339 pushed by Tragicus
7s cstc
cstc
7s
debug constr Check conflicts #178: Commit be41007 pushed by Tragicus
10s cstc
cstc
10s
debug constr Github CI #55: Commit be41007 pushed by Tragicus
8m 58s cstc
cstc
8m 58s
debug constr Check conflicts #177: Commit a8aa837 pushed by Tragicus
10s cstc
cstc
10s
debug constr Github CI #54: Commit a8aa837 pushed by Tragicus
8m 53s cstc
cstc
8m 53s
Stale PRs Stale PRs #64: Scheduled
1s master
master
1s
debug constr Check conflicts #176: Commit 169e49c pushed by Tragicus
8s cstc
cstc
8s
debug constr Github CI #53: Commit 169e49c pushed by Tragicus
8m 59s cstc
cstc
8m 59s
debug constr Github CI #52: Commit bc185df pushed by Tragicus
7m 31s cstc
cstc
7m 31s