Skip to content

cabal check: add --ignore option #7

cabal check: add --ignore option

cabal check: add --ignore option #7

Triggered via pull request November 21, 2023 20:26
Status Success
Total duration 16s
Artifacts

bootstrap.skip.yml

on: pull_request
Bootstrap post job
0s
Bootstrap post job
Fit to window
Zoom out
Zoom in