aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/nix/default.nix
AgeCommit message (Expand)Author
2020-09-28CI script wrapper now requires PythonMaxime Dénès
2020-09-10Add simple-io to dev/ci/nix.Théo Zimmermann
2020-06-10[dev/ci/nix] Support for building the Gappa plugin.Théo Zimmermann
2020-04-29CI: ext-lib is at coq-community nowAntonio Nikishaev
2020-02-11Remove fiat-crypto-legacy from CIMaxime Dénès
2020-01-15[Nix/CI] Add verdi-raftVincent Laporte
2019-05-07[nix-ci] Add coquelicot, improve flocqVincent Laporte
2019-03-18[nix] Update reference to nixpkgsVincent Laporte
2019-03-18[nix] Move nixpkgs.nix into the dev/ directoryVincent Laporte
2019-03-18[nix-ci] Use “master” versions of “coq-ext-lib” and “simple-io”Vincent Laporte
2019-03-18[nix-ci] Share the reference to nixpkgs with default.nixVincent Laporte
2019-02-05[Nix-CI] Add lambda-rustVincent Laporte
2019-02-05[Nix-CI] Add IrisVincent Laporte
2019-01-24[nix-CI] Split the build inputsVincent Laporte
2019-01-24[Nix-ci] Add QuickChickVincent Laporte
2019-01-24[Nix-ci] Fix UnicoqVincent Laporte
2019-01-24[Nix-ci] Add formal-topologyVincent Laporte
2018-11-12Helpers for debugging external projects from CIVincent Laporte
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:44:59 +0000