Skip to content

Actions: SkySkimmer/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,973 workflow run results
3,973 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

hconstr don't use push_unknown_rel for matches Check conflicts #5459: Commit f612807 pushed by SkySkimmer
July 26, 2024 12:21 14s hconstr-case-binders
hconstr-case-binders
July 26, 2024 12:21 14s
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 Check conflicts #5458: Commit 4448d0a pushed by SkySkimmer
July 26, 2024 08:27 22s rec-analysis
rec-analysis
July 26, 2024 08:27 22s
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
comment about possible alternate format Windows CI #3650: Commit 4448d0a pushed by SkySkimmer
July 26, 2024 08:27 55m 42s rec-analysis
rec-analysis
July 26, 2024 08:27 55m 42s
Delay kind_to_constr computation in hconstr Windows CI #3649: Commit 66cfb9f pushed by SkySkimmer
July 26, 2024 06:44 56m 22s hconstr-delay
hconstr-delay
July 26, 2024 06:44 56m 22s
Delay kind_to_constr computation in hconstr Check conflicts #5457: Commit 66cfb9f pushed by SkySkimmer
July 26, 2024 06:44 11s hconstr-delay
hconstr-delay
July 26, 2024 06:44 11s
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
Stale PRs Stale PRs #757: Scheduled
July 26, 2024 02:32 2s master
master
July 26, 2024 02:32 2s
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
add comment about skipping norec Windows CI #3648: Commit db75506 pushed by SkySkimmer
July 25, 2024 19:53 50m 11s rec-analysis
rec-analysis
July 25, 2024 19:53 50m 11s
add comment about skipping norec Check conflicts #5456: Commit db75506 pushed by SkySkimmer
July 25, 2024 19:53 10s rec-analysis
rec-analysis
July 25, 2024 19:53 10s
todo analyse_write_int and translation to ocaml value Windows CI #3647: Commit 68f996a pushed by SkySkimmer
July 25, 2024 16:02 44m 34s rec-analysis
rec-analysis
July 25, 2024 16:02 44m 34s
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
todo analyse_write_int and translation to ocaml value Check conflicts #5455: Commit 68f996a pushed by SkySkimmer
July 25, 2024 16:02 12s rec-analysis
rec-analysis
July 25, 2024 16:02 12s
"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
"make world" and dune default target don't build coqide Check conflicts #5454: Commit 58ef1af pushed by SkySkimmer
July 25, 2024 11:45 13s make-world-coqide
make-world-coqide
July 25, 2024 11:45 13s
"make world" and dune default target don't build coqide Windows CI #3646: Commit 58ef1af pushed by SkySkimmer
July 25, 2024 11:45 34m 41s make-world-coqide
make-world-coqide
July 25, 2024 11:45 34m 41s
factorize univs_of_constr code between constr and econstr Check conflicts #5453: Commit f0afb48 pushed by SkySkimmer
July 25, 2024 11:41 13s univs-of-constr
univs-of-constr
July 25, 2024 11:41 13s
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
factorize univs_of_constr code between constr and econstr Windows CI #3645: Commit f0afb48 pushed by SkySkimmer
July 25, 2024 11:41 40m 22s univs-of-constr
univs-of-constr
July 25, 2024 11:41 40m 22s
more dbg Windows CI #3644: Commit 37a11bc pushed by SkySkimmer
July 25, 2024 09:48 33m 56s hconstr-marshal
hconstr-marshal
July 25, 2024 09:48 33m 56s
more dbg Check conflicts #5452: Commit 37a11bc pushed by SkySkimmer
July 25, 2024 09:48 11s hconstr-marshal
hconstr-marshal
July 25, 2024 09:48 11s
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