Commit History

Author SHA1 Message Date
  Adam Chlipala b4f32f61bd Switch to pulling all Ur/Web infrastructure from Ubuntu (#3823) 7 years ago
  Nate 4841f45892 Ur/* remove TE dependencies and urweb-base (#3510) 7 years ago
  Mike Smith 6fce84a278 WIP: Dockerify everything (#3457) 7 years ago
  Nate 8d10136e89 remove $CPU_COUNT (#3474) 7 years ago
  Nate 74facb66fc Docker Multiple Container Support + Dart start/stream as examples (#3321) 7 years ago