bump master #23
No reviewers
Labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: steveej/infra#23
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "pr/bump"
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?
assigned to @steveeJ
added 2 commits
e3b6e5f6
- zsh: add just completion56a66ffa
- Justfile: add TODOCompare with previous version
added 1 commit
Compare with previous version
added 1 commit
3a17019f
- gitlab-ci: use custom nix-channels for CI runCompare with previous version
mentioned in commit
de76d35f18
merged