Skip to content

Actions: SkySkimmer/coq

Actions

GitHub macOS CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coq_makefile produce timing info for coqdep GitHub macOS CI #4475: Commit 093dd6e pushed by SkySkimmer
December 18, 2024 11:35 24m 41s coqdep-time
coqdep-time
December 18, 2024 11:35 24m 41s
CI: disable bin_annot (for smaller artifacts) GitHub macOS CI #4474: Commit fc9eb92 pushed by SkySkimmer
December 18, 2024 11:34 21m 36s ci-no-bin-annot
ci-no-bin-annot
December 18, 2024 11:34 21m 36s
disable warnings for each Require GitHub macOS CI #4473: Commit a4a2903 pushed by SkySkimmer
December 18, 2024 11:26 21m 20s stdlib-all
stdlib-all
December 18, 2024 11:26 21m 20s
Merge PR #19947: Link wiki page about ocamldebug in build-system.md GitHub macOS CI #4472: Commit eafed8f pushed by SkySkimmer
December 18, 2024 11:23 25m 30s master
master
December 18, 2024 11:23 25m 30s
Remove warning "overwriting-delimiting-key" GitHub macOS CI #4471: Commit f2e74ad pushed by proux01
December 18, 2024 11:04 24m 57s delimit-multikey
delimit-multikey
December 18, 2024 11:04 24m 57s
Merge PR #19853: Perform whd in a separate function in Conversion.eqa… GitHub macOS CI #4470: Commit 44e65b6 pushed by SkySkimmer
December 17, 2024 16:19 22m 6s master
master
December 17, 2024 16:19 22m 6s
Link wiki page about ocamldebug in build-system.md GitHub macOS CI #4469: Commit f058840 pushed by SkySkimmer
December 17, 2024 16:05 19m 28s ocamldebug-link-wiki
ocamldebug-link-wiki
December 17, 2024 16:05 19m 28s
Remove warning "overwriting-delimiting-key" GitHub macOS CI #4468: Commit b7b5e6e pushed by SkySkimmer
December 17, 2024 14:53 25m 19s delimit-multikey
delimit-multikey
December 17, 2024 14:53 25m 19s
Remove warning "overwriting-delimiting-key" GitHub macOS CI #4467: Commit c039f7e pushed by SkySkimmer
December 17, 2024 14:11 23m 39s delimit-multikey
delimit-multikey
December 17, 2024 14:11 23m 39s
save _build_ci for some jobs GitHub macOS CI #4466: Commit 59db233 pushed by SkySkimmer
December 17, 2024 13:29 23m 55s ci-install-artifacts
ci-install-artifacts
December 17, 2024 13:29 23m 55s
Fix coqdep ignoring commands with attributes GitHub macOS CI #4465: Commit 4c12dc8 pushed by SkySkimmer
December 17, 2024 13:27 24m 55s coqdep-attribute
coqdep-attribute
December 17, 2024 13:27 24m 55s
save _build_ci for some jobs GitHub macOS CI #4464: Commit 5f66ee9 pushed by SkySkimmer
December 17, 2024 12:58 20m 10s ci-install-artifacts
ci-install-artifacts
December 17, 2024 12:58 20m 10s
save _build_ci for some jobs GitHub macOS CI #4463: Commit f838b48 pushed by SkySkimmer
December 17, 2024 12:55 23m 38s ci-install-artifacts
ci-install-artifacts
December 17, 2024 12:55 23m 38s
save _build_ci for some jobs GitHub macOS CI #4462: Commit 43608bc pushed by SkySkimmer
December 17, 2024 12:53 24m 15s ci-install-artifacts
ci-install-artifacts
December 17, 2024 12:53 24m 15s
CI: disable bin_annot (for smaller artifacts) GitHub macOS CI #4461: Commit ab93913 pushed by SkySkimmer
December 17, 2024 12:34 26m 5s ci-no-bin-annot
ci-no-bin-annot
December 17, 2024 12:34 26m 5s
Merge PR #19937: ci-refman does not actually depend on platform_full GitHub macOS CI #4460: Commit 8e6284f pushed by SkySkimmer
December 16, 2024 15:29 23m 7s master
master
December 16, 2024 15:29 23m 7s
CI: perennial depends on stdlib+flambda not stdlib GitHub macOS CI #4459: Commit 7d84c88 pushed by SkySkimmer
December 16, 2024 14:01 23m 5s perennial-stdlib
perennial-stdlib
December 16, 2024 14:01 23m 5s
assign delta steps to the context with the unfolded ref GitHub macOS CI #4458: Commit dd0bb4b pushed by SkySkimmer
December 16, 2024 13:55 22m 30s lazy-stats
lazy-stats
December 16, 2024 13:55 22m 30s
CI: upload _install_ci instead of _build_ci GitHub macOS CI #4457: Commit bf6040d pushed by SkySkimmer
December 16, 2024 13:32 24m 58s ci-install-artifacts
ci-install-artifacts
December 16, 2024 13:32 24m 58s
Update dev/ci/README-users.md after #19926 GitHub macOS CI #4456: Commit 28c9e5f pushed by SkySkimmer
December 16, 2024 13:07 21m 14s ci-readme
ci-readme
December 16, 2024 13:07 21m 14s
coq_makefile produce timing info for coqdep GitHub macOS CI #4455: Commit 35b52c0 pushed by SkySkimmer
December 16, 2024 12:57 27m 44s coqdep-time
coqdep-time
December 16, 2024 12:57 27m 44s
Stdlib: warnings are fatal in dev profile GitHub macOS CI #4454: Commit 7c9c3f8 pushed by SkySkimmer
December 16, 2024 12:46 24m 38s stdlib-warn
stdlib-warn
December 16, 2024 12:46 24m 38s
disable warnings in stdlib All.v GitHub macOS CI #4453: Commit ed9b4ee pushed by SkySkimmer
December 16, 2024 12:42 29m 11s stdlib-all
stdlib-all
December 16, 2024 12:42 29m 11s
CI: upload _install_ci instead of _build_ci GitHub macOS CI #4452: Commit 0fc6617 pushed by SkySkimmer
December 16, 2024 12:34 30m 39s ci-install-artifacts
ci-install-artifacts
December 16, 2024 12:34 30m 39s
coq_makefile produce timing info for coqdep GitHub macOS CI #4451: Commit 92203a6 pushed by SkySkimmer
December 16, 2024 12:17 23m 22s coqdep-time
coqdep-time
December 16, 2024 12:17 23m 22s