coq-nix-toolbox

coq-nix-toolbox copied to clipboard

As noticed by @kyoDralliam.

Zimmi48

Deactivating a job is not transitive

2

It seems like setting `job = false` for a reverse dependency does not disable reverse dependencies of this reverse dependency. For instance, in [this commit](https://github.com/LPCIC/coq-elpi/pull/322/commits/32ec9f65e8bfd4e287a245db3bc53887b149c600#diff-a4e04df48252cabe60d40e7d9b7417d7c5f9259e81e4be5e86f18430a22d011a) of coq-elpi, we tried to...

eponier

Should we disable some jobs when building a PR from a fork or when Cachix writing is disabled?

1

By default, generated CI for projects with reverse dependencies will include jobs depending on other ones and if Cachix writing is disabled (either because no Cachix key / token is...

Zimmi48

Unclear error message when running unknown job.

2

`nix-shell --argstr job foo` will produce: ``` error: nix-shell requires a single derivation ```

Zimmi48

Regrouping action jobs into one

4

Instead of creating one job per package, I'd rather have the action launch three nix-builds: one for the dependencies, one for the main packages and one for the reverse dependencies,...

CohenCyril

Actions should embed and check the hashes of the toolbox, nixpkgs revision and config.nix in use before even running, so as not to waste computation time and user time running...

CohenCyril

why `.nix/` rather than `nix/`?

2

Minor thing, every repo I read that has more than one `.nix` file in the haskell ecosystem makes the nix dir `nix/`. Can we maybe pass in `NIXDIR` argument to...

quinn-dougherty

`cachedMake` retrieving incomplete files?

2

In https://github.com/coq-community/hydra-battles/runs/4054266890?check_suite_focus=true, we got an error of the following form while building a coqdoc target: ``` /home/runner/work/hydra-battles/hydra-battles/theories/ordinals/Ackermann/wellFormed.vo: premature end of file. Try to rebuild it. ``` In principle, the file...

Zimmi48

Disabling jobs only in CI.

6

In https://github.com/coq-community/paramcoq/pull/75, I had to put `coqPackages.mathcomp.job = false;` because I had also put `coqPackages.mathcomp.override.version = "master";` but there was no reason to have a CI job building the full...

Zimmi48

Following the last force-push before merging #55, CI for hydra-battles has started failing with a very uninformative "Error: Process completed with exit code 1." It would be good if we...

Zimmi48