Skip to content
Run CI tests

Switch to representing propositional constant as Constant. #8

Sign in to view logs

Switch to representing propositional constant as Constant.

Switch to representing propositional constant as Constant. #8

Triggered via push June 16, 2023 17:45
@namcsinamcsi
pushed 9cdad3b
master
Status Failure
Total duration 6m 5s
Artifacts –

ci-test.yml

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

Annotations

3 errors
test on ubuntu-latest
Process completed with exit code 1.
test on windows-latest
Process completed with exit code 1.
test on macos-latest
Process completed with exit code 1.