Skip to content
Build

Use --enable-theories fpa to active the FPA builtin theory #521

Sign in to view logs

Use --enable-theories fpa to active the FPA builtin theory

Use --enable-theories fpa to active the FPA builtin theory #521

Triggered via pull request August 21, 2023 05:04
@HalbarothHalbaroth
synchronize #780
Halbaroth:disable-preludes
Status Failure
Total duration 14m 20s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: pull_request
Make all
9m 18s
Make all
Make package release
5m 14s
Make package release
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Make package release
Process completed with exit code 2.
build (ubuntu-latest, 4.10.1)
Process completed with exit code 31.
Make all
Process completed with exit code 2.
build (macos-latest, 4.10.1)
Process completed with exit code 31.