Skip to content

Actions: coq-community/fav-ssr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Mathcomp 2.x Docker CI #13: Pull request #29 synchronize by ablearthy
January 5, 2025 02:50 4m 55s ablearthy:mathcomp-230
ablearthy:mathcomp-230
January 5, 2025 02:50 4m 55s
Mathcomp 2.x Docker CI #12: Pull request #29 synchronize by ablearthy
January 5, 2025 02:44 4m 58s ablearthy:mathcomp-230
ablearthy:mathcomp-230
January 5, 2025 02:44 4m 58s
Mathcomp 2.x Docker CI #11: Pull request #29 synchronize by ablearthy
January 5, 2025 02:43 4m 59s ablearthy:mathcomp-230
ablearthy:mathcomp-230
January 5, 2025 02:43 4m 59s
Mathcomp 2.x Docker CI #10: Pull request #29 opened by ablearthy
January 5, 2025 02:39 3m 55s ablearthy:mathcomp-230
ablearthy:mathcomp-230
January 5, 2025 02:39 3m 55s
Merge pull request #28 from ablearthy/update-gh-actions-coq-820 Docker CI #9: Commit 46757e3 pushed by clayrat
December 30, 2024 12:06 4m 3s trunk
trunk
December 30, 2024 12:06 4m 3s
Add coq 8.20 to matrix Docker CI #8: Pull request #28 opened by ablearthy
December 30, 2024 11:35 4m 6s ablearthy:update-gh-actions-coq-820
ablearthy:update-gh-actions-coq-820
December 30, 2024 11:35 4m 6s
consistently require-import all_ssreflect instead of pieces of it Docker CI #7: Pull request #27 opened by palmskog
November 17, 2024 20:09 16m 23s require-ssreflect
require-ssreflect
November 17, 2024 20:09 16m 23s
Merge pull request #26 from ablearthy/coq20 Docker CI #6: Commit 9b2874b pushed by clayrat
November 14, 2024 16:22 16m 23s trunk
trunk
November 14, 2024 16:22 16m 23s
Support Coq 8.20 Docker CI #5: Pull request #26 synchronize by ablearthy
October 18, 2024 20:13 4m 8s ablearthy:coq20
ablearthy:coq20
October 18, 2024 20:13 4m 8s
Support Coq 8.20 Docker CI #4: Pull request #26 opened by ablearthy
October 17, 2024 17:49 4m 20s ablearthy:coq20
ablearthy:coq20
October 17, 2024 17:49 4m 20s
Merge pull request #24 from coq-community/add-boilerplate Docker CI #3: Commit 4e23c93 pushed by clayrat
September 20, 2024 16:04 4m 3s trunk
trunk
September 20, 2024 16:04 4m 3s
add meta.yml and generate opam file, README.md and CI Docker CI #2: Pull request #24 synchronize by palmskog
September 20, 2024 14:32 4m 8s add-boilerplate
add-boilerplate
September 20, 2024 14:32 4m 8s
add meta.yml and generate opam file, README.md and CI Docker CI #1: Pull request #24 opened by palmskog
September 20, 2024 14:27 4m 10s add-boilerplate
add-boilerplate
September 20, 2024 14:27 4m 10s