Update CI #99
lunny
commented 2024-03-15 13:25:43 +00:00
Owner
No description provided.
lunny
added 1 commit 2024-03-15 13:25:43 +00:00
Update CI
4b61f71590
All checks were successful
checks / check and test (push) Successful in 10m15s
Details
checks / check and test (pull_request) Successful in 10m21s
Details
lunny
merged commit 8f32c33c3e into master 2024-03-15 14:12:09 +00:00
lunny
referenced this issue from a commit 2024-03-15 14:12:09 +00:00
Update CI (#99)
lunny
deleted branch lunny/upgrade_ci 2024-03-15 14:12:10 +00:00
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "lunny/upgrade_ci"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?