Skip to content
GitHub macOS CI

coq_makefile: Properly delay variable expansion in combined glob/vo rule #2318

Sign in to view logs

coq_makefile: Properly delay variable expansion in combined glob/vo rule

coq_makefile: Properly delay variable expansion in combined glob/vo rule #2318

Triggered via push September 22, 2023 11:34
@SkySkimmerSkySkimmer
pushed 5a80efd
delayed-globvo
Status Success
Total duration 37m 48s
Artifacts –

ci-macos.yml

on: push
macOS
37m 33s
macOS
Fit to window
Zoom out
Zoom in