Skip to content

Actions: SkySkimmer/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,439 workflow run results
4,439 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Kernel: report all undeclared universes not just one GitHub macOS CI #3636: Commit 34f525f pushed by SkySkimmer
July 3, 2024 11:36 26m 26s all-undeclared-univs
all-undeclared-univs
July 3, 2024 11:36 26m 26s
Kernel: report all undeclared universes not just one Check conflicts #5282: Commit 34f525f pushed by SkySkimmer
July 3, 2024 11:36 12s all-undeclared-univs
all-undeclared-univs
July 3, 2024 11:36 12s
Merge PR #19166: CoqIDE: Make tabs reorderable and fix preference on … GitHub macOS CI #3635: Commit 72c4ef3 pushed by SkySkimmer
July 3, 2024 11:11 28m 40s master
master
July 3, 2024 11:11 28m 40s
Merge PR #19166: CoqIDE: Make tabs reorderable and fix preference on … Check conflicts #5281: Commit 72c4ef3 pushed by SkySkimmer
July 3, 2024 11:11 16s master
master
July 3, 2024 11:11 16s
Merge PR #19166: CoqIDE: Make tabs reorderable and fix preference on … Windows CI #3473: Commit 72c4ef3 pushed by SkySkimmer
July 3, 2024 11:11 53m 56s master
master
July 3, 2024 11:11 53m 56s
Stale PRs Stale PRs #740: Scheduled
July 3, 2024 02:29 2s master
master
July 3, 2024 02:29 2s
Merge PR #19090: Add support for Admitted on multiple statements GitHub macOS CI #3634: Commit ecc6405 pushed by SkySkimmer
July 2, 2024 15:19 27m 42s master
master
July 2, 2024 15:19 27m 42s
Merge PR #19090: Add support for Admitted on multiple statements Check conflicts #5280: Commit ecc6405 pushed by SkySkimmer
July 2, 2024 15:19 11s master
master
July 2, 2024 15:19 11s
Merge PR #19090: Add support for Admitted on multiple statements Windows CI #3472: Commit ecc6405 pushed by SkySkimmer
July 2, 2024 15:19 50m 51s master
master
July 2, 2024 15:19 50m 51s
hconstr avoid rehashconsing leaf terms GitHub macOS CI #3633: Commit 668276e pushed by SkySkimmer
July 2, 2024 09:42 32m 38s typeops-kaboom
typeops-kaboom
July 2, 2024 09:42 32m 38s
hconstr avoid rehashconsing leaf terms Check conflicts #5279: Commit 668276e pushed by SkySkimmer
July 2, 2024 09:42 11s typeops-kaboom
typeops-kaboom
July 2, 2024 09:42 11s
hconstr avoid rehashconsing leaf terms Windows CI #3471: Commit 668276e pushed by SkySkimmer
July 2, 2024 09:42 59m 41s typeops-kaboom
typeops-kaboom
July 2, 2024 09:42 59m 41s
hconstr avoid rehashconsing leaf terms Windows CI #3470: Commit 01ba496 pushed by SkySkimmer
July 2, 2024 09:37 53m 38s typeops-kaboom
typeops-kaboom
July 2, 2024 09:37 53m 38s
hconstr avoid rehashconsing leaf terms GitHub macOS CI #3632: Commit 01ba496 pushed by SkySkimmer
July 2, 2024 09:37 6m 52s typeops-kaboom
typeops-kaboom
July 2, 2024 09:37 6m 52s
hconstr avoid rehashconsing leaf terms Check conflicts #5278: Commit 01ba496 pushed by SkySkimmer
July 2, 2024 09:37 11s typeops-kaboom
typeops-kaboom
July 2, 2024 09:37 11s
Stale PRs Stale PRs #739: Scheduled
July 2, 2024 02:30 2s master
master
July 2, 2024 02:30 2s
Avoid duplicate hashconsing of kerpairs Check conflicts #5277: Commit 76089d6 pushed by SkySkimmer
July 1, 2024 12:42 11s avoid-name-hashcons
avoid-name-hashcons
July 1, 2024 12:42 11s
Avoid duplicate hashconsing of kerpairs GitHub macOS CI #3631: Commit 76089d6 pushed by SkySkimmer
July 1, 2024 12:42 34m 31s avoid-name-hashcons
avoid-name-hashcons
July 1, 2024 12:42 34m 31s
Avoid duplicate hashconsing of kerpairs Windows CI #3469: Commit 76089d6 pushed by SkySkimmer
July 1, 2024 12:42 59m 31s avoid-name-hashcons
avoid-name-hashcons
July 1, 2024 12:42 59m 31s
Merge PR #19293: Codeowners: add flake.lock -> nix maintainers Check conflicts #5276: Commit b4b8f68 pushed by SkySkimmer
July 1, 2024 09:46 12s master
master
July 1, 2024 09:46 12s
Merge PR #19293: Codeowners: add flake.lock -> nix maintainers GitHub macOS CI #3630: Commit b4b8f68 pushed by SkySkimmer
July 1, 2024 09:46 28m 6s master
master
July 1, 2024 09:46 28m 6s
Merge PR #19293: Codeowners: add flake.lock -> nix maintainers Windows CI #3468: Commit b4b8f68 pushed by SkySkimmer
July 1, 2024 09:46 55m 46s master
master
July 1, 2024 09:46 55m 46s
Stale PRs Stale PRs #738: Scheduled
July 1, 2024 02:36 2s master
master
July 1, 2024 02:36 2s
hconstr avoid rehashconsing leaf terms GitHub macOS CI #3629: Commit 577319a pushed by SkySkimmer
June 29, 2024 10:02 26m 32s typeops-kaboom
typeops-kaboom
June 29, 2024 10:02 26m 32s
hconstr avoid rehashconsing leaf terms Windows CI #3467: Commit 577319a pushed by SkySkimmer
June 29, 2024 10:02 56m 12s typeops-kaboom
typeops-kaboom
June 29, 2024 10:02 56m 12s