Skip to content
Lint GitHub Actions workflows

Alter tooltip for plot button #1357

Sign in to view logs

Alter tooltip for plot button

Alter tooltip for plot button #1357

Triggered via push November 13, 2024 07:26
@andreas-elandreas-el
pushed 7d121c1
allow_external_plot_windows_open
Status Success
Total duration 20s
Artifacts –

actionlint.yml

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