Skip to content
Exposition Verify

Enable queue validation and independent project metadata #61

Sign in to view logs

Enable queue validation and independent project metadata

Enable queue validation and independent project metadata #61

Triggered via pull request October 8, 2026 04:16
@Vilin97Vilin97
synchronize #610
codex/org-merge-queue-trial
Status Cancelled
Total duration 8h 28m 33s
Artifacts –

exposition-verify.yml

on: pull_request
scope
23s
scope
build-ready
33m 57s
build-ready
Verify minimal Lean files
6h 0m
Verify minimal Lean files
Fit to window
Zoom out
Zoom in

Annotations

2 errors, 2 warnings, and 3 notices
Verify minimal Lean files
The job has exceeded the maximum execution time of 6h0m0s
Verify minimal Lean files
The operation was canceled.
Verify minimal Lean files
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02, astral-sh/setup-uv@d0d8abe699bfb85fec6de9f7adb5ae17292296ff. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Verify minimal Lean files
No files were found with the provided path: exposition-verify/report.json. No artifacts will be uploaded.
scope
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
build-ready
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Verify minimal Lean files
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"