Skip to content

Actions: coq-community/coq-art

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #33 from coq-community/compat-8.20 Docker CI #47: Commit 907f3da pushed by palmskog
July 24, 2024 16:38 2m 35s master
master
July 24, 2024 16:38 2m 35s
pages build and deployment pages-build-deployment #18: by palmskog
July 24, 2024 16:38 26s
July 24, 2024 16:38 26s
Compatibility with Coq 8.20 Docker CI #46: Pull request #33 opened by palmskog
July 24, 2024 16:34 2m 44s compat-8.20
compat-8.20
July 24, 2024 16:34 2m 44s
change boilerplate for 8.19 and beyond (#32) Docker CI #45: Commit c41affd pushed by Casteran
January 3, 2024 06:32 2m 34s master
master
January 3, 2024 06:32 2m 34s
pages build and deployment pages-build-deployment #17: by Casteran
January 3, 2024 06:32 29s
January 3, 2024 06:32 29s
change boilerplate for 8.19 and beyond Docker CI #44: Pull request #32 synchronize by palmskog
January 2, 2024 22:48 2m 33s fix-8.19
fix-8.19
January 2, 2024 22:48 2m 33s
change boilerplate for 8.19 and beyond Docker CI #43: Pull request #32 synchronize by palmskog
January 2, 2024 14:34 2m 32s fix-8.19
fix-8.19
January 2, 2024 14:34 2m 32s
change boilerplate for 8.19 and beyond Docker CI #42: Pull request #32 opened by palmskog
January 2, 2024 13:14 2m 28s fix-8.19
fix-8.19
January 2, 2024 13:14 2m 28s
Last attempt to adapt to stdlib's changes Docker CI #41: Commit fb855a7 pushed by Casteran
January 2, 2024 08:35 2m 28s master
master
January 2, 2024 08:35 2m 28s
pages build and deployment pages-build-deployment #16: by Casteran
January 2, 2024 08:35 35s
January 2, 2024 08:35 35s
pages build and deployment pages-build-deployment #15: by Casteran
January 2, 2024 08:19 30s
January 2, 2024 08:19 30s
attempt to adapt to stdlib's changes Docker CI #40: Commit 2ccd85a pushed by Casteran
January 2, 2024 08:19 2m 26s master
master
January 2, 2024 08:19 2m 26s
attempt to adapt to stdlib's changes Docker CI #39: Commit 8735769 pushed by Casteran
January 2, 2024 08:06 1m 56s master
master
January 2, 2024 08:06 1m 56s
pages build and deployment pages-build-deployment #14: by Casteran
January 2, 2024 08:06 28s
January 2, 2024 08:06 28s
Fix an upper-lower case issue (MacOSX) Docker CI #38: Commit b33d68d pushed by Casteran
December 31, 2023 20:43 2m 24s master
master
December 31, 2023 20:43 2m 24s
pages build and deployment pages-build-deployment #13: by Casteran
December 31, 2023 20:43 27s
December 31, 2023 20:43 27s
Fix an error (file names in MacOSX) Docker CI #37: Commit 8bed3a0 pushed by Casteran
December 31, 2023 20:35 1m 43s master
master
December 31, 2023 20:35 1m 43s
pages build and deployment pages-build-deployment #12: by Casteran
December 31, 2023 20:35 28s
December 31, 2023 20:35 28s
Undeprecating useful lemmas; remove an import of Div2 Docker CI #36: Commit 7743965 pushed by Casteran
December 31, 2023 20:14 1m 45s master
master
December 31, 2023 20:14 1m 45s
pages build and deployment pages-build-deployment #11: by Casteran
December 31, 2023 20:14 32s
December 31, 2023 20:14 32s
fight against deprecation messages Docker CI #35: Commit 2832c02 pushed by Casteran
December 31, 2023 18:24 2m 25s master
master
December 31, 2023 18:24 2m 25s
pages build and deployment pages-build-deployment #10: by Casteran
December 31, 2023 18:24 32s
December 31, 2023 18:24 32s
Include tutorial Docker CI #34: Pull request #31 synchronize by Casteran
July 26, 2023 09:08 3m 36s includeTutorial
includeTutorial
July 26, 2023 09:08 3m 36s
Include tutorial Docker CI #33: Pull request #31 synchronize by Casteran
July 26, 2023 08:22 3m 4s includeTutorial
includeTutorial
July 26, 2023 08:22 3m 4s
Include tutorial Docker CI #32: Pull request #31 opened by Casteran
July 26, 2023 07:55 3m 34s includeTutorial
includeTutorial
July 26, 2023 07:55 3m 34s