Build

Add configuration in a monadic way, for now used only to configure SMT2 debugging #2093

Triggered via pull request October 9, 2023 12:26

msooseth

synchronize #405

Status Failure

Total duration 17m 47s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: pull_request

Matrix: extra-tests

Matrix: nix-build

4 errors and 1 warning

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

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