Skip to content
hlint

Build liquid-fixpoint with ghc-9.4.7 in CI #203

Sign in to view logs

Build liquid-fixpoint with ghc-9.4.7 in CI

Build liquid-fixpoint with ghc-9.4.7 in CI #203

Triggered via pull request November 19, 2023 14:28
@facundominguezfacundominguez
synchronize #661
fd/ghc-9.4.7
Status Success
Total duration 23s
Artifacts –

hlint.yml

on: pull_request
hlint-3.4
15s
hlint-3.4
Fit to window
Zoom out
Zoom in