Skip to content

Merge remote-tracking branch 'origin/unstable' into unstable #115

Merge remote-tracking branch 'origin/unstable' into unstable

Merge remote-tracking branch 'origin/unstable' into unstable #115

Triggered via push October 1, 2023 13:10
Status Success
Total duration 22s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

push.yml

on: push
Matrix: linting
Fit to window
Zoom out
Zoom in