Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / coq-community/coq-nix-toolbox issues and pull requests

#100 - Testing metacoq

Pull Request - State: closed - Opened by CohenCyril over 2 years ago - 4 comments

#100 - Testing metacoq

Pull Request - State: closed - Opened by CohenCyril over 2 years ago - 4 comments

#99 - Testing nix PR NixOS/nixpkgs#161977

Pull Request - State: closed - Opened by CohenCyril over 2 years ago - 24 comments

#99 - Testing nix PR NixOS/nixpkgs#161977

Pull Request - State: closed - Opened by CohenCyril over 2 years ago - 24 comments

#98 - Update nixpkgs after NixOS/nixpkgs#160479.

Pull Request - State: closed - Opened by Zimmi48 almost 3 years ago

#98 - Update nixpkgs after NixOS/nixpkgs#160479.

Pull Request - State: closed - Opened by Zimmi48 almost 3 years ago

#97 - Add a command to generate a new Coq overlay with the basic boilerplate.

Issue - State: closed - Opened by Zimmi48 almost 3 years ago
Labels: enhancement

#97 - Add a command to generate a new Coq overlay with the basic boilerplate.

Issue - State: closed - Opened by Zimmi48 almost 3 years ago
Labels: enhancement

#96 - `cachedMake` does not work if `<nixpkgs>` is not defined

Issue - State: open - Opened by Zimmi48 almost 3 years ago
Labels: bug

#96 - `cachedMake` does not work if `<nixpkgs>` is not defined

Issue - State: open - Opened by Zimmi48 almost 3 years ago
Labels: bug

#95 - Coq master builds fail using the simple CI workflow

Issue - State: open - Opened by palmskog almost 3 years ago - 28 comments

#95 - Coq master builds fail using the simple CI workflow

Issue - State: open - Opened by palmskog almost 3 years ago - 28 comments

#94 - Adapt to Coq 8.15 and MathComp 1.14

Pull Request - State: closed - Opened by proux01 almost 3 years ago - 4 comments

#94 - Adapt to Coq 8.15 and MathComp 1.14

Pull Request - State: closed - Opened by proux01 almost 3 years ago - 4 comments

#93 - Test NixOS/nixpkgs#156464.

Pull Request - State: closed - Opened by Zimmi48 almost 3 years ago - 1 comment

#93 - Test NixOS/nixpkgs#156464.

Pull Request - State: closed - Opened by Zimmi48 almost 3 years ago - 1 comment

#92 - Update nixpkgs after Coq 8.15 updates.

Pull Request - State: closed - Opened by Zimmi48 almost 3 years ago - 1 comment

#92 - Update nixpkgs after Coq 8.15 updates.

Pull Request - State: closed - Opened by Zimmi48 almost 3 years ago - 1 comment

#91 - Testing nixpkgs PR 155635

Pull Request - State: closed - Opened by CohenCyril almost 3 years ago - 1 comment

#91 - Testing nixpkgs PR 155635

Pull Request - State: closed - Opened by CohenCyril almost 3 years ago - 1 comment

#90 - Deactivating a job is not transitive

Issue - State: open - Opened by eponier almost 3 years ago - 2 comments

#90 - Deactivating a job is not transitive

Issue - State: open - Opened by eponier almost 3 years ago - 2 comments

#89 - Update nixpkgs after semantics version update and mathcomp-word addition.

Pull Request - State: closed - Opened by Zimmi48 almost 3 years ago

#89 - Update nixpkgs after semantics version update and mathcomp-word addition.

Pull Request - State: closed - Opened by Zimmi48 almost 3 years ago

#88 - Update to latest nixpkgs-unstable to get Coq package updates.

Pull Request - State: closed - Opened by Zimmi48 almost 3 years ago

#88 - Update to latest nixpkgs-unstable to get Coq package updates.

Pull Request - State: closed - Opened by Zimmi48 almost 3 years ago

#87 - Update nixpkgs after NixOS/nixpkgs#149633

Pull Request - State: closed - Opened by CohenCyril almost 3 years ago - 2 comments

#87 - Update nixpkgs after NixOS/nixpkgs#149633

Pull Request - State: closed - Opened by CohenCyril almost 3 years ago - 2 comments

#86 - Update nixpkgs after Coq 8.15 addition.

Pull Request - State: closed - Opened by Zimmi48 almost 3 years ago

#86 - Update nixpkgs after Coq 8.15 addition.

Pull Request - State: closed - Opened by Zimmi48 almost 3 years ago

#85 - Update nixpkgs after NixOS/nixpkgs#147263.

Pull Request - State: closed - Opened by Zimmi48 about 3 years ago

#85 - Update nixpkgs after NixOS/nixpkgs#147263.

Pull Request - State: closed - Opened by Zimmi48 about 3 years ago

#84 - Regrouping action jobs into one

Issue - State: open - Opened by CohenCyril about 3 years ago - 4 comments
Labels: enhancement

#84 - Regrouping action jobs into one

Issue - State: open - Opened by CohenCyril about 3 years ago - 4 comments
Labels: enhancement

#82 - why `.nix/` rather than `nix/`?

Issue - State: open - Opened by quinn-dougherty about 3 years ago - 2 comments

#82 - why `.nix/` rather than `nix/`?

Issue - State: open - Opened by quinn-dougherty about 3 years ago - 2 comments

#81 - Using a more resilient nix installation

Pull Request - State: closed - Opened by CohenCyril about 3 years ago

#81 - Using a more resilient nix installation

Pull Request - State: closed - Opened by CohenCyril about 3 years ago

#80 - coqeal: 1.0.6 -> 1.1.0

Pull Request - State: closed - Opened by proux01 about 3 years ago - 1 comment

#80 - coqeal: 1.0.6 -> 1.1.0

Pull Request - State: closed - Opened by proux01 about 3 years ago - 1 comment

#79 - `.nix/config.yml` should be `.nix/config.nix` in README

Issue - State: closed - Opened by quinn-dougherty about 3 years ago - 1 comment
Labels: documentation

#79 - `.nix/config.yml` should be `.nix/config.nix` in README

Issue - State: closed - Opened by quinn-dougherty about 3 years ago - 1 comment
Labels: documentation

#78 - Broken CI target testing?

Issue - State: closed - Opened by Zimmi48 about 3 years ago - 1 comment

#78 - Broken CI target testing?

Issue - State: closed - Opened by Zimmi48 about 3 years ago - 1 comment

#77 - `cachedMake` retrieving incomplete files?

Issue - State: open - Opened by Zimmi48 about 3 years ago - 2 comments

#77 - `cachedMake` retrieving incomplete files?

Issue - State: open - Opened by Zimmi48 about 3 years ago - 2 comments

#76 - The verbose output broke the CI: everything passed

Pull Request - State: closed - Opened by CohenCyril about 3 years ago

#76 - The verbose output broke the CI: everything passed

Pull Request - State: closed - Opened by CohenCyril about 3 years ago

#75 - Exclusion was broken, it is now fixed

Pull Request - State: closed - Opened by CohenCyril about 3 years ago

#75 - Exclusion was broken, it is now fixed

Pull Request - State: closed - Opened by CohenCyril about 3 years ago

#74 - Testing CohenCyril:mathcomp-1.13

Pull Request - State: closed - Opened by CohenCyril about 3 years ago - 3 comments

#74 - Testing CohenCyril:mathcomp-1.13

Pull Request - State: closed - Opened by CohenCyril about 3 years ago - 3 comments

#73 - show the output and error message of the dry-run

Pull Request - State: closed - Opened by CohenCyril about 3 years ago - 2 comments

#73 - show the output and error message of the dry-run

Pull Request - State: closed - Opened by CohenCyril about 3 years ago - 2 comments

#72 - fixing location of extraPullNames

Pull Request - State: closed - Opened by CohenCyril about 3 years ago

#72 - fixing location of extraPullNames

Pull Request - State: closed - Opened by CohenCyril about 3 years ago

#71 - Grouping all cachix actions in one call

Pull Request - State: closed - Opened by CohenCyril about 3 years ago

#71 - Grouping all cachix actions in one call

Pull Request - State: closed - Opened by CohenCyril about 3 years ago

#70 - Grouping all cachi xactions in one call

Pull Request - State: closed - Opened by CohenCyril about 3 years ago

#70 - Grouping all cachi xactions in one call

Pull Request - State: closed - Opened by CohenCyril about 3 years ago

#69 - updating cachix-action version

Pull Request - State: closed - Opened by CohenCyril about 3 years ago

#69 - updating cachix-action version

Pull Request - State: closed - Opened by CohenCyril about 3 years ago

#68 - Always test a specific commit and not a ref.

Pull Request - State: closed - Opened by Zimmi48 about 3 years ago

#68 - Always test a specific commit and not a ref.

Pull Request - State: closed - Opened by Zimmi48 about 3 years ago

#67 - Update to latest nixpkgs master.

Pull Request - State: closed - Opened by Zimmi48 about 3 years ago

#67 - Update to latest nixpkgs master.

Pull Request - State: closed - Opened by Zimmi48 about 3 years ago

#66 - update nixpkgs

Pull Request - State: closed - Opened by CohenCyril about 3 years ago

#66 - update nixpkgs

Pull Request - State: closed - Opened by CohenCyril about 3 years ago

#65 - Update 8.14 workflow to use 8.14+rc1 release.

Pull Request - State: closed - Opened by Zimmi48 about 3 years ago

#65 - Update 8.14 workflow to use 8.14+rc1 release.

Pull Request - State: closed - Opened by Zimmi48 about 3 years ago

#64 - Update after NixOS/nixpkgs#137999.

Pull Request - State: closed - Opened by Zimmi48 about 3 years ago

#64 - Update after NixOS/nixpkgs#137999.

Pull Request - State: closed - Opened by Zimmi48 about 3 years ago

#63 - Test NixOS/nixpkgs#136989.

Pull Request - State: closed - Opened by Zimmi48 about 3 years ago - 1 comment

#63 - Test NixOS/nixpkgs#136989.

Pull Request - State: closed - Opened by Zimmi48 about 3 years ago - 1 comment

#62 - Disabling jobs only in CI.

Issue - State: open - Opened by Zimmi48 about 3 years ago - 6 comments

#62 - Disabling jobs only in CI.

Issue - State: open - Opened by Zimmi48 about 3 years ago - 6 comments

#60 - `cachedMake` issue in hydra-battles repository

Issue - State: closed - Opened by Zimmi48 over 3 years ago - 2 comments

#60 - `cachedMake` issue in hydra-battles repository

Issue - State: closed - Opened by Zimmi48 over 3 years ago - 2 comments

#59 - Update to latest nixpkgs master after topology 9.0.0 update.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago

#59 - Update to latest nixpkgs master after topology 9.0.0 update.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago

#58 - Update to latest nixpkgs.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago - 3 comments

#58 - Update to latest nixpkgs.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago - 3 comments

#57 - Generate GitHub workflows on Ubuntu and macOS.

Pull Request - State: open - Opened by Zimmi48 over 3 years ago - 14 comments

#57 - Generate GitHub workflows on Ubuntu and macOS.

Pull Request - State: open - Opened by Zimmi48 over 3 years ago - 14 comments

#56 - Generate GitHub workflows on Ubuntu and macOS.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago - 3 comments
Labels: enhancement

#56 - Generate GitHub workflows on Ubuntu and macOS.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago - 3 comments
Labels: enhancement

#55 - Deploy to Cachix even for PR from forks.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago - 9 comments

#55 - Deploy to Cachix even for PR from forks.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago - 9 comments

#54 - Test `cachix-for-forks` branch.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago

#54 - Test `cachix-for-forks` branch.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago

#53 - Enable matrix builds on CI

Pull Request - State: closed - Opened by siraben over 3 years ago - 2 comments

#53 - Enable matrix builds on CI

Pull Request - State: closed - Opened by siraben over 3 years ago - 2 comments

#52 - Use locally pinned version of nixpkgs.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago

#52 - Use locally pinned version of nixpkgs.

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago

#51 - Update nixpkgs after NixOS/nixpkgs#129766 (and corresponding doc).

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago

#51 - Update nixpkgs after NixOS/nixpkgs#129766 (and corresponding doc).

Pull Request - State: closed - Opened by Zimmi48 over 3 years ago