urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-16 14:58:25 +03:00
Code Issues Packages Projects Releases Wiki Activity
ab455736e9
shrub/.travis
History
Joe Bryan 819967dd62 [CI] updates pinned arvo commit
2018-11-26 17:59:41 -05:00
..
.gitattributes [CI] enable GC and profiling, boot from pill and run tests 2018-11-06 02:17:19 -05:00
.gitignore [CI] enable GC and profiling, boot from pill and run tests 2018-11-06 02:17:19 -05:00
package-lock.json [CI] enable GC and profiling, boot from pill and run tests 2018-11-06 02:17:19 -05:00
package.json [CI] enable GC and profiling, boot from pill and run tests 2018-11-06 02:17:19 -05:00
pin-arvo-commit.txt [CI] updates pinned arvo commit 2018-11-26 17:59:41 -05:00
print-core-backtrace.sh [CI] fix deploy phase, move coredump backtrace to a script 2018-11-07 14:38:59 -05:00
test.js [CI] sends ctrl-z to work around profiling output hang 2018-11-06 02:36:55 -05:00