Check formatting

Skip typechecking tests with CVC4 if there is no CVC4 #400

Sign in to view logs

Triggered via pull request November 26, 2023 21:49

Alasdair

opened #380

test_cvc4

Status Success

Total duration 40s

Artifacts –

formatting.yml

on: pull_request

Matrix: build