Skip to content

Actions: SkySkimmer/coq

Actions

GitHub macOS CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-macos.yml
2,203 workflow runs
2,203 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support quotations (genargs) in patterns GitHub macOS CI #2416: Commit d1942ac pushed by SkySkimmer
October 16, 2023 10:54 35m 48s pattern-quotations
pattern-quotations
October 16, 2023 10:54 35m 48s
Remove unused nametab for qvars GitHub macOS CI #2415: Commit 8bff024 pushed by SkySkimmer
October 16, 2023 10:54 37m 21s sort-poly
sort-poly
October 16, 2023 10:54 37m 21s
doc for Ltac2 Globalize/Check GitHub macOS CI #2414: Commit c09b93f pushed by SkySkimmer
October 16, 2023 10:51 34m 31s ltac2printers
ltac2printers
October 16, 2023 10:51 34m 31s
Explain record mutation syntax in ltac2 doc GitHub macOS CI #2413: Commit 8c9ccc5 pushed by SkySkimmer
October 16, 2023 10:50 40m 32s ltac2-doc-ctacset
ltac2-doc-ctacset
October 16, 2023 10:50 40m 32s
Merge PR #18095: Extensions to the Ltac2 standard library GitHub macOS CI #2412: Commit 49fce3a pushed by SkySkimmer
October 16, 2023 10:13 36m 41s master
master
October 16, 2023 10:13 36m 41s
Ltac2: use preterm in exact / eexact GitHub macOS CI #2411: Commit d132302 pushed by SkySkimmer
October 13, 2023 16:00 35m 20s ltac2-exact-preterm
ltac2-exact-preterm
October 13, 2023 16:00 35m 20s
Explain record mutation syntax in ltac2 doc GitHub macOS CI #2410: Commit 4d6ade7 pushed by SkySkimmer
October 13, 2023 14:18 38m 0s ltac2-doc-ctacset
ltac2-doc-ctacset
October 13, 2023 14:18 38m 0s
Merge PR #18153: Tiny test fix GitHub macOS CI #2409: Commit 4a92268 pushed by SkySkimmer
October 13, 2023 11:47 39m 8s master
master
October 13, 2023 11:47 39m 8s
Merge PR #18150: Fix CODEOWNERS for doc/stdlib. GitHub macOS CI #2408: Commit 91ec407 pushed by SkySkimmer
October 12, 2023 10:53 34m 16s master
master
October 12, 2023 10:53 34m 16s
Don't reduce in Class_tactics.make_resolve_hyp GitHub macOS CI #2407: Commit 8e9f6b6 pushed by SkySkimmer
October 11, 2023 15:05 40m 3s speed-hott
speed-hott
October 11, 2023 15:05 40m 3s
doc for Ltac2 Globalize/Check GitHub macOS CI #2406: Commit 4bb109d pushed by SkySkimmer
October 11, 2023 09:13 34m 50s ltac2printers
ltac2printers
October 11, 2023 09:13 34m 50s
Apply suggestions from code review GitHub macOS CI #2405: Commit cc8130e pushed by SkySkimmer
October 11, 2023 09:10 37m 35s ltac2printers
ltac2printers
October 11, 2023 09:10 37m 35s
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
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:() 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:() 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
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
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
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
GitHub macOS CI GitHub macOS CI #2396: by SkySkimmer
October 9, 2023 14:26 34m 44s ltac2printers
ltac2printers
October 9, 2023 14:26 34m 44s
GitHub macOS CI GitHub macOS CI #2395: by SkySkimmer
October 9, 2023 14:03 36m 12s ltac2printers
ltac2printers
October 9, 2023 14:03 36m 12s
Merge PR #18091: Ltac2: expose constructor -> inductive and construct… GitHub macOS CI #2394: Commit dee9207 pushed by SkySkimmer
October 9, 2023 10:40 34m 2s master
master
October 9, 2023 10:40 34m 2s
kernel conversion: universe on array literals is irrelevant GitHub macOS CI #2393: Commit dea2714 pushed by SkySkimmer
October 5, 2023 14:40 36m 11s array-cumul
array-cumul
October 5, 2023 14:40 36m 11s
kernel conversion: universe on array literals is irrelevant GitHub macOS CI #2392: Commit 156ba64 pushed by SkySkimmer
October 5, 2023 14:40 34m 49s array-cumul
array-cumul
October 5, 2023 14:40 34m 49s
ProTip! You can narrow down the results and go further in time using created:<2023-10-05 or the other filters available.