Lint

Merge pull request #3824 from pleroy/Generalize #728

Sign in to view logs

Triggered via push December 26, 2023 21:56

pleroy

master

Status Success

Total duration 2m 1s

Artifacts –

lint.yaml

on: push

check-remove-before-flight