urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-11-28 22:33:06 +03:00
Code Issues Packages Projects Releases Wiki Activity
60f67727fe
shrub/.github/workflows
History
Jared Tobin 60f67727fe meta: stage adjusted merge workflow 
Uses janeway-bot's token, rather than the default GitHub Actions token,
to allow the merge workflow to trigger others.
2021-01-14 15:56:34 +09:00
..
build.yml build: use ares.cachix.org for continuous integration 2020-12-14 08:54:42 +01:00
glob.yml glob.yml: remove on-PR globbing 2021-01-05 21:55:26 -05:00
merge.yml meta: stage adjusted merge workflow 2021-01-14 15:56:34 +09:00
release.yml build: use ares.cachix.org for continuous integration 2020-12-14 08:54:42 +01:00