Skip to content
Actionlint

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

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

Triggered via pull request January 20, 2024 23:30
@kim-emkim-em
synchronize #3199
pr-release-agnostic
Status Success
Total duration 30s
Artifacts –

actionlint.yml

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