Skip to content

CI: remove cabal-head before updating it (fix #10537) #4785

CI: remove cabal-head before updating it (fix #10537)

CI: remove cabal-head before updating it (fix #10537) #4785

Triggered via pull request November 9, 2024 14:17
Status Success
Total duration 18s
Artifacts

whitespace.yml

on: pull_request
whitespace
8s
whitespace
Fit to window
Zoom out
Zoom in