Back to pull request #3914

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

Sign in to view logs

Triggered via pull request April 15, 2024 13:37

nomeata

opened #3914

joachim/pr-release-fetch-base

Status Success

Total duration 28s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files