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

Stop using assumption in replace by tac GitHub macOS CI #2266: Commit 5e84932 pushed by SkySkimmer
September 8, 2023 09:57 33m 48s replace-assum
replace-assum
September 8, 2023 09:57 33m 48s
Stop using assumption in replace by tac GitHub macOS CI #2265: Commit 631a885 pushed by SkySkimmer
September 8, 2023 09:47 45m 16s replace-assum
replace-assum
September 8, 2023 09:47 45m 16s
Make all Invalid_argument critical (not just equal: functional value) GitHub macOS CI #2264: Commit 3e44e21 pushed by SkySkimmer
September 8, 2023 09:17 39m 27s invalid-arg
invalid-arg
September 8, 2023 09:17 39m 27s
Merge PR #18015: Don't use invalid_argument in Rewrite.decomp_pointwise GitHub macOS CI #2263: Commit 71d1874 pushed by SkySkimmer
September 8, 2023 09:17 43m 57s master
master
September 8, 2023 09:17 43m 57s
Add test for #16880 GitHub macOS CI #2262: Commit 64b667b pushed by SkySkimmer
September 7, 2023 14:13 37m 55s test-16880
test-16880
September 7, 2023 14:13 37m 55s
sort poly (not for inductive output type) GitHub macOS CI #2261: Commit 84610b8 pushed by SkySkimmer
September 7, 2023 13:27 39m 30s sort-poly
sort-poly
September 7, 2023 13:27 39m 30s
sort poly (not for inductive output type) GitHub macOS CI #2260: Commit 8a072b5 pushed by SkySkimmer
September 7, 2023 12:49 37m 50s sort-poly
sort-poly
September 7, 2023 12:49 37m 50s
Merge PR #17926: Pass bound universes directly as an instance in the VM. GitHub macOS CI #2259: Commit c4b4e02 pushed by SkySkimmer
September 7, 2023 11:22 42m 9s master
master
September 7, 2023 11:22 42m 9s
sort poly (not for inductive output type) GitHub macOS CI #2258: Commit f456cbd pushed by SkySkimmer
September 6, 2023 14:37 38m 38s sort-poly
sort-poly
September 6, 2023 14:37 38m 38s
Merge PR #18001: Make changelog items uniformly without a period befo… GitHub macOS CI #2257: Commit 8cec8c9 pushed by SkySkimmer
September 6, 2023 14:13 39m 12s master
master
September 6, 2023 14:13 39m 12s
Add head reduction flags (lazy head beta etc) GitHub macOS CI #2256: Commit b8ef115 pushed by SkySkimmer
September 6, 2023 13:39 40m 25s redexpr
redexpr
September 6, 2023 13:39 40m 25s
Always declare internal schemes univ poly GitHub macOS CI #2255: Commit 87068b4 pushed by SkySkimmer
September 6, 2023 13:36 39m 11s upoly-schemew
upoly-schemew
September 6, 2023 13:36 39m 11s
resolve_tc c solves typeclasses appearing in c GitHub macOS CI #2254: Commit a6b993f pushed by SkySkimmer
September 6, 2023 12:58 38m 38s resolve-tc-in-term
resolve-tc-in-term
September 6, 2023 12:58 38m 38s
"rewrite_strat strat with db" syntax GitHub macOS CI #2253: Commit 8069a9b pushed by SkySkimmer
September 6, 2023 12:40 36m 52s rw-control-db
rw-control-db
September 6, 2023 12:40 36m 52s
Make all Invalid_argument critical (not just equal: functional value) GitHub macOS CI #2252: Commit 92a1f20 pushed by SkySkimmer
September 6, 2023 12:38 37m 37s invalid-arg
invalid-arg
September 6, 2023 12:38 37m 37s
Don't use invalid_argument in Rewrite.decomp_pointwise GitHub macOS CI #2251: Commit 0fd0bca pushed by SkySkimmer
September 6, 2023 12:12 38m 40s decomp-pointwise
decomp-pointwise
September 6, 2023 12:12 38m 40s
Stop using assumption in replace by tac GitHub macOS CI #2250: Commit cce99da pushed by SkySkimmer
September 6, 2023 11:41 40m 57s replace-assum
replace-assum
September 6, 2023 11:41 40m 57s
Move typed_vernac to its own file from vernacextend GitHub macOS CI #2249: Commit 349ed92 pushed by SkySkimmer
September 6, 2023 11:29 40m 52s vernactypes
vernactypes
September 6, 2023 11:29 40m 52s
Merge PR #17777: Expose [Evarconv.unify] as an Ltac2 primitive. GitHub macOS CI #2248: Commit afaecfd pushed by SkySkimmer
September 6, 2023 11:27 40m 7s master
master
September 6, 2023 11:27 40m 7s
Merge PR #17997: [release] minimalistic changes for 8.18 GitHub macOS CI #2247: Commit 9192de5 pushed by SkySkimmer
September 5, 2023 14:52 38m 25s master
master
September 5, 2023 14:52 38m 25s
Fix #[warnings] attribute in synterp phase GitHub macOS CI #2246: Commit fb0d003 pushed by SkySkimmer
September 5, 2023 14:02 38m 14s warn-synterp
warn-synterp
September 5, 2023 14:02 38m 14s
Overlays for #18010 (monomorphized vernac_expr) GitHub macOS CI #2245: Commit 067b1b4 pushed by SkySkimmer
September 5, 2023 12:34 37m 40s warn-synterp
warn-synterp
September 5, 2023 12:34 37m 40s
Only parse generic attributes once GitHub macOS CI #2244: Commit cc04b32 pushed by SkySkimmer
September 5, 2023 10:21 37m 13s warn-synterp
warn-synterp
September 5, 2023 10:21 37m 13s
Changelog and test for #17789 GitHub macOS CI #2243: Commit 92bbdc6 pushed by SkySkimmer
September 5, 2023 09:15 37m 49s change-uniq
change-uniq
September 5, 2023 09:15 37m 49s
overlays for inductive_levels refactor GitHub macOS CI #2242: Commit 2154901 pushed by SkySkimmer
September 4, 2023 14:58 39m 18s comind-level-compute
comind-level-compute
September 4, 2023 14:58 39m 18s
ProTip! You can narrow down the results and go further in time using created:<2023-09-04 or the other filters available.