Skip to content

Actions: SkySkimmer/coq

Actions

Windows CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-windows.yml
2,155 workflow runs
2,155 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Print Ltac2 Type prints available constructors of open types Windows CI #2258: Commit 253b31b pushed by SkySkimmer
October 16, 2023 13:13 1h 18m 50s ltac2printers
ltac2printers
October 16, 2023 13:13 1h 18m 50s
Nametab.located_extended_nowarn: don't return deprecation info Windows CI #2257: Commit dff16ee pushed by SkySkimmer
October 16, 2023 11:47 1h 12m 27s fresh-depr
fresh-depr
October 16, 2023 11:47 1h 12m 27s
Nametab.located_extended_nowarn: don't return deprecation info Windows CI #2256: Commit e8c4b0a pushed by SkySkimmer
October 16, 2023 11:47 1h 20m 41s fresh-depr
fresh-depr
October 16, 2023 11:47 1h 20m 41s
Ltac1 and Ltac2: don't normalize evars for open_constr:() Windows CI #2255: Commit 2207de7 pushed by SkySkimmer
October 16, 2023 10:58 1h 24m 10s open-constr-no-expand
open-constr-no-expand
October 16, 2023 10:58 1h 24m 10s
Support quotations (genargs) in patterns Windows CI #2254: Commit d1942ac pushed by SkySkimmer
October 16, 2023 10:54 1h 23m 42s pattern-quotations
pattern-quotations
October 16, 2023 10:54 1h 23m 42s
Remove unused nametab for qvars Windows CI #2253: Commit 8bff024 pushed by SkySkimmer
October 16, 2023 10:54 1h 21m 48s sort-poly
sort-poly
October 16, 2023 10:54 1h 21m 48s
doc for Ltac2 Globalize/Check Windows CI #2252: Commit c09b93f pushed by SkySkimmer
October 16, 2023 10:51 1h 9m 16s ltac2printers
ltac2printers
October 16, 2023 10:51 1h 9m 16s
Explain record mutation syntax in ltac2 doc Windows CI #2251: Commit 8c9ccc5 pushed by SkySkimmer
October 16, 2023 10:50 55m 9s ltac2-doc-ctacset
ltac2-doc-ctacset
October 16, 2023 10:50 55m 9s
Merge PR #18095: Extensions to the Ltac2 standard library Windows CI #2250: Commit 49fce3a pushed by SkySkimmer
October 16, 2023 10:13 1h 11m 16s master
master
October 16, 2023 10:13 1h 11m 16s
Ltac2: use preterm in exact / eexact Windows CI #2249: Commit d132302 pushed by SkySkimmer
October 13, 2023 16:00 1h 17m 54s ltac2-exact-preterm
ltac2-exact-preterm
October 13, 2023 16:00 1h 17m 54s
Explain record mutation syntax in ltac2 doc Windows CI #2248: Commit 4d6ade7 pushed by SkySkimmer
October 13, 2023 14:18 1h 0m 0s ltac2-doc-ctacset
ltac2-doc-ctacset
October 13, 2023 14:18 1h 0m 0s
Merge PR #18153: Tiny test fix Windows CI #2247: Commit 4a92268 pushed by SkySkimmer
October 13, 2023 11:47 54m 31s master
master
October 13, 2023 11:47 54m 31s
Merge PR #18150: Fix CODEOWNERS for doc/stdlib. Windows CI #2246: Commit 91ec407 pushed by SkySkimmer
October 12, 2023 10:53 1h 17m 6s master
master
October 12, 2023 10:53 1h 17m 6s
Don't reduce in Class_tactics.make_resolve_hyp Windows CI #2245: Commit 8e9f6b6 pushed by SkySkimmer
October 11, 2023 15:05 1h 31m 39s speed-hott
speed-hott
October 11, 2023 15:05 1h 31m 39s
doc for Ltac2 Globalize/Check Windows CI #2244: Commit 4bb109d pushed by SkySkimmer
October 11, 2023 09:13 1h 8m 55s ltac2printers
ltac2printers
October 11, 2023 09:13 1h 8m 55s
Apply suggestions from code review Windows CI #2243: Commit cc8130e pushed by SkySkimmer
October 11, 2023 09:10 1h 23m 6s ltac2printers
ltac2printers
October 11, 2023 09:10 1h 23m 6s
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
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
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 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
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 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
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
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
Windows CI Windows CI #2234: by SkySkimmer
October 9, 2023 14:26 1h 14m 25s ltac2printers
ltac2printers
October 9, 2023 14:26 1h 14m 25s
ProTip! You can narrow down the results and go further in time using created:<2023-10-09 or the other filters available.