Skip to content

Actions: coq/coq

Actions

All workflows

Actions

Loading...

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

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Merge PR #19006: Deprecate non-reference hints in using clauses of au… Windows CI #10304: Commit 56cee8e pushed by coqbot-app bot
May 13, 2024 14:57 43m 17s master
master
May 13, 2024 14:57 43m 17s
Merge PR #19006: Deprecate non-reference hints in using clauses of au… Check conflicts #3535: Commit 56cee8e pushed by coqbot-app bot
May 13, 2024 14:57 4m 18s master
master
May 13, 2024 14:57 4m 18s
Merge PR #19006: Deprecate non-reference hints in using clauses of au… GitHub macOS CI #10977: Commit 56cee8e pushed by coqbot-app bot
May 13, 2024 14:57 32m 55s master
master
May 13, 2024 14:57 32m 55s
Making Theorem with more flexible + code cleanup Windows CI #10303: Pull request #18743 synchronize by herbelin
May 13, 2024 14:53 1h 28m 22s herbelin:master+more-flexible-theorem-with
herbelin:master+more-flexible-theorem-with
May 13, 2024 14:53 1h 28m 22s
Making Theorem with more flexible + code cleanup GitHub macOS CI #10976: Pull request #18743 synchronize by herbelin
May 13, 2024 14:53 28m 29s herbelin:master+more-flexible-theorem-with
herbelin:master+more-flexible-theorem-with
May 13, 2024 14:53 28m 29s
Add convenience API Sorts.make taking quality and universe Windows CI #10302: Pull request #19019 opened by SkySkimmer
May 13, 2024 14:30 1h 19m 39s SkySkimmer:sorts-make
SkySkimmer:sorts-make
May 13, 2024 14:30 1h 19m 39s
Add convenience API Sorts.make taking quality and universe GitHub macOS CI #10975: Pull request #19019 opened by SkySkimmer
May 13, 2024 14:30 34m 55s SkySkimmer:sorts-make
SkySkimmer:sorts-make
May 13, 2024 14:30 34m 55s
Backport PR #18469: Delay the lookup of csdp until the tool is actual… Windows CI #10301: Commit ca44371 pushed by SkySkimmer
May 13, 2024 13:45 1h 19m 8s v8.19
v8.19
May 13, 2024 13:45 1h 19m 8s
Backport PR #18469: Delay the lookup of csdp until the tool is actual… GitHub macOS CI #10974: Commit ca44371 pushed by SkySkimmer
May 13, 2024 13:45 36m 39s v8.19
v8.19
May 13, 2024 13:45 36m 39s
Backport PR #18469: Delay the lookup of csdp until the tool is actual… Check conflicts #3534: Commit ca44371 pushed by SkySkimmer
May 13, 2024 13:45 2m 12s v8.19
v8.19
May 13, 2024 13:45 2m 12s
Bench: print size diff in vosize.log GitHub macOS CI #10973: Pull request #19018 synchronize by SkySkimmer
May 13, 2024 13:41 32m 42s SkySkimmer:format-vosize
SkySkimmer:format-vosize
May 13, 2024 13:41 32m 42s
Bench: print size diff in vosize.log Windows CI #10300: Pull request #19018 synchronize by SkySkimmer
May 13, 2024 13:41 1h 5m 28s SkySkimmer:format-vosize
SkySkimmer:format-vosize
May 13, 2024 13:41 1h 5m 28s
Return canonical instance from basic declare.ml APIs + use to fix Program bug Windows CI #10299: Pull request #18931 synchronize by SkySkimmer
May 13, 2024 13:39 57m 15s SkySkimmer:declare-hook-instance
SkySkimmer:declare-hook-instance
May 13, 2024 13:39 57m 15s
Return canonical instance from basic declare.ml APIs + use to fix Program bug GitHub macOS CI #10972: Pull request #18931 synchronize by SkySkimmer
May 13, 2024 13:39 36m 10s SkySkimmer:declare-hook-instance
SkySkimmer:declare-hook-instance
May 13, 2024 13:39 36m 10s
Bench: print size diff in vosize.log Windows CI #10298: Pull request #19018 synchronize by SkySkimmer
May 13, 2024 13:18 1h 2m 6s SkySkimmer:format-vosize
SkySkimmer:format-vosize
May 13, 2024 13:18 1h 2m 6s
Bench: print size diff in vosize.log GitHub macOS CI #10971: Pull request #19018 synchronize by SkySkimmer
May 13, 2024 13:18 31m 31s SkySkimmer:format-vosize
SkySkimmer:format-vosize
May 13, 2024 13:18 31m 31s
Merge PR #18996: Remove the tag branch information from case_info. Windows CI #10297: Commit 5686beb pushed by coqbot-app bot
May 13, 2024 13:11 47m 19s master
master
May 13, 2024 13:11 47m 19s
Merge PR #18996: Remove the tag branch information from case_info. Check conflicts #3533: Commit 5686beb pushed by coqbot-app bot
May 13, 2024 13:11 4m 17s master
master
May 13, 2024 13:11 4m 17s
Merge PR #18996: Remove the tag branch information from case_info. GitHub macOS CI #10970: Commit 5686beb pushed by coqbot-app bot
May 13, 2024 13:11 37m 46s master
master
May 13, 2024 13:11 37m 46s
Algebraic universes and new solving algorithm Windows CI #10296: Pull request #18903 synchronize by mattam82
May 13, 2024 13:08 38m 1s mattam82:universes-clauses
mattam82:universes-clauses
May 13, 2024 13:08 38m 1s
Algebraic universes and new solving algorithm GitHub macOS CI #10969: Pull request #18903 synchronize by mattam82
May 13, 2024 13:08 38m 51s mattam82:universes-clauses
mattam82:universes-clauses
May 13, 2024 13:08 38m 51s
Bench: print size diff in vosize.log GitHub macOS CI #10968: Pull request #19018 synchronize by SkySkimmer
May 13, 2024 13:05 32m 8s SkySkimmer:format-vosize
SkySkimmer:format-vosize
May 13, 2024 13:05 32m 8s
Bench: print size diff in vosize.log Windows CI #10295: Pull request #19018 synchronize by SkySkimmer
May 13, 2024 13:05 52m 6s SkySkimmer:format-vosize
SkySkimmer:format-vosize
May 13, 2024 13:05 52m 6s
Bench: print size diff in vosize.log GitHub macOS CI #10967: Pull request #19018 opened by SkySkimmer
May 13, 2024 13:03 30m 37s SkySkimmer:format-vosize
SkySkimmer:format-vosize
May 13, 2024 13:03 30m 37s
Bench: print size diff in vosize.log Windows CI #10294: Pull request #19018 opened by SkySkimmer
May 13, 2024 13:03 46m 4s SkySkimmer:format-vosize
SkySkimmer:format-vosize
May 13, 2024 13:03 46m 4s