Skip to content
Check PR title for commit convention

chore: CI looks for nightly-testing-YYYY-MM-DD at Mathlib as either a branch or tag #890

Sign in to view logs

chore: CI looks for nightly-testing-YYYY-MM-DD at Mathlib as either a branch or tag

chore: CI looks for nightly-testing-YYYY-MM-DD at Mathlib as either a branch or tag #890

Triggered via pull request January 19, 2024 01:35
@kim-emkim-em
opened #3199
pr-release-agnostic
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