CI Improvements #142

Merged
lucas merged 5 commits from issue/color-eyre into master 2023-11-23 15:30:31 +01:00
Showing only changes of commit d956e75146 - Show all commits

View file

@ -74,7 +74,7 @@ jobs:
state: success
on_failure:
put: state-success
put: state-failure
resource: pr-status-lint-clippy
no_get: true
params:
@ -105,7 +105,7 @@ jobs:
state: success
on_failure:
put: state-success
put: state-failure
resource: pr-status-build-msvc
no_get: true
params:
@ -156,7 +156,7 @@ jobs:
state: success
on_failure:
put: state-success
put: state-failure
resource: pr-status-build-linux
no_get: true
params: