Skip to content
CI

chore(sync): merge upstream main (bcf52af) into the fork — resolve the conflicts #248

Sign in to view logs

chore(sync): merge upstream main (bcf52af) into the fork — resolve the conflicts

chore(sync): merge upstream main (bcf52af) into the fork — resolve the conflicts #248

Triggered via pull request October 14, 2026 19:00
@coderabbitaicoderabbitai[bot]
synchronize #115
arena/563f1a9c-metamanifold-webui
Status Success
Total duration 21m 19s
Artifacts 1

ci.yml

on: pull_request
Julia tests
19m 49s
Julia tests
Agda proofs
48s
Agda proofs
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Agda proofs
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/
Julia tests
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@0057852bfaa89a56745cba8c7296529d2fc39830, actions/cache/save@0057852bfaa89a56745cba8c7296529d2fc39830, actions/checkout@11d5960a326750d5838078e36cf38b85af677262. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
lcov
22.8 KB
sha256:3a2a4f273103c7efb29a3431031381d179038aefece11d86ae7691627ed4fdbe