Merge branch 'main' of github.com:LeanMachineLearning/exposition · LeanMachineLearning/exposition@cbf9563

Triggered via push August 7, 2026 13:56

v0.1.18

Status Success

Total duration 1m 9s

Artifacts 1

publish_referee_binary.yml

on: push

2 warnings

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@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/download-artifact@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Produced during runtime

Name	Size	Digest
referee-linux-x86_64-cbf9563fa6833802a78f36dc783015a8727e52da	69 MB	`sha256:3b0f1fe00513a0e4f693f47397048fbd8a19c8064a2a4f6bcb6e9b7b55cb60d6`