Skip to content
Nix CI

chore: pr-release.yaml: fetch nightly-with-mathlib sha using ls-remote #12640

Sign in to view logs

chore: pr-release.yaml: fetch nightly-with-mathlib sha using ls-remote

chore: pr-release.yaml: fetch nightly-with-mathlib sha using ls-remote #12640

Annotations

1 error

This job was cancelled