| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | treewide: machine -> nodes.machine | Robert Hensing | 2022-03-28 |
| * | nixosTests.agda: Adapt to --guardedness requirements | Manuel Bärenz | 2021-07-15 |
| * | agda nixos test: fix hello world program | Alex Rice | 2021-03-17 |
| * | Merge pull request #110512 from neosimsim/agda-dont-install-Everything | Anderson Torres | 2021-02-03 |
| |\ | |||
| | * | agdaPackages.mkDerivation: don't install Everything module | Alexander Ben Nasrallah | 2021-01-24 |
| * | | nixos/tests/agda: check execution of HelloWorld | Alexander Ben Nasrallah | 2021-01-24 |
| |/ | |||
| * | treewide: simplify pkgs.stdenv.lib -> pkgs.lib | Dominik Xaver Hörl | 2021-01-10 |
| * | tests/agda: Fix comment | Manuel Bärenz | 2020-09-18 |
| * | agda: Added test | Manuel Bärenz | 2020-05-14 |