Skip to content

Actions: coq-community/math-classes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #78 from JasonGross/fix-for-more-rapply-10760 Docker CI #50: Commit 83822de pushed by spitters
October 16, 2023 11:26 4m 51s master
master
October 16, 2023 11:26 4m 51s
Merge pull request #121 from Villetaneuse/rm_arith_files Docker CI #49: Commit fbb6ebe pushed by spitters
October 16, 2023 11:25 5m 18s master
master
October 16, 2023 11:25 5m 18s
Remove deprecated files in Coq.Arith Docker CI #48: Pull request #121 opened by Villetaneuse
October 16, 2023 11:10 5m 4s Villetaneuse:rm_arith_files
Villetaneuse:rm_arith_files
October 16, 2023 11:10 5m 4s
Merge pull request #118 from coq-community/master+adapting-cast-using… Docker CI #47: Commit aaaf68f pushed by proux01
October 5, 2023 14:22 4m 33s master
master
October 5, 2023 14:22 4m 33s
Merge pull request #119 from Zimmi48/test-coq-8.18 Docker CI #46: Commit d3fdd9a pushed by Zimmi48
September 29, 2023 08:41 5m 22s master
master
September 29, 2023 08:41 5m 22s
Introducing CI for Coq 8.18. Docker CI #45: Pull request #119 opened by Zimmi48
September 29, 2023 08:35 5m 33s Zimmi48:test-coq-8.18
Zimmi48:test-coq-8.18
September 29, 2023 08:35 5m 33s
Adapt to https://github.com/coq/coq/pull/6134 Docker CI #44: Pull request #118 opened by proux01
September 26, 2023 09:20 2h 7m 39s master+adapting-cast-using-scope-bound-to-type
master+adapting-cast-using-scope-bound-to-type
September 26, 2023 09:20 2h 7m 39s