Skip to content

Actions: coq-community/HighSchoolGeometry

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
9 workflow runs
9 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
ci for 8.19 Docker CI #13: Commit f64d2a4 pushed by palmskog
December 30, 2023 10:01 3m 4s master
master
December 30, 2023 10:01 3m 4s
Merge pull request #13 from coq-community/proof-command Docker CI #12: Commit b5fedb5 pushed by jp-diegidio
November 26, 2023 21:12 3m 17s master
master
November 26, 2023 21:12 3m 17s
Ensure use of proof command Docker CI #11: Pull request #13 opened by jp-diegidio
November 26, 2023 20:36 3m 6s proof-command
proof-command
November 26, 2023 20:36 3m 6s
Merge pull request #11 from coq-community/q-compilation Docker CI #10: Commit 0c59e73 pushed by jp-diegidio
November 25, 2023 19:13 3m 4s master
master
November 25, 2023 19:13 3m 4s
Ensure project builds with -Q option Docker CI #9: Pull request #11 opened by jp-diegidio
November 25, 2023 19:04 3m 0s q-compilation
q-compilation
November 25, 2023 19:04 3m 0s
fix CI status image Docker CI #8: Commit be7bb38 pushed by palmskog
November 19, 2023 17:50 3m 1s master
master
November 19, 2023 17:50 3m 1s
Merge pull request #9 from coq-community/update-8.18 Docker CI #7: Commit 2582cd4 pushed by palmskog
November 18, 2023 20:18 3m 7s master
master
November 18, 2023 20:18 3m 7s
Update for 8.18 Docker CI #6: Pull request #9 synchronize by palmskog
November 18, 2023 20:15 3m 0s update-8.18
update-8.18
November 18, 2023 20:15 3m 0s
Update for 8.18 Docker CI #5: Pull request #9 opened by palmskog
November 18, 2023 20:08 3m 12s update-8.18
update-8.18
November 18, 2023 20:08 3m 12s