Skip to content
Docs

chore(deps): Remove useless pins in cabal.project.non-nix #35

Sign in to view logs

chore(deps): Remove useless pins in cabal.project.non-nix

chore(deps): Remove useless pins in cabal.project.non-nix #35

Triggered via pull request February 19, 2024 16:17
@wolfgangwaltherwolfgangwalther
synchronize #3236
wolfgangwalther:no-cabal-pins
Status Success
Total duration 1m 35s
Artifacts –

docs.yaml

on: pull_request
Build docs
59s
Build docs
Run spellcheck
55s
Run spellcheck
Run dictcheck
55s
Run dictcheck
Run linkcheck
1m 13s
Run linkcheck
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
Run dictcheck
No push credentials found. Ignoring the 'useDaemon' option.
Run spellcheck
No push credentials found. Ignoring the 'useDaemon' option.
Build docs
No push credentials found. Ignoring the 'useDaemon' option.
Run linkcheck
No push credentials found. Ignoring the 'useDaemon' option.