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

Fix bench on old commits with no rocq-runtime GitHub macOS CI #4366: Commit 0e2d7c0 pushed by SkySkimmer
December 9, 2024 13:06 2m 29s rocq-cli
rocq-cli
December 9, 2024 13:06 2m 29s
Fix macos again GitHub macOS CI #4365: Commit 75701fe pushed by SkySkimmer
December 9, 2024 12:31 31m 14s fix-macos
fix-macos
December 9, 2024 12:31 31m 14s
Revert "Update ci-macos.yml" GitHub macOS CI #4364: Commit b077d2e pushed by SkySkimmer
December 9, 2024 12:30 29m 36s fix-macos
fix-macos
December 9, 2024 12:30 29m 36s
bench: don't render results for coq, coqide-server GitHub macOS CI #4363: Commit 5998e4d pushed by SkySkimmer
December 9, 2024 12:26 2m 24s bench-today
bench-today
December 9, 2024 12:26 2m 24s
drop test suite from benched packages GitHub macOS CI #4362: Commit c95c44e pushed by SkySkimmer
December 9, 2024 12:22 2m 33s bench-today
bench-today
December 9, 2024 12:22 2m 33s
drop test suite from benched packages GitHub macOS CI #4361: Commit 9521208 pushed by SkySkimmer
December 9, 2024 12:17 1m 53s bench-today
bench-today
December 9, 2024 12:17 1m 53s
Merge PR #19907: Fix opam --with-test GitHub macOS CI #4360: Commit 2e36489 pushed by SkySkimmer
December 9, 2024 10:37 2m 56s master
master
December 9, 2024 10:37 2m 56s
drop test suite from benched packages GitHub macOS CI #4359: Commit 0eb8484 pushed by SkySkimmer
December 6, 2024 16:54 1m 31s bench-today
bench-today
December 6, 2024 16:54 1m 31s
bench reduce package set for testing GitHub macOS CI #4358: Commit feb2183 pushed by SkySkimmer
December 6, 2024 16:18 1m 14s bench-today
bench-today
December 6, 2024 16:18 1m 14s
Fix bench with and without split stdlib GitHub macOS CI #4357: Commit 7aa65aa pushed by SkySkimmer
December 6, 2024 15:52 1m 50s bench-today
bench-today
December 6, 2024 15:52 1m 50s
bench NEW=2024-12-06 OLD=2024-10-09 GitHub macOS CI #4356: Commit 73de141 pushed by SkySkimmer
December 6, 2024 14:31 2m 4s bench-today
bench-today
December 6, 2024 14:31 2m 4s
bench NEW=2024-12-06 OLD=2024-10-09 GitHub macOS CI #4355: Commit 7d3c27b pushed by SkySkimmer
December 6, 2024 14:31 1m 38s bench-today
bench-today
December 6, 2024 14:31 1m 38s
Fix bench on old commits with no rocq-runtime GitHub macOS CI #4354: Commit 0480bbb pushed by SkySkimmer
December 6, 2024 14:30 1m 18s rocq-cli
rocq-cli
December 6, 2024 14:30 1m 18s
Disable and remove Automatic Proposition Inductives GitHub macOS CI #4353: Commit 0aaa27d pushed by SkySkimmer
December 6, 2024 13:42 1m 40s depr-auto-prop-lowering
depr-auto-prop-lowering
December 6, 2024 13:42 1m 40s
ci-stdlib don't use --release GitHub macOS CI #4352: Commit 6ecf9b9 pushed by SkySkimmer
December 6, 2024 12:52 1m 38s ci-stdlib-p
ci-stdlib-p
December 6, 2024 12:52 1m 38s
Merge PR #19530: Give Stdlib its own directory GitHub macOS CI #4351: Commit 476460f pushed by SkySkimmer
December 6, 2024 11:23 1m 18s master
master
December 6, 2024 11:23 1m 18s
Disable and remove Automatic Proposition Inductives GitHub macOS CI #4350: Commit 02387a9 pushed by SkySkimmer
December 5, 2024 15:44 42m 58s depr-auto-prop-lowering
depr-auto-prop-lowering
December 5, 2024 15:44 42m 58s
Find binary path by searching in PATH if needed (fix refman) GitHub macOS CI #4349: Commit 4867f3d pushed by SkySkimmer
December 5, 2024 15:04 36m 4s configure-clean
configure-clean
December 5, 2024 15:04 36m 4s
Include digests of Declare ML Module dependencies in .vo GitHub macOS CI #4348: Commit f9745cb pushed by SkySkimmer
December 5, 2024 14:49 37m 7s digest-dynlink
digest-dynlink
December 5, 2024 14:49 37m 7s
dune autoconfigure: use relocatable mode GitHub macOS CI #4347: Commit e3717f2 pushed by SkySkimmer
December 5, 2024 14:11 30m 49s configure-clean
configure-clean
December 5, 2024 14:11 30m 49s
Merge PR #19878: Document Hint Variables/Constants Opaque/Transparent… GitHub macOS CI #4346: Commit dc9e3df pushed by SkySkimmer
December 5, 2024 09:28 38m 46s master
master
December 5, 2024 09:28 38m 46s
Fix bench on old commits with no rocq-runtime GitHub macOS CI #4345: Commit dd1877e pushed by SkySkimmer
December 4, 2024 10:25 11m 45s rocq-cli
rocq-cli
December 4, 2024 10:25 11m 45s
Disable and remove Automatic Proposition Inductives GitHub macOS CI #4344: Commit 6b4d42f pushed by SkySkimmer
December 4, 2024 09:40 38m 23s depr-auto-prop-lowering
depr-auto-prop-lowering
December 4, 2024 09:40 38m 23s
Merge PR #19897: Windows CI use ci pick GitHub macOS CI #4343: Commit 0e0f4ab pushed by SkySkimmer
December 4, 2024 09:36 32m 9s master
master
December 4, 2024 09:36 32m 9s
Merge PR #19820: Remove "stdlib2" from CI GitHub macOS CI #4342: Commit 5997073 pushed by SkySkimmer
December 3, 2024 16:21 36m 3s master
master
December 3, 2024 16:21 36m 3s