Skip to content

alumacc: alternative cmp unification implementation #1739

alumacc: alternative cmp unification implementation

alumacc: alternative cmp unification implementation #1739

Re-run triggered February 4, 2025 12:07
Status Success
Total duration 39m 25s
Artifacts 4

test-build.yml

on: pull_request
pre_docs_job
6s
pre_docs_job
pre_job
5s
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 warnings
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
20.3 MB
build-ubuntu-latest Expired
86.1 MB
docs-build-html Expired
11.1 MB
docs-build-latexpdf Expired
6.1 MB