Use --enable-theories instead of --enable-preludes (#717) #344
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
build.yml
on: push
Make all
5m 3s
Make package release
5m 7s
Matrix: build
Annotations
4 errors
Make all
Process completed with exit code 2.
|
Make package release
Process completed with exit code 2.
|
build (ubuntu-latest, 4.10.1)
Process completed with exit code 2.
|
build (macos-latest, 4.10.1)
Process completed with exit code 2.
|