Skip to content

Actions: rocq-community/coq-art

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #21: by palmskog
March 24, 2025 13:40 32s master
master
March 24, 2025 13:40 32s
Merge pull request #34 from brunom/patch-1 Docker CI #51: Commit 02f7d1f pushed by palmskog
February 15, 2025 16:10 2m 38s master
master
February 15, 2025 16:10 2m 38s
pages build and deployment pages-build-deployment #20: by palmskog
February 15, 2025 16:10 22s master
master
February 15, 2025 16:10 22s
Merge pull request #35 from coq-community/fix-dev-ci Docker CI #50: Commit 19dc0c1 pushed by palmskog
February 15, 2025 15:22 2m 39s master
master
February 15, 2025 15:22 2m 39s
pages build and deployment pages-build-deployment #19: by palmskog
February 15, 2025 15:22 24s master
master
February 15, 2025 15:22 24s
fix dev ci Docker CI #49: Pull request #35 opened by palmskog
February 15, 2025 15:19 2m 55s fix-dev-ci
fix-dev-ci
February 15, 2025 15:19 2m 55s
Update class.v Docker CI #48: Pull request #34 opened by brunom
February 15, 2025 14:50 2m 38s brunom:patch-1
brunom:patch-1
February 15, 2025 14:50 2m 38s
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 master
master
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