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.

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

Nix gen action #726

Merged
merged 2 commits into from Jun 8, 2021
Merged

Nix gen action #726

merged 2 commits into from Jun 8, 2021

Conversation

CohenCyril
Copy link
Member

@CohenCyril CohenCyril commented Mar 19, 2021

Motivation for this change

Update nix toolbox and generate actions from the nixpkgs

Automatic note to reviewers

Read this Checklist and make sure there is a milestone.

@CohenCyril CohenCyril merged commit 6753199 into master Jun 8, 2021
@CohenCyril CohenCyril deleted the nix-gen-action branch June 8, 2021 01:04
@CohenCyril CohenCyril added this to the 1.13.0 milestone Oct 25, 2021
@CohenCyril CohenCyril added the kind: CI Issue or PR about the CI. (Gitlab CI or CI of dependencies problems linked with math-comp) label Oct 25, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind: CI Issue or PR about the CI. (Gitlab CI or CI of dependencies problems linked with math-comp)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant