Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Nix CI with caching and checking of CoqEAL #74

Open
palmskog opened this issue Sep 1, 2021 · 1 comment · May be fixed by #75
Open

Nix CI with caching and checking of CoqEAL #74

palmskog opened this issue Sep 1, 2021 · 1 comment · May be fixed by #75

Comments

@palmskog
Copy link
Member

palmskog commented Sep 1, 2021

This is a memento that we would eventually like to have CI for paramcoq using the Nix Toolbox and Nix Action that incorporates the following features:

  • caching using the coq-community cachix
  • checking of the downstream CoqEAL project for every PR and merge

One inspiration is how the hydra-battles project currently checks the downstream Goedel project.

Unfortunately, the Nix Toolbox not currently easy to use without in-depth Nix knowledge, so we will need help from @Zimmi48 or @CohenCyril.
@Zimmi48
Copy link
Member

Zimmi48 commented Sep 1, 2021

Sure, I can open a PR to set things up!

Zimmi48 added a commit to Zimmi48/paramcoq that referenced this issue Sep 1, 2021
@Zimmi48
Add Coq Nix Toolbox-based CI to test CoqEAL.
ae121fd 
Closes coq-community#74.
@Zimmi48 Zimmi48 linked a pull request Sep 1, 2021 that will close this issue
Open
Zimmi48 added a commit to Zimmi48/paramcoq that referenced this issue Sep 1, 2021
@Zimmi48
Add Coq Nix Toolbox-based CI to test CoqEAL.
abb2045 
Closes coq-community#74.
Zimmi48 added a commit to Zimmi48/paramcoq that referenced this issue Sep 1, 2021
@Zimmi48
Add Coq Nix Toolbox-based CI to test CoqEAL.
9ddff20 
Closes coq-community#74.
Zimmi48 added a commit to Zimmi48/paramcoq that referenced this issue Sep 1, 2021
@Zimmi48
Add Coq Nix Toolbox-based CI to test CoqEAL.
790ec4e 
Closes coq-community#74.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add Coq Nix Toolbox-based CI to test CoqEAL. Zimmi48/paramcoq
2 participants
@palmskog @Zimmi48