coq-nix-toolbox

coq-nix-toolbox copied to clipboard

Add support for GitHub caching of Nix builds.

5

Tests the new GitHub Action provided by Determinate Systems. Cf. https://determinate.systems/posts/magic-nix-cache. This is tested from a fork, on purpose. The `pull_request` workflow for a PR opened from a fork cannot...

Zimmi48

gares

Zimmi48

testing native config

2

We test the support for `-native-compiler yes` added in https://github.com/NixOS/nixpkgs/pull/224110.

Alizter

Generate GitHub workflows on Ubuntu and macOS.

14

Reopening #56 from a local branch to enable pushing to Cachix.

Zimmi48

I haven't tested it yet, but https://github.com/marketplace/actions/nix-quick-install is advertised as being 4 times faster than the install-nix-action that we are currently using. For the workflows in this repository, given the...

Zimmi48

Evaluation is too slow

8

While testing my PR using the Coq Nix Toolbox on the Coq repo (https://github.com/coq/coq/pull/14435), @Alizter noticed that getting into `nix-shell` takes extremely long compared to `master` (it's close to a...

Zimmi48

Updates should try to: - update the toolbox (or even nixpkgs if we deal with the toolbox itself?) - remove overlays (we would need to flag them in some way)...

CohenCyril

Coq master builds fail using the simple CI workflow

28

I'm using the Nix toolbox-based simple CI workflow that @Zimmi48 set up for our templates. However, the Coq `master` CI builds now give errors like this: ```shell Findlib error: zarith...

palmskog

This is easy to do but people don't know that if they haven't tried. So putting some doc about it will be helpful so that they are not scared to...

Zimmi48