Skip to content

Actions: emarzion/coqtbgen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
60 workflow runs
60 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
pages build and deployment pages-build-deployment #39: by github-pages bot
January 11, 2025 21:00 32s gh-pages
gh-pages
January 11, 2025 21:00 32s
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
pages build and deployment pages-build-deployment #38: by github-pages bot
October 15, 2024 20:13 37s gh-pages
gh-pages
October 15, 2024 20:13 37s
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
pages build and deployment pages-build-deployment #37: by github-pages bot
October 5, 2024 17:24 28s gh-pages
gh-pages
October 5, 2024 17:24 28s
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
pages build and deployment pages-build-deployment #36: by github-pages bot
October 2, 2024 16:54 27s gh-pages
gh-pages
October 2, 2024 16:54 27s
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
pages build and deployment pages-build-deployment #35: by github-pages bot
October 1, 2024 16:34 31s gh-pages
gh-pages
October 1, 2024 16:34 31s
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
pages build and deployment pages-build-deployment #34: by github-pages bot
October 1, 2024 03:42 32s gh-pages
gh-pages
October 1, 2024 03:42 32s