Skip to content

Revert change to projectPermissionErrHeader, and add "(s)" to "team" #4902

Revert change to projectPermissionErrHeader, and add "(s)" to "team"

Revert change to projectPermissionErrHeader, and add "(s)" to "team" #4902

Triggered via push October 10, 2024 16:32
Status Failure
Total duration 8m 48s
Artifacts

lint.yml

on: push
linter-check
3m 42s
linter-check
link-check
8m 39s
link-check
formatter-check
1m 2s
formatter-check
cabal-format-check
32s
cabal-format-check
schema lint check
28s
schema lint check
Check for correct spelling of FOSSA
8s
Check for correct spelling of FOSSA
Lint bash scripts
14s
Lint bash scripts
Fit to window
Zoom out
Zoom in

Annotations

1 warning
schema lint check
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/