Skip to content
stack

Fix sorts of bag theory operations in Theories.hs #527

Sign in to view logs

Fix sorts of bag theory operations in Theories.hs

Fix sorts of bag theory operations in Theories.hs #527

Triggered via pull request December 2, 2024 18:19
@facundominguezfacundominguez
opened #724
fd/bagop-sorts
Status Success
Total duration 13m 28s
Artifacts –

stack.yml

on: pull_request
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