84707457fc
Workaround bug in Unison
2020-08-27 07:02:38 -06:00
0db55ffbcb
Adjust syntax properly for time commands
2020-08-23 20:12:13 -06:00
bb4c3f22ee
Report timing information during Docker build
2020-08-23 17:51:00 -06:00
dd67746972
Yet another commit trying to fix CI timeouts
2020-08-23 13:42:02 -06:00
a7af89cf04
Fix name of environment variable O_o
2020-08-23 09:16:25 -06:00
af8f0a09ab
Make timeout *absurdly* long
2020-08-22 22:51:54 -06:00
37a4be8a0a
Decrease concurrency also
2020-08-22 21:18:39 -06:00
016d3c8209
Bump timeout to be ridiculously long
2020-08-22 20:32:36 -06:00
8af94f9002
Reduce concurrency only when building prod image
2020-08-22 19:54:01 -06:00
2d649ab017
The edge of glory (rolling-release ~everything~)
2020-07-31 19:30:08 -06:00
b7c65bcd6c
Run tests while building production image
2020-07-31 17:44:27 -06:00
534c5d5f2f
Attempt to fix dpkg-configure error in build
2020-07-29 12:09:52 -06:00
3fd5bd32d8
Remove needless arguments from Docker scripts
2020-07-19 17:35:05 -06:00
0b8d5d244d
Refactor api.ts, plug resource leaks, fix build
2020-07-11 11:09:12 -06:00
8b8c199c34
Refactor, LSP working for Elixir
2020-07-08 18:56:52 -06:00
91fe6ffd65
Drop privileges to respective uid
2020-06-22 20:46:42 -06:00
afad563d56
Automatically allocate one uid per session
2020-06-22 12:35:38 -06:00
144202adf1
Make 'docker stop' work properly
2020-06-12 12:34:51 -06:00
406c64e68d
Optimize prod image build for Docker cache
2020-06-12 12:31:04 -06:00
66fea5be40
Misc fixups for production setup
2020-06-11 14:42:48 -06:00
b4636c46ae
Split docker-install.bash into many layers
...
I've been running into trouble where something will fail inscrutably
in docker-install.bash or when pushing a large layer or something else
of that nature, and those errors really suck when it's just one big
layer. This should aid development and deployment both.
2020-06-10 17:35:08 -06:00
6295e51d90
Getting things ready for deploy to Heroku
2020-06-09 15:17:46 -06:00
Radon Rosborough