Skip to content

Actions: coq-community/comp-dec-modal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Docker CI Docker CI #55: Scheduled
September 8, 2024 02:38 5m 20s master
master
September 8, 2024 02:38 5m 20s
Docker CI Docker CI #54: Scheduled
September 1, 2024 02:44 34m 11s master
master
September 1, 2024 02:44 34m 11s
Docker CI Docker CI #53: Scheduled
August 25, 2024 02:32 17m 2s master
master
August 25, 2024 02:32 17m 2s
Docker CI Docker CI #52: Scheduled
August 18, 2024 02:29 5m 23s master
master
August 18, 2024 02:29 5m 23s
Merge pull request #14 from coq-community/fix-metadata Docker CI #51: Commit fcb968d pushed by palmskog
August 11, 2024 14:44 5m 9s master
master
August 11, 2024 14:44 5m 9s
change category to Mathematics/Logic/Modal logic Docker CI #50: Pull request #14 opened by palmskog
August 11, 2024 14:33 5m 0s fix-metadata
fix-metadata
August 11, 2024 14:33 5m 0s
Docker CI Docker CI #49: Scheduled
August 11, 2024 02:31 5m 7s master
master
August 11, 2024 02:31 5m 7s
Docker CI Docker CI #48: Scheduled
August 4, 2024 02:29 8m 5s master
master
August 4, 2024 02:29 8m 5s
Docker CI Docker CI #47: Scheduled
July 28, 2024 02:29 4m 50s master
master
July 28, 2024 02:29 4m 50s
Merge pull request #13 from coq-community/ssr-have Docker CI #46: Commit 6cd2e3c pushed by palmskog
July 23, 2024 19:49 8m 52s master
master
July 23, 2024 19:49 8m 52s
compatibility with Coq 8.21 and later Docker CI #45: Pull request #13 synchronize by palmskog
July 23, 2024 19:41 4m 51s ssr-have
ssr-have
July 23, 2024 19:41 4m 51s
compatibility with Coq 8.21 and later Docker CI #44: Pull request #13 opened by palmskog
July 23, 2024 19:16 5m 4s ssr-have
ssr-have
July 23, 2024 19:16 5m 4s
Merge pull request #12 from coq-community/export-instance Docker CI #43: Commit d1b698d pushed by palmskog
July 23, 2024 18:55 4m 37s master
master
July 23, 2024 18:55 4m 37s
Fix compatibility with Coq 8.18 and later Docker CI #42: Pull request #12 synchronize by palmskog
July 23, 2024 18:50 4m 33s export-instance
export-instance
July 23, 2024 18:50 4m 33s
Fix compatibility with Coq 8.18 and later Docker CI #41: Pull request #12 opened by palmskog
July 23, 2024 17:25 5m 6s export-instance
export-instance
July 23, 2024 17:25 5m 6s
Merge pull request #11 from coq-community/mc2 Docker CI #40: Commit 874040b pushed by palmskog
July 23, 2024 14:59 12m 17s master
master
July 23, 2024 14:59 12m 17s
MathComp 2 boilerplate Docker CI #39: Pull request #11 synchronize by palmskog
July 22, 2024 18:35 4m 34s mc2
mc2
July 22, 2024 18:35 4m 34s