Skip to content

fix(core): load the compositional models and unbreak the build tree #565

fix(core): load the compositional models and unbreak the build tree

fix(core): load the compositional models and unbreak the build tree #565

Triggered via pull request October 23, 2026 00:48
Status Success
Total duration 15s
Artifacts –

ci.yml

on: pull_request
Code relevance
11s
Code relevance
Occupancy relevance
9s
Occupancy relevance
Julia tests
0s
Julia tests
Agda proofs
0s
Agda proofs
Occupancy typed peak
Occupancy typed peak
Occupancy disagreement test
0s
Occupancy disagreement test
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Occupancy relevance
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@11d5960a326750d5838078e36cf38b85af677262. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Code relevance
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@11d5960a326750d5838078e36cf38b85af677262. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/