Skip to content

formalff: Document -declockgate option #1764

formalff: Document -declockgate option

formalff: Document -declockgate option #1764

Triggered via push February 12, 2025 16:47
Status Failure
Total duration 25m 47s
Artifacts 4

test-build.yml

on: push
pre_docs_job
5s
pre_docs_job
pre_job
6s
pre_job
Matrix: Reusable build
Matrix: Try build docs
Matrix: Run docs tests
Matrix: Run tests
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 4 warnings
Run tests (macos-latest)
Process completed with exit code 1.
Run tests (macos-latest)
Process completed with exit code 2.
Run tests (ubuntu-latest)
Process completed with exit code 1.
Run tests (ubuntu-latest)
Process completed with exit code 2.
Reusable build (macos-latest)
pkgconf 2.3.0_1 is already installed and up-to-date. To reinstall 2.3.0_1, run: brew reinstall pkgconf
Reusable build (macos-latest)
HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated dependents or dependents with broken linkage!
Run tests (macos-latest)
pkgconf 2.3.0_1 is already installed and up-to-date. To reinstall 2.3.0_1, run: brew reinstall pkgconf
Run tests (macos-latest)
HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated dependents or dependents with broken linkage!

Artifacts

Produced during runtime
Name Size
build-macos-latest Expired
15.8 MB
build-ubuntu-latest Expired
88.7 MB
docs-build-html
11.1 MB
docs-build-latexpdf
6.1 MB