Skip to content
cabal

Merge pull request #724 from ucsd-progsys/fd/bagop-sorts #528

Sign in to view logs

Merge pull request #724 from ucsd-progsys/fd/bagop-sorts

Merge pull request #724 from ucsd-progsys/fd/bagop-sorts #528

Triggered via push December 3, 2024 18:44
@facundominguezfacundominguez
pushed 66b710d
develop
Status Success
Total duration 9m 30s
Artifacts –

cabal.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
ghc-9.8.2 z3-4.10.2
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ghc-9.4.8 z3-4.10.2
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ghc-9.6.5 z3-4.10.2
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636