put LeanDeps in a separate package · LeanMachineLearning/exposition@23c0b2c

Triggered via push July 30, 2026 10:34

main

Status Success

Total duration 5m 28s

Artifacts 1

publish_referee_binary.yml

on: push

1 warning

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/

Produced during runtime

Name	Size	Digest
referee-linux-x86_64-23c0b2c32fd5fb47d948b042f4b9be6687d89910	68.9 MB	`sha256:4ef5195b2b06385d5d3a0875ae4313edd2333a378cc0011d91a87b7191594857`