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

Skip to content

Actions: Tragicus/coq

Actions

Github CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-github.yml
60 workflow runs
60 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rm iris overlay Github CI #60: Commit c5eaafb pushed by Tragicus
34m 19s evd-inst
evd-inst
34m 19s
overlays Github CI #59: Commit 9faf9e6 pushed by Tragicus
34m 40s evd-inst
evd-inst
34m 40s
elpi_test overlay Github CI #58: Commit fd18a09 pushed by Tragicus
33m 6s evd-inst
evd-inst
33m 6s
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 constr Github CI #55: Commit be41007 pushed by Tragicus
8m 58s cstc
cstc
8m 58s
debug constr Github CI #54: Commit a8aa837 pushed by Tragicus
8m 53s cstc
cstc
8m 53s
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
debug constr Github CI #51: Commit 4bedd5f pushed by Tragicus
6m 33s cstc
cstc
6m 33s
debug constr Github CI #50: Commit d63e712 pushed by Tragicus
7m 22s cstc
cstc
7m 22s
debug vars Github CI #49: Commit 3b33025 pushed by Tragicus
7m 33s cstc
cstc
7m 33s
debug vars Github CI #48: Commit 7b32f2f pushed by Tragicus
9m 33s cstc
cstc
9m 33s
debug vars Github CI #47: Commit b269149 pushed by Tragicus
8m 35s cstc
cstc
8m 35s
debug vars Github CI #46: Commit bfe4b8d pushed by Tragicus
7m 11s cstc
cstc
7m 11s
debug vars Github CI #45: Commit 9b38200 pushed by Tragicus
9m 16s cstc
cstc
9m 16s
debug vars Github CI #44: Commit 88c4a23 pushed by Tragicus
8m 6s cstc
cstc
8m 6s
debug pretyping Github CI #43: Commit 8abadf2 pushed by Tragicus
8m 23s cstc
cstc
8m 23s
debug econstr Github CI #42: Commit 7865b81 pushed by Tragicus
7m 14s cstc
cstc
7m 14s
debug pretyping Github CI #41: Commit 8528b21 pushed by Tragicus
6m 54s cstc
cstc
6m 54s
debug pretyping Github CI #40: Commit 9e68e30 pushed by Tragicus
58s cstc
cstc
58s
debug pretyping Github CI #39: Commit 9103a8b pushed by Tragicus
1m 6s cstc
cstc
1m 6s
debug pretyping Github CI #38: Commit ee2ecf7 pushed by Tragicus
6m 47s cstc
cstc
6m 47s
debug pretyping Github CI #37: Commit f91976c pushed by Tragicus
7m 55s cstc
cstc
7m 55s
debug pretyping Github CI #36: Commit e76540f pushed by Tragicus
7m 17s cstc
cstc
7m 17s