Skip to content
Lint GitHub Actions workflows

Make it possible to edit the plot title #9718

Sign in to view logs

Make it possible to edit the plot title

Make it possible to edit the plot title #9718

Triggered via push November 24, 2023 14:04
@larsevjlarsevj
pushed 70d07bf
main
Status Success
Total duration 15s
Artifacts –

actionlint.yml

on: push
Check all workflow files
6s
Check all workflow files
Fit to window
Zoom out
Zoom in