Skip to content
Check PR title for commit convention

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

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 #3643

Triggered via pull request April 15, 2024 13:37
@nomeatanomeata
opened #3914
joachim/pr-release-fetch-base
Status Success
Total duration 11s
Artifacts –

pr-title.yml

on: pull_request
check-pr-title
2s
check-pr-title
Fit to window
Zoom out
Zoom in