Age | Commit message (Expand) | Author |
---|---|---|
2024-12-21 | Re-namespace some stuff to Omni | Ben Sima |
2022-07-19 | Upgrade nixpkgs, ghc923 | Ben Sima |
2021-01-27 | Set subscription in user page, operator precedence | Ben Sima |
2021-01-26 | Add user subscription field | Ben Sima |
2021-01-22 | Persist Analysis runs | Ben Sima |