urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-22 18:31:44 +03:00
Code Issues Packages Projects Releases Wiki Activity
c10b96d5ed
shrub/.github/workflows
History
matildepark 20da8a6ed3
Merge pull request #4286 from urbit/jt/merge-via-bot 
Use bot to execute merge workflow
2021-01-14 11:53:40 -05:00
..
build.yml build: Build docker image and publish to Docker Hub 2021-01-13 12:36:45 -05:00
glob.yml glob.yml: remove on-PR globbing 2021-01-05 21:55:26 -05:00
merge.yml meta: activate adjusted merge workflow 2021-01-14 15:56:57 +09:00
release-docker.yml build: Build docker image and publish to Docker Hub 2021-01-13 12:36:45 -05:00
release.yml build: Build docker image and publish to Docker Hub 2021-01-13 12:36:45 -05:00