urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-02 21:34:04 +03:00
Code Issues Packages Projects Releases Wiki Activity
6b3956dda0
shrub/.travis
History
Joe Bryan 6b3956dda0 [CI] updates pinned arvo commit
2018-12-04 03:25:03 -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-12-04 03:25:03 -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