Skip to content
Actionlint

chore: CI looks for nightly-testing-YYYY-MM-DD at Mathlib as either a… #22

Sign in to view logs

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

chore: CI looks for nightly-testing-YYYY-MM-DD at Mathlib as either a… #22

Triggered via push January 21, 2024 00:22
@github-merge-queuegithub-merge-queue[bot]
pushed 73b87f2
master
Status Success
Total duration 35s
Artifacts –

actionlint.yml

on: push
actionlint
27s
actionlint
Fit to window
Zoom out
Zoom in