switch to hydra #157
DarkKirb
commented 2023-01-21 16:06:34 +00:00
(Migrated from github.com)
- fix misc
- Use hydra as CI
- fix misc
- Use hydra as CI
darkkirb
referenced this pull request from a commit 2024-10-28 09:51:52 +00:00
Merge pull request #157 from DarkKirb/switch-to-hydra
darkkirb
referenced this pull request from a commit 2024-10-28 09:51:55 +00:00
Merge pull request 'remove cache.chir.rs, don’t use bunny for attic.chir.rs' (#157) from remove-attic-nocdn into main
No reviewers
Labels
No labels
automated
bug
dependencies
documentation
duplicate
enhancement
good first issue
help wanted
invalid
question
update
wontfix
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: darkkirb/nixos-config#157
Loading…
Reference in a new issue
No description provided.
Delete branch "switch-to-hydra"
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?