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
use actions/checkout@v3 in CI
c3aa95b829
convert LICENSE to Markdown
9976528d86
All checks were successful
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 a 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?