CI Improvements #142

Merged
lucas merged 5 commits from issue/color-eyre into master 2023-11-23 15:30:31 +01:00

5 commits

Author SHA1 Message Date
92546f6f5e
Fix pipeline status
All checks were successful
lint/clippy Checking for common mistakes and opportunities for code improvement
build/msvc Build for the target platform: msvc
build/linux Build for the target platform: linux
Since the PR pipeline is not re-applied on new commits, the `pr.head.ref`
variable doesn't get updated, and isn't suitable for the status
reporting.
2023-11-23 15:23:40 +01:00
b86ea337d1
Fix build script 2023-11-23 15:23:02 +01:00
4c96bcf5ba
Improve CI log output
Some checks failed
lint/clippy Checking for common mistakes and opportunities for code improvement
build/linux Build for the target platform: linux
build/msvc Build for the target platform: msvc
2023-11-23 13:31:43 +01:00
d956e75146
Fix step names 2023-11-23 13:19:00 +01:00
96f3625b7a
Fix submodule refs
Some checks failed
build/msvc Build for the target platform: msvc
lint/clippy Checking for common mistakes and opportunities for code improvement
build/linux Build for the target platform: linux
2023-11-23 13:16:03 +01:00