update_ci_and_friends #11

Merged
n merged 2 commits from update_ci_and_friends into main 2024-02-03 22:29:50 +01:00
Owner
No description provided.
n added 2 commits 2024-02-03 22:29:04 +01:00
n merged commit 9976528d86 into main 2024-02-03 22:29:50 +01:00
n deleted branch update_ci_and_friends 2024-02-03 22:29:52 +01:00
Sign in to join this conversation.
No reviewers
No Label
No Milestone
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: n/scripts#11
No description provided.