Skip to content

Actions: coq/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13,212 workflow runs
13,212 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge PR #20307: Add some debug printers Check conflicts #4377: Commit e077df7 pushed by coqbot-app bot
February 27, 2025 16:05 2m 16s master
master
February 27, 2025 16:05 2m 16s
Merge PR #20307: Add some debug printers Windows CI #14363: Commit e077df7 pushed by coqbot-app bot
February 27, 2025 16:05 56m 9s master
master
February 27, 2025 16:05 56m 9s
Merge PR #20307: Add some debug printers GitHub macOS CI #15036: Commit e077df7 pushed by coqbot-app bot
February 27, 2025 16:05 21m 0s master
master
February 27, 2025 16:05 21m 0s
Merge PR #20220: Ltac2 Fresh.Free using Nameops.Fresh, add convenienc… Windows CI #14362: Commit 6b04ba4 pushed by coqbot-app bot
February 27, 2025 16:03 47m 17s master
master
February 27, 2025 16:03 47m 17s
Merge PR #20220: Ltac2 Fresh.Free using Nameops.Fresh, add convenienc… Check conflicts #4376: Commit 6b04ba4 pushed by coqbot-app bot
February 27, 2025 16:03 4m 17s master
master
February 27, 2025 16:03 4m 17s
Merge PR #20220: Ltac2 Fresh.Free using Nameops.Fresh, add convenienc… GitHub macOS CI #15035: Commit 6b04ba4 pushed by coqbot-app bot
February 27, 2025 16:03 19m 23s master
master
February 27, 2025 16:03 19m 23s
Merge PR #20283: timelog2html include memory info Check conflicts #4375: Commit 6a8e7d8 pushed by coqbot-app bot
February 27, 2025 16:00 2m 12s master
master
February 27, 2025 16:00 2m 12s
Merge PR #20283: timelog2html include memory info Windows CI #14361: Commit 6a8e7d8 pushed by coqbot-app bot
February 27, 2025 16:00 53m 47s master
master
February 27, 2025 16:00 53m 47s
Merge PR #20283: timelog2html include memory info GitHub macOS CI #15034: Commit 6a8e7d8 pushed by coqbot-app bot
February 27, 2025 16:00 21m 19s master
master
February 27, 2025 16:00 21m 19s
Merge PR #20300: [CI] Update point of contact for paramcoq GitHub macOS CI #15033: Commit 4b43e7c pushed by coqbot-app bot
February 27, 2025 15:59 22m 10s master
master
February 27, 2025 15:59 22m 10s
Merge PR #20300: [CI] Update point of contact for paramcoq Windows CI #14360: Commit 4b43e7c pushed by coqbot-app bot
February 27, 2025 15:59 1h 4m 45s master
master
February 27, 2025 15:59 1h 4m 45s
Merge PR #20300: [CI] Update point of contact for paramcoq Check conflicts #4374: Commit 4b43e7c pushed by coqbot-app bot
February 27, 2025 15:59 2m 12s master
master
February 27, 2025 15:59 2m 12s
Induction schemes refresh template universes GitHub macOS CI #15032: Pull request #20303 synchronize by SkySkimmer
February 27, 2025 14:56 23m 32s SkySkimmer:templ-scheme
SkySkimmer:templ-scheme
February 27, 2025 14:56 23m 32s
Induction schemes refresh template universes Windows CI #14359: Pull request #20303 synchronize by SkySkimmer
February 27, 2025 14:56 1h 3m 49s SkySkimmer:templ-scheme
SkySkimmer:templ-scheme
February 27, 2025 14:56 1h 3m 49s
Monomorphic Program declare main constant universes early Windows CI #14358: Pull request #20310 opened by SkySkimmer
February 27, 2025 14:55 46m 51s SkySkimmer:fix-obl-univs
SkySkimmer:fix-obl-univs
February 27, 2025 14:55 46m 51s
Monomorphic Program declare main constant universes early GitHub macOS CI #15031: Pull request #20310 opened by SkySkimmer
February 27, 2025 14:55 24m 41s SkySkimmer:fix-obl-univs
SkySkimmer:fix-obl-univs
February 27, 2025 14:55 24m 41s
Canonicalize projections in the dnet Windows CI #14357: Pull request #20309 opened by Janno
February 27, 2025 14:53 1h 3m 53s Janno:janno/dnet-canonicalize-proj
Janno:janno/dnet-canonicalize-proj
February 27, 2025 14:53 1h 3m 53s
Canonicalize projections in the dnet GitHub macOS CI #15030: Pull request #20309 opened by Janno
February 27, 2025 14:53 24m 40s Janno:janno/dnet-canonicalize-proj
Janno:janno/dnet-canonicalize-proj
February 27, 2025 14:53 24m 40s
Changes for 9.0, with porting instructions and renaming advice GitHub macOS CI #15029: Pull request #20168 synchronize by mattam82
February 27, 2025 13:31 29m 58s mattam82:rocq-9.0-changes
mattam82:rocq-9.0-changes
February 27, 2025 13:31 29m 58s
Changes for 9.0, with porting instructions and renaming advice Windows CI #14356: Pull request #20168 synchronize by mattam82
February 27, 2025 13:31 1h 5m 14s mattam82:rocq-9.0-changes
mattam82:rocq-9.0-changes
February 27, 2025 13:31 1h 5m 14s
Changes for 9.0, with porting instructions and renaming advice GitHub macOS CI #15028: Pull request #20168 synchronize by mattam82
February 27, 2025 13:27 22m 28s mattam82:rocq-9.0-changes
mattam82:rocq-9.0-changes
February 27, 2025 13:27 22m 28s
Changes for 9.0, with porting instructions and renaming advice Windows CI #14355: Pull request #20168 synchronize by mattam82
February 27, 2025 13:27 47m 40s mattam82:rocq-9.0-changes
mattam82:rocq-9.0-changes
February 27, 2025 13:27 47m 40s
Add some debug printers GitHub macOS CI #15027: Pull request #20307 opened by SkySkimmer
February 27, 2025 12:51 25m 22s SkySkimmer:more-dbg
SkySkimmer:more-dbg
February 27, 2025 12:51 25m 22s
Add some debug printers Windows CI #14354: Pull request #20307 opened by SkySkimmer
February 27, 2025 12:51 1h 15m 14s SkySkimmer:more-dbg
SkySkimmer:more-dbg
February 27, 2025 12:51 1h 15m 14s
Merge PR #20284: Debug "unification" add "Starting"/"Leaving" messages Check conflicts #4373: Commit b81510e pushed by coqbot-app bot
February 27, 2025 10:46 2m 16s master
master
February 27, 2025 10:46 2m 16s