Skip to content
Release

Use plain (check-sat) when checking consistency of SMT lemmas (#3696) #723

Sign in to view logs

Use plain (check-sat) when checking consistency of SMT lemmas (#3696)

Use plain (check-sat) when checking consistency of SMT lemmas (#3696) #723

Triggered via push November 22, 2023 11:03
@rv-jenkinsrv-jenkins
pushed 2f90bbf
master
Status Success
Total duration 27m 24s
Artifacts –

release.yml

on: push
Matrix: Cache Cabal
Release
8m 6s
Release
Cache Stack
11m 1s
Cache Stack
Cache Stack Haddock
5m 14s
Cache Stack Haddock
Publish Release
3s
Publish Release
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Cache Stack Haddock
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
Cache Stack
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).