⚠️ If you want to use these changes, you will need to build from source. Consult CONTRIBUTING.md for details.
- Remove neovim file formatting; clean up gold workflow - (18fe519)
- Add ports to env in compose file - (f63ae89)
- Make victor mono the default font family for code-server - (0af67f1)
- Replace shell setup with remote install script - (fe32445)
- Add repl make task; keep git dir for dotfiles add in dev - (ceb3241)
- Add post_start to compose config; add make tasks - (9231568)
- Use interpolation for compose images - (66e6276)
- Add compose.yml and replace VERSION with .env - (daeafdf)
- Remove conda manifest files and install script - (2c2d3ac)
- Use stow for scripts and functions - (96f86b7)
- Remove setup section from gold dockerfile; fix jupyter lab in notebook dockerfile - (64d92fa)
- Remove setup section from notebook dockerfile - (2a2c740)
- Refine dev dockerfile and add nonroot user - (d5d1621)
- Add start_docker function - (0db11e4)
- Add uv to dev and update prune workflow - (e5612a1)
- Add z3 to requires for install_klee and install_verus - (a9a6807)
- Add no-install-recommends to install_docker script - (a8a5930)
- Add pkg-config to rust dependencies - (b96ea19)
- Add git stow target - (3d52a23)
- Add git clone to wanix install - (5c2e372)
- Update install_extensions to use new default category - (16ad149)
- Add zoxide (remove uv from Brewfile) - (92780d3)
- Add ssl dependency to rust image - (e931a91)
- Do not install apptainer automatically, include script - (d9e9ef2)
- Remove Wasp from web image - not worth it - (83b673b)
- Use exec format for HEALTHCHECK CMD - (7f263a6)
- Stop installing provers or lean to reduce gold image size - (6cba56b)
- Remove Ruby from CodeQL config - (7802837)
- Remove unused paths from dev workflow - (ae44081)
- Add WANIX to wasm install script - (eb22aa3)
- Create CITATION.cff - (9b42cb1)
- Create SECURITY.md - (5b1daca)
- Add syslog to dev dependencies - (9cde619)
- Use updated zsh-in-docker install command - (9999d9d)
- Add CUDA install script - (f61e46f)
- Add go kernel install script - (1dbe1d0)
- Add just to dev image - (56e11e4)
- Tweaks to wasm install script and docs - (4b06c25)
- Add deno to web image - (2a2e22c)
- Add latex install script - (b94ef52)
- Improve clarity on default SHELL; add to docs - (c4b6546)
- Add lpython and xr0 install scripts - (6e51b4d)
- Refine notebook download and wasm instal scripts - (3f408e7)
- Add ending message to wasm install script - (f4a1a4a)
- Refine wasm script - (d3146a0)
- Add WAVM and Emscripten to wasm install script - (1e1ad4c)
- Rename wasm install script - (897459c)
- Add cargo-wasix to wasm script - (638df9b)
- Remove installed items from selection of wasm tech; DRY wasm script - (fc83590)
- Clear more lint issues - (305a34c)
- Add shellcheck checks; clear issues; add config - (2694654)
- Add yamlling and checkov to make lint task - (fa40ccd)
- Add checkov config; raise GHA workflow permissions to top - (9172ccd)
- Add HEALTHCHECK to all dockerfiles and clear hadolint issues (COPY instead of ADD) - (2b0606f)
- Add HEALTHCHECK to notebook image - (15dde78)
- Standardize yaml indent to 2 spaces - (26a87a9)
- Add yamllint config and clear lint issues - (938a529)
- Add wasm runtime TUI - (2f92be5)
- Add dependencies for notebook image ISO LPython - (d5525f0)
- Add download_notebooks script to notebook image - (c98433f)
- Configure shfmt with editorconfig - (a0e62ed)
- Add shfmt to workflow; run on scripts - (42a1b9c)
- Add space in Makefile - (be8b34b)
- Rearrange make tasks ISO of adding shfmt - (c0e7734)
- Make cosmopolitan install script work (hopefully) - (b6d9dd6)
- Add watchman to Brewfile - (6bc45a1)
- Add pixi to PATH; remove pipx - (11405bd)
- Upgrade debian to bookworm; bump version - (543f2ab)
- Initial cosmopolitan install script - (b39f460)
- Add MUSL install script - (733e260)
- Add KLEE install; update Frama-C install - (5248a04)
- Add Frama-C install script - (2c95d66)
- Add nvidia container toolkit to install_docker - (69ac9d6)
- Bump version - (c263497)
- Add labels to all images - (c1a9311)
- Set version from file in root - (f593977)
- Increase number of images retained after pruning - (144ea64)
- Add VERSION arg and env variable to dev image - (1624869)
- Add pipx to Brewfile for dev image - (813766c)
- Refine gold scripts - (149601e)
- Reduce redundancy with an ARG variable - (d32fd21)
- Use Brewfile for brew packages; clean up ohmyzsh configuration - (5be7e42)
- Initial commit of code from env - (b77f25e)
- (ci) Finish changes to prune workflow, turn on - (9afa447)
- (ci) Remove user parameter so prune action works - (6cd8b30)
- (ci) Remove sudo from actions dockerfile - (5311721)
- (docs) Update link to install_extensions in README - (a0c7cb9)
- (docs) Use correct link to Trello - (59f78ee)
- (docs) Use correct link to CONTRIBUTING.md - (1b02ca7)
- Install thef*** with brew instead of nix - (88e174f)
- Update pkgx formula name - (10b798a)
- Tap oh-my-posh keg - (bc21e99)
- Install neovim with homebrew instead of apt-get to get newer version - (2d560dc)
- Dont run shellcheck on nix manifests - (35586f7)
- Use compose subcommand in make tasks; add --volumes to down task - (5aa9b18)
- Restore Makefile container build - (71d46b4)
- Remove setup section from gold dockerfile - (8077d01)
- Install and configure zoxide in correct order - (19df12b)
- Clear issues in install_docker - (344763f)
- Update install_docker - (494e33e)
- Add default font-family to jupyter css - (56ff638)
- Remove CodeQL workflow - (c920e24)
- Restore makefile build-image task - (ea5ae3b)
- Update GitHub actions workflow permissions - (a735b0a)
- Add workaround to install homebrew in docker container - (2fdd6a2)
- Add -x option to skip git curl zsh install - (0ef1516)
- Remove extra quotes from cuda script - (8778f03)
- Remove bat from latex install script - (b8f45c9)
- Move latex install script to /usr/local/bin - (051b3e9)
- Download notebooks script can properly find existing notebooks - (da32cf7)
- Copy functions to /usr/loca/bin to side step path issue in code-server - (cf985fc)
- Add fix for cosmopolitan script - (cb14d1c)
- Add lpython script to checks - (2780f60)
- Add sh extension to install_lpython - (c75a9fc)
- Correct issues in wavm and emsdk install code - (f76c111)
- Add musl script to makefile; clear issue - (70ac01c)
- Remove trailing space in checkov config - (a1900a4)
- Replace COPY with ADD - (d7c1cd1)
- Give up on symlinks, use cosmocc by updating PATH - (a2e04f0)
- Install APE loader in cosmopolitan script - (cd9f781)
- Configure conda to find environment names - (a04742f)
- Add cosmopolitan script to image - (7a53251)
- Initial install_klee functionality (hopefully) - (ead0756)
- More fixes for Klee install script - (4187d0f)
- Refine klee script - (37da6a4)
- Use cmake where required for KLEE install script - (43e085d)
- Install all deps for frama-c script - (a6930d7)
- Clear lint issues and move wasm install into rust directory - (caa6fdb)
- Try to properly add tags - (d1200d3)
- Update URL for documentation; improve code quality of install_extensions - (43d7fbf)
- Pass config in install_extensions to ensure correct install location - (17b11be)
- Add gold coin emoji - (c4e08b7)
- Standardize CONTRIBUTING markdown headers - (1002d3d)
- Improve CONTRIBUTING grammar and stuff - (041967d)
- Make README badges even cooler - (ade495c)
- Improve README and CONTRIBUTING - (806043d)
- Create code of conduct and build out contributing guide - (716ddb1)
- Start contributing section - (e5af6c2)
- Add repobeats banner to bottom of README - (4d8cf36)
- Restore facts from old repo - (b0e320c)
- Add codefactor badge - (f20ff69)
- Update paths for running workflows - (1f38996)
- Bump version to trigger build - (d1c6d2c)
- Add concurrency cancel in progress to workflows - (7f78bbc)
- Bump version - (f92ef1b)
- Bump version - (8cc6a35)
- Enable renovate dependency dashboard - (30d6539)
- Bump version - (0f94458)
- Bump version - (0d11679)
- Remove redundant quotes - (bf6f92f)
- Bump version - (1fe14d5)
- Update prune job to remove all untagged - (6f888d5)
- Only push latest tag for gold images - (4b3dec5)
- Reduce number of retained images - (4245611)
- Hopefully actually push version tags - (d46e0e9)
- Only push version tag - (60fcb41)
- Try to push versions again - (3cd0292)
- Add version tag to published images - (d1c8173)
- Change trigger to point at main branch - (56ac192)
- Refine github action workflows - (5ab9903)
- Prepare gold dockerfile for stow refactor - (11ecac5)
- Prepare web dockerfile for stow refactor - (0cb988f)
- Prepare rust dockerfile for stow refactor - (72540c3)
- Prepare notebook dockerfile for stow refactor - (8de2585)
- Prepare dev dockerfile for stow refactor - (641fec5)
- #5 - (8b853b8)
- #4 - (0998fa3)
- #3 - (1fafaf7)
- Attempt #2 to fix prune workflow - (9d4df4b)
- Trying to fix prune workflow - (68b1af1)
- Tweaks to pinokio install script; add start script - (2f883b6)
- Add pinokio install script - (a641215)
- Touch /.dockerenv to try and get homebrew to install - (f3be9d2)
- Re-add homebrew; add silent install flag - (e6d2f2c)
- Remove homebrew from dev - (f52f303)
- Remove software-properties-common dep - (5de1fa8)
- Troubleshoot error near ohmyzsh - (2553b31)
- Initial creation of download_notebooks function - (a6d1bfb)
- Still working on cosmopolitan script - (cb5e79d)
- Remove latest tag from builds - (e90b2eb)
- Add version and latest tags, push both - (f80cfc3)
- Add version take during build - (a77d045)
- Bump version in dev dockerfile to trigger build - (5c6022b)