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

Windows CI use ci pick GitHub macOS CI #4341: Commit eaee404 pushed by SkySkimmer
December 3, 2024 13:58 41m 21s fix-windows
fix-windows
December 3, 2024 13:58 41m 21s
Static link core plugins in coqc GitHub macOS CI #4340: Commit cd6c6bd pushed by SkySkimmer
December 3, 2024 07:35 36m 18s static-link
static-link
December 3, 2024 07:35 36m 18s
SSR: Fix ustate when calling abs_cterm GitHub macOS CI #4339: Commit 84c6162 pushed by SkySkimmer
December 2, 2024 14:04 35m 4s ssr-correct-ustate
ssr-correct-ustate
December 2, 2024 14:04 35m 4s
Fix ustate when calling abs_cterm GitHub macOS CI #4338: Commit 3a62c71 pushed by SkySkimmer
December 2, 2024 14:04 37m 29s ssr-correct-ustate
ssr-correct-ustate
December 2, 2024 14:04 37m 29s
Fix incorrect path normalization in coqdep on //.. GitHub macOS CI #4337: Commit 57102a2 pushed by SkySkimmer
December 2, 2024 13:15 35m 27s fix-coqdep-norm
fix-coqdep-norm
December 2, 2024 13:15 35m 27s
Fix incorrect path normalization in coqdep on //.. GitHub macOS CI #4336: Commit c801907 pushed by SkySkimmer
December 2, 2024 13:15 46m 16s fix-coqdep-norm
fix-coqdep-norm
December 2, 2024 13:15 46m 16s
Fix test suite coqdep outputs GitHub macOS CI #4335: Commit c026c9d pushed by SkySkimmer
December 2, 2024 13:08 13m 59s rocq-cli-dynlink
rocq-cli-dynlink
December 2, 2024 13:08 13m 59s
declare some externals in .ml file in dune library "coqrun" GitHub macOS CI #4334: Commit 8555b11 pushed by SkySkimmer
December 2, 2024 12:50 14m 6s rocq-cli-dynlink
rocq-cli-dynlink
December 2, 2024 12:50 14m 6s
Fix bench on old commits with no rocq-core GitHub macOS CI #4333: Commit cda94c3 pushed by SkySkimmer
December 2, 2024 12:47 11m 34s rocq-cli
rocq-cli
December 2, 2024 12:47 11m 34s
coqdep make explicit dependencies on deps of plugins GitHub macOS CI #4332: Commit bb9d027 pushed by SkySkimmer
December 2, 2024 11:58 31m 6s fix-dynlink
fix-dynlink
December 2, 2024 11:58 31m 6s
coqdep make explicit dependencies on deps of plugins GitHub macOS CI #4331: Commit f6c6dce pushed by SkySkimmer
December 2, 2024 11:58 40m 5s fix-dynlink
fix-dynlink
December 2, 2024 11:58 40m 5s
CoqMakefile.in COQC -> ROCQ compile GitHub macOS CI #4330: Commit e7fee55 pushed by SkySkimmer
December 2, 2024 11:52 14m 22s rocq-cli
rocq-cli
December 2, 2024 11:52 14m 22s
coqdep make explicit dependencies on deps of plugins GitHub macOS CI #4329: Commit 1f42097 pushed by SkySkimmer
December 2, 2024 11:45 42m 33s fix-dynlink
fix-dynlink
December 2, 2024 11:45 42m 33s
CoqMakefile.in COQC -> ROCQ compile GitHub macOS CI #4328: Commit 06ea6d3 pushed by SkySkimmer
December 2, 2024 11:39 13m 47s rocq-cli
rocq-cli
December 2, 2024 11:39 13m 47s
Merge PR #19812: Update CODE_OF_CONDUCT.md GitHub macOS CI #4327: Commit beb35a7 pushed by SkySkimmer
December 2, 2024 11:31 38m 10s master
master
December 2, 2024 11:31 38m 10s
Merge PR #19883: 'Ltac2 Notation string := ...' is not abbreviation. GitHub macOS CI #4326: Commit cd28a74 pushed by SkySkimmer
December 1, 2024 14:59 33m 26s master
master
December 1, 2024 14:59 33m 26s
add threads dep to loader to delay error GitHub macOS CI #4325: Commit f66bb42 pushed by SkySkimmer
November 29, 2024 15:18 14m 40s rocq-cli-dynlink
rocq-cli-dynlink
November 29, 2024 15:18 14m 40s
wip dynlink GitHub macOS CI #4324: Commit d60b773 pushed by SkySkimmer
November 29, 2024 15:17 18m 8s rocq-cli-dynlink
rocq-cli-dynlink
November 29, 2024 15:17 18m 8s
wip dynlink GitHub macOS CI #4323: Commit 60faa33 pushed by SkySkimmer
November 29, 2024 15:16 15m 18s rocq-cli-dynlink
rocq-cli-dynlink
November 29, 2024 15:16 15m 18s
Fix incorrect path normalization in coqdep on //.. GitHub macOS CI #4322: Commit dacfa6c pushed by SkySkimmer
November 29, 2024 13:44 37m 50s fix-coqdep-norm
fix-coqdep-norm
November 29, 2024 13:44 37m 50s
Put coqtop back in coq-core, add rocq top subcommand GitHub macOS CI #4321: Commit 15c6e5d pushed by SkySkimmer
November 29, 2024 13:44 12m 12s rocq-cli
rocq-cli
November 29, 2024 13:44 12m 12s
coqdep make explicit dependencies on deps of plugins GitHub macOS CI #4320: Commit 45df782 pushed by SkySkimmer
November 29, 2024 12:08 36m 40s fix-dynlink
fix-dynlink
November 29, 2024 12:08 36m 40s
Merge PR #19874: [ci] bump elpi to 2.0.x GitHub macOS CI #4319: Commit 8939dfb pushed by SkySkimmer
November 29, 2024 12:00 36m 45s master
master
November 29, 2024 12:00 36m 45s
coqdep make explicit dependencies on deps of plugins GitHub macOS CI #4318: Commit 1277243 pushed by SkySkimmer
November 28, 2024 15:18 38m 33s fix-dynlink
fix-dynlink
November 28, 2024 15:18 38m 33s
coqdep make explicit dependencies on deps of plugins GitHub macOS CI #4317: Commit defe609 pushed by SkySkimmer
November 28, 2024 13:36 13m 16s fix-dynlink
fix-dynlink
November 28, 2024 13:36 13m 16s