Skip to content

Actions: SkySkimmer/coq

Actions

GitHub macOS CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

empty commit GitHub macOS CI #2769: Commit 032d243 pushed by SkySkimmer
December 15, 2023 12:58 1h 3m 10s 819-backports
819-backports
December 15, 2023 12:58 1h 3m 10s
Backport PR #18403: [checker] Fix discrepancy in raw_level definition. GitHub macOS CI #2768: Commit 0610452 pushed by SkySkimmer
December 15, 2023 12:57 57m 12s v8.19
v8.19
December 15, 2023 12:57 57m 12s
Fix overlay pull in CI GitHub macOS CI #2767: Commit 07debf0 pushed by SkySkimmer
December 15, 2023 12:42 57m 0s fix-git-dl
fix-git-dl
December 15, 2023 12:42 57m 0s
Merge PR #18412: Move changelog for #18359 to correct category GitHub macOS CI #2766: Commit 50f025a pushed by SkySkimmer
December 15, 2023 12:33 56m 36s master
master
December 15, 2023 12:33 56m 36s
Move changelog for #18359 to correct category GitHub macOS CI #2765: Commit c05c52c pushed by SkySkimmer
December 14, 2023 14:36 41m 7s dune-change-cat
dune-change-cat
December 14, 2023 14:36 41m 7s
Ltac2: support pure projections as syntactic values GitHub macOS CI #2764: Commit b42c8c5 pushed by SkySkimmer
December 14, 2023 14:11 57m 10s ltac2-more-values
ltac2-more-values
December 14, 2023 14:11 57m 10s
Ltac2: desugar [| |] to Array.empty instead of Array.of_list [] GitHub macOS CI #2763: Commit f8c7395 pushed by SkySkimmer
December 14, 2023 12:41 1h 28m 5s ltac2-array-empty-literal
ltac2-array-empty-literal
December 14, 2023 12:41 1h 28m 5s
Put parts of ltac2_plugin which depend on ltac1 in a separate plugin GitHub macOS CI #2762: Commit a9939ab pushed by SkySkimmer
December 14, 2023 12:23 1h 12m 45s ltac2-ltac1
ltac2-ltac1
December 14, 2023 12:23 1h 12m 45s
coqchk: fix mismatches between values.ml and actual types GitHub macOS CI #2761: Commit 75d3624 pushed by SkySkimmer
December 14, 2023 12:22 1h 14m 48s check-valid
check-valid
December 14, 2023 12:22 1h 14m 48s
ci-menhir: don't set version to $(date) if already done GitHub macOS CI #2760: Commit 40bf11d pushed by SkySkimmer
December 14, 2023 11:56 1h 21m 14s menhir-date
menhir-date
December 14, 2023 11:56 1h 21m 14s
Changelog for 8.19 GitHub macOS CI #2759: Commit 3f4ce49 pushed by SkySkimmer
December 14, 2023 11:53 1h 29m 2s 819-changes
819-changes
December 14, 2023 11:53 1h 29m 2s
empty commit GitHub macOS CI #2758: Commit 1e806cd pushed by SkySkimmer
December 14, 2023 11:46 1h 20m 49s 819-backports
819-backports
December 14, 2023 11:46 1h 20m 49s
Backport PR #18393: Fixes #12755 and #18392: argument names wrongly s… GitHub macOS CI #2757: Commit 0cde3fb pushed by SkySkimmer
December 14, 2023 11:44 52m 26s v8.19
v8.19
December 14, 2023 11:44 52m 26s
ci-menhir: don't set version to $(date) if already done GitHub macOS CI #2756: Commit a861f55 pushed by SkySkimmer
December 14, 2023 11:41 1h 13m 31s menhir-date
menhir-date
December 14, 2023 11:41 1h 13m 31s
ci-menhir: don't set version to $(date) if already done GitHub macOS CI #2755: Commit 3f5a3ea pushed by SkySkimmer
December 14, 2023 11:40 58m 50s menhir-date
menhir-date
December 14, 2023 11:40 58m 50s
Remove workaround for validate:vio early start GitHub macOS CI #2754: Commit c7d984e pushed by SkySkimmer
December 14, 2023 11:29 41m 0s build-vio-artifacts
build-vio-artifacts
December 14, 2023 11:29 41m 0s
test commit DO NOT MERGE GitHub macOS CI #2753: Commit ab3518b pushed by SkySkimmer
December 14, 2023 11:29 58m 44s build-vio-artifacts
build-vio-artifacts
December 14, 2023 11:29 58m 44s
test commit DO NOT MERGE GitHub macOS CI #2752: Commit b38bba5 pushed by SkySkimmer
December 14, 2023 11:08 45m 16s build-vio-artifacts
build-vio-artifacts
December 14, 2023 11:08 45m 16s
Merge PR #18221: Fix various issues around recarg computation GitHub macOS CI #2751: Commit 4f23351 pushed by SkySkimmer
December 14, 2023 10:58 57m 47s master
master
December 14, 2023 10:58 57m 47s
test commit DO NOT MERGE GitHub macOS CI #2750: Commit 4e0840e pushed by SkySkimmer
December 13, 2023 13:11 41m 54s build-vio-artifacts
build-vio-artifacts
December 13, 2023 13:11 41m 54s
Merge PR #18398: 8.19: put version number in CI image names GitHub macOS CI #2749: Commit 0f989c3 pushed by SkySkimmer
December 13, 2023 12:38 1h 3m 43s v8.19
v8.19
December 13, 2023 12:38 1h 3m 43s
empty commit GitHub macOS CI #2748: Commit 80027fa pushed by SkySkimmer
December 13, 2023 12:37 41m 55s 819-backports
819-backports
December 13, 2023 12:37 41m 55s
Backport PR #18367: Fix JSON string escape for profiling data output GitHub macOS CI #2747: Commit ed58a41 pushed by SkySkimmer
December 13, 2023 12:33 41m 41s v8.19
v8.19
December 13, 2023 12:33 41m 41s
coqchk: fix mismatches between values.ml and actual types GitHub macOS CI #2746: Commit 173f8ea pushed by SkySkimmer
December 13, 2023 12:28 44m 37s check-valid
check-valid
December 13, 2023 12:28 44m 37s
coqchk: fix mismatches between values.ml and actual types GitHub macOS CI #2745: Commit 03123a1 pushed by SkySkimmer
December 13, 2023 12:21 43m 5s check-valid
check-valid
December 13, 2023 12:21 43m 5s
ProTip! You can narrow down the results and go further in time using created:<2023-12-13 or the other filters available.