Dustin Carlino
|
97a9f38e0c
|
Fix github actions build after adding music [rebuild]
|
2020-12-09 18:24:47 -08:00 |
|
Dustin Carlino
|
16b561a408
|
Move game/helpers into game/common. And fix github rustdoc workflow
|
2020-11-23 23:39:55 -08:00 |
|
Dustin Carlino
|
2935d2379b
|
Mechanical rename of ezgui -> widgetry, a much better name to enchant the Rust community. #253 [rebuild]
|
2020-08-27 10:37:04 -07:00 |
|
Dustin Carlino
|
bf57c26278
|
Documenting the trip transitions right now, partly as brainstorming for refactoring
|
2020-08-23 14:10:52 -07:00 |
|
Dustin Carlino
|
1d0470dac2
|
Fix the rustdoc workflow (handle ezgui feature import clash, and
document private struct fields)
|
2020-08-20 16:46:08 -07:00 |
|
Dustin Carlino
|
2bfb5d5ac4
|
Track how many cars are entering zones with caps.
Tested by print debugging and comparing to throughput stats
|
2020-08-20 16:38:45 -07:00 |
|
Dustin Carlino
|
8c732feffb
|
Build and publish cargo docs too
First try, real try...
|
2020-08-19 11:33:00 -07:00 |
|
Dustin Carlino
|
f9b41dda30
|
finally get github pages + mdbook to work, thanks to
https://github.com/rust-lang/mdBook/pull/1248#issuecomment-671528271 and
removing jekyll
|
2020-08-10 13:49:30 -07:00 |
|