Skip to content
CI

Fetch ghc head from finished nightly pipelines #77

Sign in to view logs

Fetch ghc head from finished nightly pipelines

Fetch ghc head from finished nightly pipelines #77

Triggered via push October 20, 2024 01:10
@TerrorJackTerrorJack
pushed 9da2ef3
main
Status Success
Total duration 3m 1s
Artifacts –

ci.yml

on: push
build
2m 52s
build
Fit to window
Zoom out
Zoom in