*: /usr merge #102

Merged
forge merged 1 commit from usr-merge into main 2024-10-17 00:11:04 +00:00
Owner
No description provided.
forge added 1 commit 2024-10-16 23:39:29 +00:00
*: /usr merge
All checks were successful
/ lint (pull_request) Successful in 35s
/ deploy-edge (pull_request) Successful in 1m12s
/ build-edge (pull_request) Successful in 4m14s
/ deploy-v3.19 (pull_request) Successful in 1m5s
/ build-v3.19 (pull_request) Successful in 3m42s
/ deploy-v3.20 (pull_request) Successful in 1m1s
/ build-v3.20 (pull_request) Successful in 3m58s
bad5de4e9a
forge added 5 commits 2024-10-16 23:56:36 +00:00
qubes-vm-utils
All checks were successful
/ lint (pull_request) Successful in 28s
/ deploy-v3.19 (pull_request) Successful in 1m23s
/ build-v3.19 (pull_request) Successful in 2m31s
/ build-v3.20 (pull_request) Successful in 2m33s
/ deploy-v3.20 (pull_request) Successful in 1m26s
/ deploy-edge (pull_request) Successful in 1m23s
/ build-edge (pull_request) Successful in 3m13s
83b5ebdfd1
forge force-pushed usr-merge from 83b5ebdfd1 to a0e397c918 2024-10-17 00:10:42 +00:00 Compare
forge merged commit a0e397c918 into main 2024-10-17 00:11:04 +00:00
forge deleted branch usr-merge 2024-10-17 00:11:05 +00:00
Sign in to join this conversation.
No reviewers
No labels
Maintenance
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: forge/qports#102
No description provided.