forked from 1lab/mikan
No description
- Haskell 55.6%
- Agda 27.6%
- TeX 6.6%
- PostScript 3.8%
- HTML 3.1%
- Other 3.2%
|
Reed Mullanix
edec759aca
Fix
nix build, get all tests running, and use nix for our CI ( #11 )
This PR fixes our flake so that `nix build` (a) doesn't crash and (b) actually runs our test suite as part of the `checkPhase`. I've also gone through and made the test suite pass by either re-snapshotting tests that mention Agda by name, or by just disabling problematic parts of the test suite. Notably, I disabled: - All the Compiler tests - All the LatexAndHtml tests - Any tests that require a git submodule (either agda-stdlib or cubical) - Any tests that require an external tool Reviewed-on: 1lab/mikan#11 Reviewed-by: Amélia Liao <amyliao@noreply.codeberg.org> Co-authored-by: Reed Mullanix <reedmullanix@gmail.com> Co-committed-by: Reed Mullanix <reedmullanix@gmail.com> |
||
|---|---|---|
| .vscode | ||
| .woodpecker |
Fix nix build, get all tests running, and use nix for our CI ( #11 )
|
|
| benchmark | makefile: ban whichcraft | |
| cubical @fe3394eba7 | Update std-lib and cubical submodules | |
| doc | chore: start rebranding | |
| examples | Reverted two commits that made certain level arguments erased. | |
| mk | use mikan not agda | |
| notes | Disable the size-solver-test | |
| src | remove stack and get tests kinda working | |
| std-lib @0742c7d56f | Update std-lib and cubical submodules | |
| test |
Fix nix build, get all tests running, and use nix for our CI ( #11 )
|
|
| .editorconfig | Add an EditorConfig file | |
| .gitignore |
Fix nix build, get all tests running, and use nix for our CI ( #11 )
|
|
| .gitmodules | ||
| .hlint.yaml | ||
| .mailmap | Update .mailmap | |
| .readthedocs.yaml | ||
| cabal.project |
Fix nix build, get all tests running, and use nix for our CI ( #11 )
|
|
| cabal.project.ghc-9.14.1 | [workflows] add Cabal GHC 9.14, reactivate cubical [wasm] | |
| cabal.project.local.mtl23 | ||
| cabal.project.tc | chore: start rebranding | |
| CHANGELOG.md | Bump CI to GHC 9.14.1 | |
| CITATION.cff | Bump Agda version to 2.9.0 | |
| CODE_OF_CONDUCT.md | chore: start rebranding | |
| CONTRIBUTING.md | chore: start rebranding | |
| fix-whitespace.yaml | Add *.agda-lib to fix-whitespace.yaml | |
| flake.lock | nix: bump nixpkgs | |
| flake.nix |
Fix nix build, get all tests running, and use nix for our CI ( #11 )
|
|
| HACKING.md |
Fix nix build, get all tests running, and use nix for our CI ( #11 )
|
|
| LICENSE | chore: start rebranding | |
| Makefile | Update std-lib and cubical submodules | |
| Mikan.cabal | chore: fix typo | |
| README.md | chore: start rebranding | |
| release.sh | ||
| touchup.sh | ||
Mikan (Citrus unshiu) is a proof assistant for De Morgan cubical type theory, forked from Agda just before the release of version 2.9.0, and maintained by the 1Lab development team.