Skip to content

Actions: emarzion/coqtbgen

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
44 workflow runs
44 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Opam fix (#44) CI #123: Commit 7d68523 pushed by emarzion
January 11, 2025 23:10 6m 16s master
master
January 11, 2025 23:10 6m 16s
Opam fix CI #122: Pull request #44 opened by emarzion
January 11, 2025 23:04 6m 7s opam-fix
opam-fix
January 11, 2025 23:04 6m 7s
opam file fix (#43) CI #121: Commit 290917c pushed by emarzion
January 11, 2025 22:23 7m 18s master
master
January 11, 2025 22:23 7m 18s
opam file fix CI #120: Pull request #43 opened by emarzion
January 11, 2025 22:17 6m 19s opam-fix
opam-fix
January 11, 2025 22:17 6m 19s
different stratified idea (#42) CI #119: Commit 7dcd06e pushed by emarzion
January 11, 2025 20:50 9m 34s master
master
January 11, 2025 20:50 9m 34s
different stratified idea CI #118: Pull request #42 synchronize by emarzion
January 11, 2025 20:40 9m 25s strat2
strat2
January 11, 2025 20:40 9m 25s
different stratified idea CI #117: Pull request #42 opened by emarzion
January 11, 2025 20:19 20s strat2
strat2
January 11, 2025 20:19 20s
Symmetry (#41) CI #116: Commit 1cf3829 pushed by emarzion
October 15, 2024 20:02 11m 41s master
master
October 15, 2024 20:02 11m 41s
Symmetry CI #115: Pull request #41 synchronize by emarzion
October 15, 2024 18:41 4m 44s symmetry
symmetry
October 15, 2024 18:41 4m 44s
Symmetry CI #114: Pull request #41 synchronize by emarzion
October 14, 2024 03:31 5m 16s symmetry
symmetry
October 14, 2024 03:31 5m 16s
Symmetry CI #113: Pull request #41 opened by emarzion
October 13, 2024 05:41 11m 50s symmetry
symmetry
October 13, 2024 05:41 11m 50s
pruning unused stuff (#40) CI #112: Commit 43aef70 pushed by emarzion
October 5, 2024 17:20 4m 42s master
master
October 5, 2024 17:20 4m 42s
pruning unused stuff CI #111: Pull request #40 opened by emarzion
October 5, 2024 17:15 4m 38s prune
prune
October 5, 2024 17:15 4m 38s
updating games (#39) CI #110: Commit abf4b67 pushed by emarzion
October 2, 2024 16:45 8m 53s master
master
October 2, 2024 16:45 8m 53s
updating games CI #109: Pull request #39 opened by emarzion
October 2, 2024 16:36 8m 38s games-update
games-update
October 2, 2024 16:36 8m 38s
changing submodules to opam pins (#38) CI #108: Commit 26636cc pushed by emarzion
October 1, 2024 18:29 4m 40s master
master
October 1, 2024 18:29 4m 40s
changing submodules to opam pins CI #107: Pull request #38 opened by emarzion
October 1, 2024 18:22 5m 7s dependecy-overhaul
dependecy-overhaul
October 1, 2024 18:22 5m 7s
adding bisim.v (#37) CI #106: Commit f04369e pushed by emarzion
October 1, 2024 16:29 5m 21s master
master
October 1, 2024 16:29 5m 21s
adding bisim.v CI #105: Pull request #37 opened by emarzion
October 1, 2024 16:23 4m 53s bisim
bisim
October 1, 2024 16:23 4m 53s
cleanup (#36) CI #104: Commit febed21 pushed by emarzion
October 1, 2024 03:27 15m 31s master
master
October 1, 2024 03:27 15m 31s
cleanup CI #103: Pull request #36 opened by emarzion
October 1, 2024 03:11 15m 11s tb-cleanup
tb-cleanup
October 1, 2024 03:11 15m 11s
Util refactor (#35) CI #102: Commit f54f3d5 pushed by emarzion
April 2, 2024 20:24 5m 19s master
master
April 2, 2024 20:24 5m 19s
Util refactor CI #101: Pull request #35 opened by emarzion
April 2, 2024 20:19 5m 13s util-refactor
util-refactor
April 2, 2024 20:19 5m 13s
Util refactor (#33) CI #100: Commit 10e22d8 pushed by emarzion
April 2, 2024 19:04 15m 13s master
master
April 2, 2024 19:04 15m 13s
Util refactor CI #99: Pull request #33 synchronize by emarzion
April 2, 2024 18:48 15m 39s util-refactor
util-refactor
April 2, 2024 18:48 15m 39s