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

Conversation 0 Commits 2 Files changed 2 +1 -1

n commented 2024-02-03 22:29:02 +01:00

Owner

Copy link

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

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.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

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.