Skip to content

Actions: coq-community/math-classes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Merge pull request #127 from coq-community/coq_18880 Docker CI #59: Commit 2a8e123 pushed by proux01
April 11, 2024 13:10 3m 24s master
master
April 11, 2024 13:10 3m 24s
Adapt to https://github.com/coq/coq/pull/18880 Docker CI #58: Pull request #127 opened by proux01
April 11, 2024 12:59 3m 13s coq_18880
coq_18880
April 11, 2024 12:59 3m 13s
Merge pull request #126 from ppedrot/rm-hint-constr Docker CI #57: Commit 17b7a31 pushed by spitters
April 7, 2024 19:22 3m 7s master
master
April 7, 2024 19:22 3m 7s
Remove the few instances of non-global hint declarations. Docker CI #56: Pull request #126 opened by ppedrot
April 7, 2024 12:13 3m 18s ppedrot:rm-hint-constr
ppedrot:rm-hint-constr
April 7, 2024 12:13 3m 18s
Merge pull request #123 from coq-community/coq_18590 Docker CI #55: Commit 278a15a pushed by proux01
February 1, 2024 10:26 30m 47s master
master
February 1, 2024 10:26 30m 47s
Adapt to https://github.com/coq/coq/pull/18590 Docker CI #54: Pull request #123 opened by proux01
January 31, 2024 14:37 16m 6s coq_18590
coq_18590
January 31, 2024 14:37 16m 6s
Merge pull request #122 from herbelin/master+adapting-coq-pr17832-cho… Docker CI #53: Commit f9712ba pushed by spitters
November 6, 2023 19:46 5m 2s master
master
November 6, 2023 19:46 5m 2s
Adapt to Coq PR #17832: syntax of choice in rewstrategy expects arguments at atomic level Docker CI #52: Pull request #122 opened by herbelin
November 4, 2023 07:13 4m 24s herbelin:master+adapting-coq-pr17832-choice-stronger-precedence-rewstrategy
herbelin:master+adapting-coq-pr17832-choice-stronger-precedence-rewstrategy
November 4, 2023 07:13 4m 24s
Merge pull request #50 from tymmym/master Docker CI #51: Commit 6ad1db9 pushed by spitters
October 16, 2023 11:27 6m 47s master
master
October 16, 2023 11:27 6m 47s
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
Merge pull request #117 from ppedrot/case-pf-pose-dependent-metas Docker CI #43: Commit 7a57556 pushed by ppedrot
May 4, 2023 14:50 7m 8s master
master
May 4, 2023 14:50 7m 8s
Adapt w.r.t. coq/coq#17564. Docker CI #42: Pull request #117 opened by ppedrot
May 4, 2023 08:56 5m 48s ppedrot:case-pf-pose-dependent-metas
ppedrot:case-pf-pose-dependent-metas
May 4, 2023 08:56 5m 48s