CI Improvements #142

Merged
lucas merged 5 commits from issue/color-eyre into master 2023-11-23 15:30:31 +01:00
Owner
No description provided.
lucas added 1 commit 2023-11-23 13:16:46 +01:00
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
96f3625b7a
lucas added 1 commit 2023-11-23 13:29:34 +01:00
lucas force-pushed issue/color-eyre from 9dd05adf76 to 4c96bcf5ba 2023-11-23 13:31:51 +01:00 Compare
lucas added 2 commits 2023-11-23 15:25:52 +01:00
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
92546f6f5e
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.
lucas changed title from Fix submodule refs to CI Improvements 2023-11-23 15:30:20 +01:00
lucas merged commit ff98a4a511 into master 2023-11-23 15:30:31 +01:00
lucas deleted branch issue/color-eyre 2023-11-23 15:30:31 +01:00
Sign in to join this conversation.
No reviewers
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: bitsquid_dt/dtmt#142
No description provided.