ci: add checks and devShell #7

Merged
clan-bot merged 3 commits from DavHau-main into main 2023-07-31 18:07:09 +00:00
Owner

devShells: inherit from clan-core

devShells: inherit from clan-core
clan-bot was assigned by DavHau 2023-07-31 18:05:18 +00:00
DavHau added 2 commits 2023-07-31 18:05:18 +00:00
devShells: inherit from clan-core
Some checks failed
check / test (pull_request) Failing after 5s
6528557163
DavHau added 1 commit 2023-07-31 18:07:03 +00:00
systems: only for x86_64-linux
All checks were successful
check / test (pull_request) Successful in 4s
7bd2630bd9
clan-bot merged commit 7540c390df into main 2023-07-31 18:07:09 +00:00
DavHau changed title from ci: add checks to ci: add checks and devShell 2023-07-31 18:07:34 +00:00
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No project
No Assignees
1 Participants
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: clan/clan-homepage#7
No description provided.