Skip to content

Runtime checking for whether a model implements a theory, special distinguished models for each theory #1033

Runtime checking for whether a model implements a theory, special distinguished models for each theory

Runtime checking for whether a model implements a theory, special distinguished models for each theory #1033

Triggered via pull request January 19, 2025 19:39
Status Failure
Total duration 5m 17s
Artifacts

julia_ci.yml

on: pull_request
CI  /  Documentation
3m 51s
CI / Documentation
CompatHelper  /  CompatHelper
CompatHelper / CompatHelper
Release  /  register
Release / register
Matrix: CI / test
Fit to window
Zoom out
Zoom in

Annotations

1 error and 4 warnings
CI / Documentation
Process completed with exit code 1.
CI / Julia 1.10 - ubuntu-latest - x64 - pull_request
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CI / Julia 1 - ubuntu-latest - x64 - pull_request
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CI / Documentation
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CI / Julia 1 - macOS-latest - x64 - pull_request
[setup-julia] x64 arch has been requested on a macOS runner that has an arm64 (Apple Silicon) architecture. You may have meant to use the "aarch64" arch instead (or left it unspecified for the correct default).