Skip to content

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

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

Triggered via pull request January 20, 2024 23:35
Status Success
Total duration 29s
Artifacts

actionlint.yml

on: pull_request
actionlint
21s
actionlint
Fit to window
Zoom out
Zoom in