Skip to content
Linting

Merge pull request #23 from hsyl20/hsyl20/ghc-9.12 #38

Sign in to view logs

Merge pull request #23 from hsyl20/hsyl20/ghc-9.12

Merge pull request #23 from hsyl20/hsyl20/ghc-9.12 #38

Triggered via push October 21, 2024 22:43
@mpilgremmpilgrem
pushed 88d8587
master
Status Success
Total duration 15s
Artifacts –

lint.yml

on: push
Linting
5s
Linting
Fit to window
Zoom out
Zoom in