urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-23 02:41:35 +03:00
Code Issues Packages Projects Releases Wiki Activity
3,375 Commits 768 Branches 10 Tags 215 MiB
aea2139261
Commit Graph

4 Commits

Author SHA1 Message Date
Joe Bryan
6ea1248f94 [CI] skip arvo download, retrieve pill directly 2018-12-04 03:31:16 -05:00
Joe Bryan
21233db91e [CI] sends ctrl-z to work around profiling output hang 2018-11-06 02:36:55 -05:00
Joe Bryan
a356a83066 [CI] print backtrace on bail 2018-11-06 02:17:23 -05:00
Joe Bryan
2c30ab9ec7 [CI] enable GC and profiling, boot from pill and run tests 2018-11-06 02:17:19 -05:00