Skip to content
build

CI: drop older GHCs #20

Sign in to view logs

CI: drop older GHCs

CI: drop older GHCs #20

Triggered via push July 6, 2023 13:32
@rudymatelarudymatela
pushed 8bb10a7
improve-ci-and-build-scripts
Status Success
Total duration 6m 33s
Artifacts –

build.yml

on: push
build-and-test
1m 33s
build-and-test
test-with-stack
2m 44s
test-with-stack
Matrix: test-with-ghc
Fit to window
Zoom out
Zoom in