Skip to content

github: move linter to pull_request_target trigger #4

github: move linter to pull_request_target trigger

github: move linter to pull_request_target trigger #4

Triggered via push July 9, 2024 06:09
Status Failure
Total duration 33s
Artifacts

lint.yml

on: push
Theory Linter
26s
Theory Linter
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Theory Linter
Process completed with exit code 123.
Theory Linter
Unexpected input(s) 'pr_num', valid inputs are ['token', 'disable']