Skip to content

Actions: SkySkimmer/coq

Actions

GitHub macOS CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix bench GitHub macOS CI #4549: Commit 9a945f3 pushed by SkySkimmer
January 9, 2025 13:05 21m 53s coqprofreader
coqprofreader
January 9, 2025 13:05 21m 53s
Fix bench GitHub macOS CI #4548: Commit 606e423 pushed by SkySkimmer
January 9, 2025 13:03 28m 22s coqprofreader
coqprofreader
January 9, 2025 13:03 28m 22s
Fix bench GitHub macOS CI #4547: Commit bc77bcf pushed by SkySkimmer
January 9, 2025 13:00 22m 12s coqprofreader
coqprofreader
January 9, 2025 13:00 22m 12s
Merge PR #19801: make Zeq_bool an alias for Z.eqb, deprecate ZArith_base GitHub macOS CI #4546: Commit f1fc014 pushed by SkySkimmer
January 9, 2025 12:14 25m 52s master
master
January 9, 2025 12:14 25m 52s
use prof2html in bench GitHub macOS CI #4545: Commit cbaa0d5 pushed by SkySkimmer
January 8, 2025 14:36 23m 45s coqprofreader
coqprofreader
January 8, 2025 14:36 23m 45s
Print file total time in timelog2html GitHub macOS CI #4544: Commit cad00a5 pushed by SkySkimmer
January 8, 2025 14:33 21m 0s html-total-time
html-total-time
January 8, 2025 14:33 21m 0s
Print file total time in timelog2html GitHub macOS CI #4543: Commit 71e3b49 pushed by SkySkimmer
January 8, 2025 14:31 25m 39s html-total-time
html-total-time
January 8, 2025 14:31 25m 39s
use prof2html in bench GitHub macOS CI #4542: Commit c06d8a8 pushed by SkySkimmer
January 8, 2025 14:19 11m 17s coqprofreader
coqprofreader
January 8, 2025 14:19 11m 17s
Merge ROCQPATH and COQPATH instead of only using the first when both … GitHub macOS CI #4541: Commit 0a193e5 pushed by SkySkimmer
January 8, 2025 13:45 24m 36s rocq-env-vars
rocq-env-vars
January 8, 2025 13:45 24m 36s
coqprof2html: produce bench html files from profile json files GitHub macOS CI #4540: Commit 35ee4fe pushed by SkySkimmer
January 8, 2025 13:28 25m 9s coqprofreader
coqprofreader
January 8, 2025 13:28 25m 9s
Merge ROCQPATH and COQPATH instead of only using the first when both … GitHub macOS CI #4539: Commit e9271ab pushed by SkySkimmer
January 8, 2025 12:57 29m 35s rocq-env-vars
rocq-env-vars
January 8, 2025 12:57 29m 35s
Merge ROCQPATH and COQPATH instead of only using the first when both … GitHub macOS CI #4538: Commit b193eec pushed by SkySkimmer
January 8, 2025 12:46 10m 21s rocq-env-vars
rocq-env-vars
January 8, 2025 12:46 10m 21s
Warn when using a COQ* environment variable GitHub macOS CI #4537: Commit 81e893d pushed by SkySkimmer
January 8, 2025 12:36 23m 54s rocq-env-vars
rocq-env-vars
January 8, 2025 12:36 23m 54s
add currently failing tests GitHub macOS CI #4536: Commit 03a74e7 pushed by SkySkimmer
January 8, 2025 12:12 26m 16s cominductive-lbound
cominductive-lbound
January 8, 2025 12:12 26m 16s
Merge PR #19973: Rename coq-stdlib -> rocq-stdlib GitHub macOS CI #4535: Commit 6f7cd27 pushed by SkySkimmer
January 8, 2025 12:12 32m 25s master
master
January 8, 2025 12:12 32m 25s
"Warnings" and "Debug" options are synterp not interp GitHub macOS CI #4534: Commit 6f77387 pushed by SkySkimmer
January 7, 2025 17:08 22m 28s classify-warn
classify-warn
January 7, 2025 17:08 22m 28s
GitHub macOS CI GitHub macOS CI #4533: by SkySkimmer
January 7, 2025 15:34 21m 57s inductive-error
inductive-error
January 7, 2025 15:34 21m 57s
GitHub macOS CI GitHub macOS CI #4532: by SkySkimmer
January 7, 2025 14:49 31m 19s string-value
string-value
January 7, 2025 14:49 31m 19s
More informative print for inductive missing constraints error GitHub macOS CI #4531: Commit b21fedc pushed by SkySkimmer
January 7, 2025 12:37 22m 2s inductive-error
inductive-error
January 7, 2025 12:37 22m 2s
add currently failing tests GitHub macOS CI #4530: Commit 8fd19de pushed by SkySkimmer
January 7, 2025 12:28 36m 50s cominductive-lbound
cominductive-lbound
January 7, 2025 12:28 36m 50s
Remove unused "polyprop" argument in Evarsolve.get_type_of_refresh GitHub macOS CI #4529: Commit dc0abb7 pushed by SkySkimmer
January 7, 2025 12:19 27m 23s template-poly-retype-sort-poly
template-poly-retype-sort-poly
January 7, 2025 12:19 27m 23s
Merge PR #19769: Fixes #17314: Tactic unification may leave unbound d… GitHub macOS CI #4528: Commit 003b300 pushed by SkySkimmer
January 7, 2025 12:19 29m 29s master
master
January 7, 2025 12:19 29m 29s
Merge PR #19958: CI: validate jobs also check stdlib GitHub macOS CI #4527: Commit 253e9af pushed by SkySkimmer
January 6, 2025 16:45 22m 44s master
master
January 6, 2025 16:45 22m 44s
Cleanup "lbound" arguments which are always Set GitHub macOS CI #4526: Commit 02cd67a pushed by SkySkimmer
January 6, 2025 16:44 25m 19s cominductive-lbound
cominductive-lbound
January 6, 2025 16:44 25m 19s
rename coqworker -> rocqworker GitHub macOS CI #4525: Commit b76eea2 pushed by SkySkimmer
January 6, 2025 12:39 19m 42s rocqworker
rocqworker
January 6, 2025 12:39 19m 42s