Skip to content

Actions: coq/coq

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
11,837 workflow runs
11,837 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
ppvernac fixes (univdecl incorrect printing and attribute spacing) Windows CI #10557: Pull request #19095 opened by SkySkimmer
May 27, 2024 13:15 57m 24s SkySkimmer:fix-ppvernac
SkySkimmer:fix-ppvernac
May 27, 2024 13:15 57m 24s
Univ declarations can have extensible qualities (internally) GitHub macOS CI #11229: Pull request #19073 synchronize by SkySkimmer
May 27, 2024 13:04 27m 52s SkySkimmer:abstract-sort-poly
SkySkimmer:abstract-sort-poly
May 27, 2024 13:04 27m 52s
Univ declarations can have extensible qualities (internally) Windows CI #10556: Pull request #19073 synchronize by SkySkimmer
May 27, 2024 13:04 1h 9m 33s SkySkimmer:abstract-sort-poly
SkySkimmer:abstract-sort-poly
May 27, 2024 13:04 1h 9m 33s
Add module types USetS UMapS for unordered maps Windows CI #10555: Pull request #19078 synchronize by SkySkimmer
May 27, 2024 12:55 1h 0m 30s SkySkimmer:csig-umap
SkySkimmer:csig-umap
May 27, 2024 12:55 1h 0m 30s
Add module types USetS UMapS for unordered maps GitHub macOS CI #11228: Pull request #19078 synchronize by SkySkimmer
May 27, 2024 12:55 29m 4s SkySkimmer:csig-umap
SkySkimmer:csig-umap
May 27, 2024 12:55 29m 4s
Warn when automatically lowering an inductive declared with : Type to Prop GitHub macOS CI #11227: Pull request #18989 synchronize by SkySkimmer
May 27, 2024 12:13 27m 11s SkySkimmer:warn-auto-lower
SkySkimmer:warn-auto-lower
May 27, 2024 12:13 27m 11s
Warn when automatically lowering an inductive declared with : Type to Prop Windows CI #10554: Pull request #18989 synchronize by SkySkimmer
May 27, 2024 12:13 1h 18m 42s SkySkimmer:warn-auto-lower
SkySkimmer:warn-auto-lower
May 27, 2024 12:13 1h 18m 42s
Simplify declaremods internals Windows CI #10553: Pull request #19094 opened by SkySkimmer
May 27, 2024 11:59 1h 0m 45s SkySkimmer:simpl-declmods
SkySkimmer:simpl-declmods
May 27, 2024 11:59 1h 0m 45s
Simplify declaremods internals GitHub macOS CI #11226: Pull request #19094 opened by SkySkimmer
May 27, 2024 11:59 27m 46s SkySkimmer:simpl-declmods
SkySkimmer:simpl-declmods
May 27, 2024 11:59 27m 46s
Fix file extensions in CODEOWNERS. GitHub macOS CI #11225: Pull request #19093 opened by Zimmi48
May 27, 2024 11:53 27m 36s Zimmi48:fix-codeowners-md
Zimmi48:fix-codeowners-md
May 27, 2024 11:53 27m 36s
Fix file extensions in CODEOWNERS. Windows CI #10552: Pull request #19093 opened by Zimmi48
May 27, 2024 11:53 51m 10s Zimmi48:fix-codeowners-md
Zimmi48:fix-codeowners-md
May 27, 2024 11:53 51m 10s
Remove include type GitHub macOS CI #11224: Pull request #18482 synchronize by Villetaneuse
May 27, 2024 11:41 28m 46s Villetaneuse:remove_include_type
Villetaneuse:remove_include_type
May 27, 2024 11:41 28m 46s
Remove include type Windows CI #10551: Pull request #18482 synchronize by Villetaneuse
May 27, 2024 11:41 43m 33s Villetaneuse:remove_include_type
Villetaneuse:remove_include_type
May 27, 2024 11:41 43m 33s
Merge PR #19083: Various typos, as well as parentheses and spacing en… GitHub macOS CI #11223: Commit 4d1f888 pushed by coqbot-app bot
May 27, 2024 11:34 27m 40s master
master
May 27, 2024 11:34 27m 40s
Merge PR #19083: Various typos, as well as parentheses and spacing en… Check conflicts #3590: Commit 4d1f888 pushed by coqbot-app bot
May 27, 2024 11:34 4m 17s master
master
May 27, 2024 11:34 4m 17s
Merge PR #19083: Various typos, as well as parentheses and spacing en… Windows CI #10550: Commit 4d1f888 pushed by coqbot-app bot
May 27, 2024 11:34 48m 25s master
master
May 27, 2024 11:34 48m 25s
Remove include type GitHub macOS CI #11222: Pull request #18482 synchronize by Villetaneuse
May 27, 2024 10:16 26m 51s Villetaneuse:remove_include_type
Villetaneuse:remove_include_type
May 27, 2024 10:16 26m 51s
Remove include type Windows CI #10549: Pull request #18482 synchronize by Villetaneuse
May 27, 2024 10:16 59m 40s Villetaneuse:remove_include_type
Villetaneuse:remove_include_type
May 27, 2024 10:16 59m 40s
Merge PR #19086: A few complex guard condition tests found in CI Windows CI #10548: Commit 827020d pushed by coqbot-app bot
May 27, 2024 09:30 58m 36s master
master
May 27, 2024 09:30 58m 36s
Merge PR #19086: A few complex guard condition tests found in CI Check conflicts #3589: Commit 827020d pushed by coqbot-app bot
May 27, 2024 09:30 4m 17s master
master
May 27, 2024 09:30 4m 17s
Merge PR #19086: A few complex guard condition tests found in CI GitHub macOS CI #11221: Commit 827020d pushed by coqbot-app bot
May 27, 2024 09:30 31m 18s master
master
May 27, 2024 09:30 31m 18s
A few complex guard condition tests found in CI Windows CI #10547: Pull request #19086 synchronize by herbelin
May 27, 2024 08:31 51m 1s herbelin:master+fixpoint-stress-tests
herbelin:master+fixpoint-stress-tests
May 27, 2024 08:31 51m 1s
A few complex guard condition tests found in CI GitHub macOS CI #11220: Pull request #19086 synchronize by herbelin
May 27, 2024 08:31 29m 57s herbelin:master+fixpoint-stress-tests
herbelin:master+fixpoint-stress-tests
May 27, 2024 08:31 29m 57s
[notation] Add warning for closed notations not at level 0 GitHub macOS CI #11219: Pull request #18588 synchronize by proux01
May 27, 2024 07:50 29m 46s proux01:closed_notation_level0
proux01:closed_notation_level0
May 27, 2024 07:50 29m 46s
[notation] Add warning for closed notations not at level 0 Windows CI #10546: Pull request #18588 synchronize by proux01
May 27, 2024 07:50 55m 13s proux01:closed_notation_level0
proux01:closed_notation_level0
May 27, 2024 07:50 55m 13s