Skip to content

Actions: SkySkimmer/coq

Actions

GitHub macOS CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-macos.yml
1,373 workflow run results
1,373 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

more debug GitHub macOS CI #3821: Commit fbb5022 pushed by SkySkimmer
July 26, 2024 16:08 11m 19s rec-analysis
rec-analysis
July 26, 2024 16:08 11m 19s
store unbound rels data in hconstr GitHub macOS CI #3820: Commit f58515e pushed by SkySkimmer
July 26, 2024 14:31 26m 44s rec-analysis
rec-analysis
July 26, 2024 14:31 26m 44s
store unbound rels data in hconstr GitHub macOS CI #3819: Commit d35d628 pushed by SkySkimmer
July 26, 2024 14:04 28m 20s rec-analysis
rec-analysis
July 26, 2024 14:04 28m 20s
Coqrecanalyser GitHub macOS CI #3818: Commit 6d5337f pushed by SkySkimmer
July 26, 2024 13:06 28m 21s rec-analysis
rec-analysis
July 26, 2024 13:06 28m 21s
Coqrecanalyser GitHub macOS CI #3817: Commit b56d50e pushed by SkySkimmer
July 26, 2024 13:05 31m 20s rec-analysis
rec-analysis
July 26, 2024 13:05 31m 20s
fix stack overflows GitHub macOS CI #3816: Commit fa6f0c2 pushed by SkySkimmer
July 26, 2024 13:03 25m 50s rec-analysis
rec-analysis
July 26, 2024 13:03 25m 50s
hconstr don't use push_unknown_rel for matches GitHub macOS CI #3815: Commit 6519bec pushed by SkySkimmer
July 26, 2024 13:02 28m 43s hconstr-case-binders
hconstr-case-binders
July 26, 2024 13:02 28m 43s
Merge PR #19419: Faster coherence check when adding coercions. GitHub macOS CI #3814: Commit 993b6be pushed by SkySkimmer
July 26, 2024 12:31 28m 57s master
master
July 26, 2024 12:31 28m 57s
hconstr don't use push_unknown_rel for matches GitHub macOS CI #3813: Commit f612807 pushed by SkySkimmer
July 26, 2024 12:21 30m 17s hconstr-case-binders
hconstr-case-binders
July 26, 2024 12:21 30m 17s
comment about possible alternate format GitHub macOS CI #3812: Commit 4448d0a pushed by SkySkimmer
July 26, 2024 08:27 26m 17s rec-analysis
rec-analysis
July 26, 2024 08:27 26m 17s
Delay kind_to_constr computation in hconstr GitHub macOS CI #3811: Commit 66cfb9f pushed by SkySkimmer
July 26, 2024 06:44 27m 19s hconstr-delay
hconstr-delay
July 26, 2024 06:44 27m 19s
add comment about skipping norec GitHub macOS CI #3810: Commit db75506 pushed by SkySkimmer
July 25, 2024 19:53 27m 4s rec-analysis
rec-analysis
July 25, 2024 19:53 27m 4s
todo analyse_write_int and translation to ocaml value GitHub macOS CI #3809: Commit 68f996a pushed by SkySkimmer
July 25, 2024 16:02 9m 46s rec-analysis
rec-analysis
July 25, 2024 16:02 9m 46s
"make world" and dune default target don't build coqide GitHub macOS CI #3808: Commit 58ef1af pushed by SkySkimmer
July 25, 2024 11:45 26m 3s make-world-coqide
make-world-coqide
July 25, 2024 11:45 26m 3s
factorize univs_of_constr code between constr and econstr GitHub macOS CI #3807: Commit f0afb48 pushed by SkySkimmer
July 25, 2024 11:41 32m 0s univs-of-constr
univs-of-constr
July 25, 2024 11:41 32m 0s
more dbg GitHub macOS CI #3806: Commit 37a11bc pushed by SkySkimmer
July 25, 2024 09:48 27m 56s hconstr-marshal
hconstr-marshal
July 25, 2024 09:48 27m 56s
debugs GitHub macOS CI #3805: Commit d374b3d pushed by SkySkimmer
July 25, 2024 07:42 28m 53s hconstr-marshal
hconstr-marshal
July 25, 2024 07:42 28m 53s
debugs GitHub macOS CI #3804: Commit 23ba1a5 pushed by SkySkimmer
July 25, 2024 07:38 30m 37s hconstr-marshal
hconstr-marshal
July 25, 2024 07:38 30m 37s
more precise profiles GitHub macOS CI #3803: Commit e497538 pushed by SkySkimmer
July 25, 2024 07:10 25m 48s hconstr-marshal
hconstr-marshal
July 25, 2024 07:10 25m 48s
sublnear getting of cached stuff GitHub macOS CI #3802: Commit 359b3c5 pushed by SkySkimmer
July 24, 2024 20:12 29m 24s hconstr-marshal
hconstr-marshal
July 24, 2024 20:12 29m 24s
use constrsharing in hconstr GitHub macOS CI #3801: Commit b2da92c pushed by SkySkimmer
July 24, 2024 16:23 27m 30s hconstr-marshal
hconstr-marshal
July 24, 2024 16:23 27m 30s
per evar cache of expansion results in to_constr GitHub macOS CI #3800: Commit 0ac083a pushed by SkySkimmer
July 24, 2024 16:15 31m 30s hquick
hquick
July 24, 2024 16:15 31m 30s
Merge PR #19384: Cleanup UState universe demoting APIs GitHub macOS CI #3799: Commit 3c6940b pushed by SkySkimmer
July 24, 2024 13:42 27m 11s master
master
July 24, 2024 13:42 27m 11s
"make world" and dune default target don't build coqide GitHub macOS CI #3798: Commit 6752d5b pushed by SkySkimmer
July 24, 2024 12:48 26m 4s make-world-coqide
make-world-coqide
July 24, 2024 12:48 26m 4s
"make world" and dune default target don't build coqide GitHub macOS CI #3797: Commit bd1a180 pushed by SkySkimmer
July 24, 2024 12:47 26m 19s make-world-coqide
make-world-coqide
July 24, 2024 12:47 26m 19s