Skip to content

Actions: rocq-community/coqtail-math

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
more intuition cleanup Docker CI #32: Commit 356a995 pushed by jmadiot
3m 16s master
master
3m 16s
fix compatibility with 9.2; still compatible with 8.17 Docker CI #31: Commit 7dc022f pushed by jmadiot
4m 16s master
master
4m 16s
Merge pull request #11 from rocq-community/fix-ci-9.1 Docker CI #30: Commit 684fcf7 pushed by palmskog
3m 23s master
master
3m 23s
ci update Docker CI #29: Pull request #11 opened by palmskog
3m 17s fix-ci-9.1
fix-ci-9.1
3m 17s
fix compatibility with 9.1; still compatible with 8.17 Docker CI #28: Commit a0c6e47 pushed by jmadiot
3m 49s master
master
3m 49s
Merge pull request #10 from aubertc/master Docker CI #27: Commit 46ababb pushed by jmadiot
3m 53s master
master
3m 53s
Create CITATION.cff Docker CI #26: Pull request #10 synchronize by jmadiot
3m 16s master
master
3m 16s
Create CITATION.cff Docker CI #25: Pull request #10 synchronize by aubertc
5m 48s master
master
5m 48s
Create CITATION.cff Docker CI #24: Pull request #10 synchronize by aubertc
3m 33s master
master
3m 33s
Create CITATION.cff Docker CI #23: Pull request #10 synchronize by aubertc
3m 19s master
master
3m 19s
Create CITATION.cff Docker CI #22: Pull request #10 synchronize by aubertc
3m 19s master
master
3m 19s
Create CITATION.cff Docker CI #21: Pull request #10 opened by aubertc
3m 33s master
master
3m 33s