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 #132 from andres-erbsen/less-ZArith_base Docker CI #75: Commit 9db3142 pushed by spitters
November 3, 2024 16:20 3m 19s master
master
November 3, 2024 16:20 3m 19s
fully qualify unimported ZArith lemmas (for coq/coq#19801) Docker CI #74: Pull request #132 opened by andres-erbsen
November 3, 2024 16:11 4m 3s andres-erbsen:less-ZArith_base
andres-erbsen:less-ZArith_base
November 3, 2024 16:11 4m 3s
Merge pull request #131 from coq-community/stdlib_repo Docker CI #73: Commit 5faa2f7 pushed by Lysxia
September 17, 2024 07:59 3m 28s master
master
September 17, 2024 07:59 3m 28s
Adapt to https://github.com/coq/coq/pull/19530 Docker CI #72: Pull request #131 opened by proux01
September 17, 2024 06:21 3m 28s stdlib_repo
stdlib_repo
September 17, 2024 06:21 3m 28s
Merge pull request #130 from coq-community/update-maintainer Docker CI #71: Commit 0289512 pushed by spitters
August 19, 2024 12:27 3m 21s master
master
August 19, 2024 12:27 3m 21s
Update maintainer list in README. Docker CI #70: Pull request #130 opened by Zimmi48
August 19, 2024 12:09 3m 39s update-maintainer
update-maintainer
August 19, 2024 12:09 3m 39s
Port Coq code to use 'done' tactic instead of 'easy' and benchmark Docker CI #69: Pull request #129 synchronize by ndcroos
July 31, 2024 20:30 3m 27s ndcroos:master
ndcroos:master
July 31, 2024 20:30 3m 27s
Port Coq code to use 'done' tactic instead of 'easy' and benchmark Docker CI #68: Pull request #129 synchronize by ndcroos
July 31, 2024 18:29 3m 29s ndcroos:master
ndcroos:master
July 31, 2024 18:29 3m 29s
Port Coq code to use 'done' tactic instead of 'easy' and benchmark Docker CI #67: Pull request #129 synchronize by ndcroos
July 31, 2024 14:31 3m 29s ndcroos:master
ndcroos:master
July 31, 2024 14:31 3m 29s
Port Coq code to use 'done' tactic instead of 'easy' and benchmark Docker CI #66: Pull request #129 synchronize by ndcroos
July 31, 2024 14:18 3m 27s ndcroos:master
ndcroos:master
July 31, 2024 14:18 3m 27s
Port Coq code to use 'done' tactic instead of 'easy' and benchmark Docker CI #65: Pull request #129 synchronize by ndcroos
July 31, 2024 13:48 3m 22s ndcroos:master
ndcroos:master
July 31, 2024 13:48 3m 22s
Port Coq code to use 'done' tactic instead of 'easy' and benchmark Docker CI #64: Pull request #129 synchronize by ndcroos
July 31, 2024 11:54 2m 21s ndcroos:master
ndcroos:master
July 31, 2024 11:54 2m 21s
Port Coq code to use 'done' tactic instead of 'easy' and benchmark Docker CI #63: Pull request #129 synchronize by ndcroos
July 30, 2024 21:28 2m 12s ndcroos:master
ndcroos:master
July 30, 2024 21:28 2m 12s
Port Coq code to use 'done' tactic instead of 'easy' and benchmark Docker CI #62: Pull request #129 synchronize by ndcroos
July 30, 2024 18:44 2m 20s ndcroos:master
ndcroos:master
July 30, 2024 18:44 2m 20s
Port Coq code to use 'done' tactic instead of 'easy' and benchmark Docker CI #61: Pull request #129 synchronize by ndcroos
July 30, 2024 16:47 2m 27s ndcroos:master
ndcroos:master
July 30, 2024 16:47 2m 27s
Port Coq code to use 'done' tactic instead of 'easy' and benchmark Docker CI #60: Pull request #129 opened by ndcroos
July 30, 2024 16:08 12m 8s ndcroos:master
ndcroos:master
July 30, 2024 16:08 12m 8s
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