Skip to content
Miscellaneous tasks

remove redundant sbv pin from cabal.project #408

Sign in to view logs

remove redundant sbv pin from cabal.project

remove redundant sbv pin from cabal.project #408

Triggered via pull request November 25, 2024 18:47
@larskuhtzlarskuhtz
opened #2049
lars/remove-sbv-pin
Status Success
Total duration 10s
Artifacts –

misc.yaml

on: pull_request
No FIXMEs in Changelog
3s
No FIXMEs in Changelog
Fit to window
Zoom out
Zoom in