update_ci_and_friends #11
n
commented 2024-02-03 22:29:02 +01:00
Owner
No description provided.
n
added 2 commits 2024-02-03 22:29:04 +01:00
c3aa95b829
use actions/checkout@v3 in CI
check / check (push) Successful in 5s
Details
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
Loading…
Reference in New Issue
No description provided.
Delete Branch "update_ci_and_friends"
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?