Skip to content

Actions: SkySkimmer/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
82 workflow run results
82 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Don't reduce in Class_tactics.make_resolve_hyp Windows CI #2242: Commit 9787bab pushed by SkySkimmer
October 10, 2023 16:08 1h 5m 50s speed-hott
speed-hott
October 10, 2023 16:08 1h 5m 50s
Don't reduce in Class_tactics.make_resolve_hyp GitHub macOS CI #2404: Commit 9787bab pushed by SkySkimmer
October 10, 2023 16:08 36m 8s speed-hott
speed-hott
October 10, 2023 16:08 36m 8s
Don't reduce in Class_tactics.make_resolve_hyp Check conflicts #4050: Commit 9787bab pushed by SkySkimmer
October 10, 2023 16:08 13s speed-hott
speed-hott
October 10, 2023 16:08 13s
Merge PR #18112: Bench: export TIMED=1 (enable coq_makefile per file … Windows CI #2241: Commit b28824b pushed by SkySkimmer
October 10, 2023 13:00 1h 20m 28s master
master
October 10, 2023 13:00 1h 20m 28s
Merge PR #18112: Bench: export TIMED=1 (enable coq_makefile per file … Check conflicts #4049: Commit b28824b pushed by SkySkimmer
October 10, 2023 13:00 16s master
master
October 10, 2023 13:00 16s
Merge PR #18112: Bench: export TIMED=1 (enable coq_makefile per file … GitHub macOS CI #2403: Commit b28824b pushed by SkySkimmer
October 10, 2023 13:00 35m 29s master
master
October 10, 2023 13:00 35m 29s
Ltac1 and Ltac2: don't normalize evars for constr:() and open_constr:() Check conflicts #4048: Commit 669dc74 pushed by SkySkimmer
October 10, 2023 12:54 11s tacinterp-constr-no-expand-evars
tacinterp-constr-no-expand-evars
October 10, 2023 12:54 11s
Ltac1 and Ltac2: don't normalize evars for constr:() and open_constr:() Windows CI #2240: Commit 669dc74 pushed by SkySkimmer
October 10, 2023 12:54 1h 11m 33s tacinterp-constr-no-expand-evars
tacinterp-constr-no-expand-evars
October 10, 2023 12:54 1h 11m 33s
Ltac1 and Ltac2: don't normalize evars for constr:() and open_constr:() GitHub macOS CI #2402: Commit 669dc74 pushed by SkySkimmer
October 10, 2023 12:54 33m 24s tacinterp-constr-no-expand-evars
tacinterp-constr-no-expand-evars
October 10, 2023 12:54 33m 24s
Ltac1 and Ltac2: don't normalize evars for open_constr:() Windows CI #2239: Commit 03b92d9 pushed by SkySkimmer
October 10, 2023 12:53 1h 23m 41s open-constr-no-expand
open-constr-no-expand
October 10, 2023 12:53 1h 23m 41s
Ltac1 and Ltac2: don't normalize evars for open_constr:() Check conflicts #4047: Commit 03b92d9 pushed by SkySkimmer
October 10, 2023 12:53 12s open-constr-no-expand
open-constr-no-expand
October 10, 2023 12:53 12s
Ltac1 and Ltac2: don't normalize evars for open_constr:() GitHub macOS CI #2401: Commit 03b92d9 pushed by SkySkimmer
October 10, 2023 12:53 36m 37s open-constr-no-expand
open-constr-no-expand
October 10, 2023 12:53 36m 37s
Merge PR #18129: kernel conversion: universe on array literals is irr… GitHub macOS CI #2400: Commit 179fbdd pushed by SkySkimmer
October 10, 2023 12:53 40m 33s master
master
October 10, 2023 12:53 40m 33s
Merge PR #18129: kernel conversion: universe on array literals is irr… Check conflicts #4046: Commit 179fbdd pushed by SkySkimmer
October 10, 2023 12:53 17s master
master
October 10, 2023 12:53 17s
Merge PR #18129: kernel conversion: universe on array literals is irr… Windows CI #2238: Commit 179fbdd pushed by SkySkimmer
October 10, 2023 12:53 1h 27m 4s master
master
October 10, 2023 12:53 1h 27m 4s
Debug printing for relevance marks Check conflicts #4045: Commit cd4812d pushed by SkySkimmer
October 10, 2023 12:15 12s print-relevance
print-relevance
October 10, 2023 12:15 12s
Debug printing for relevance marks Windows CI #2237: Commit cd4812d pushed by SkySkimmer
October 10, 2023 12:15 1h 19m 38s print-relevance
print-relevance
October 10, 2023 12:15 1h 19m 38s
Debug printing for relevance marks GitHub macOS CI #2399: Commit cd4812d pushed by SkySkimmer
October 10, 2023 12:15 33m 47s print-relevance
print-relevance
October 10, 2023 12:15 33m 47s
Stale PRs Stale PRs #549: Scheduled
October 10, 2023 02:18 2s master
master
October 10, 2023 02:18 2s
GitHub macOS CI GitHub macOS CI #2398: by SkySkimmer
October 9, 2023 14:33 35m 34s ltac2printers
ltac2printers
October 9, 2023 14:33 35m 34s
Windows CI Windows CI #2236: by SkySkimmer
October 9, 2023 14:33 1h 22m 34s ltac2printers
ltac2printers
October 9, 2023 14:33 1h 22m 34s
Check conflicts Check conflicts #4044: by SkySkimmer
October 9, 2023 14:33 13s ltac2printers
ltac2printers
October 9, 2023 14:33 13s
Windows CI Windows CI #2235: by SkySkimmer
October 9, 2023 14:27 1h 24m 8s ltac2printers
ltac2printers
October 9, 2023 14:27 1h 24m 8s
Check conflicts Check conflicts #4043: by SkySkimmer
October 9, 2023 14:27 17s ltac2printers
ltac2printers
October 9, 2023 14:27 17s
GitHub macOS CI GitHub macOS CI #2397: by SkySkimmer
October 9, 2023 14:27 34m 49s ltac2printers
ltac2printers
October 9, 2023 14:27 34m 49s