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

Fix publishing workflows #2881

Closed
Tracked by #2711
jonybur opened this issue Sep 28, 2023 · 1 comment · Fixed by #2926
Closed
Tracked by #2711

Fix publishing workflows #2881

jonybur opened this issue Sep 28, 2023 · 1 comment · Fixed by #2926
Assignees
@jonybur

Comments

@jonybur
Copy link
Contributor

jonybur commented Sep 28, 2023

Please fix publishing workflows for GH Actions. We rely on nix build .#<foobar> commands to build , what's currently present in flake.nix does not match what;s in publish-* workflows.
@kobyhallx kobyhallx added this to Noir Sep 28, 2023
@jonybur jonybur converted this from a draft issue Sep 28, 2023
@jonybur jonybur self-assigned this Sep 28, 2023
@jonybur jonybur mentioned this issue Oct 2, 2023
Closed
@jonybur jonybur linked a pull request Oct 2, 2023 that will close this issue
chore: fix publishing workflows #2926
Merged
10 tasks
@jonybur jonybur moved this from 📋 Backlog to 🏗 In progress in Noir Oct 2, 2023
This was referenced Oct 2, 2023
Closed
Closed
@github-project-automation github-project-automation bot moved this from 🏗 In progress to ✅ Done in Noir Oct 3, 2023
@jonybur jonybur reopened this Oct 3, 2023
@TomAFrench TomAFrench moved this from ✅ Done to 📋 Backlog in Noir Oct 3, 2023
@jonybur jonybur linked a pull request Oct 4, 2023 that will close this issue
chore: unify nix publishing #2970
Closed
5 tasks
@jonybur jonybur moved this from 📋 Backlog to 🏗 In progress in Noir Oct 4, 2023
@Savio-Sou
Copy link
Collaborator

Is this Issue resolved with #2989 / relevant still?

@github-project-automation github-project-automation bot moved this from 🏗 In progress to ✅ Done in Noir Oct 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jonybur jonybur

Labels
None yet
Projects
Noir
Archived in project
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

chore: fix publishing workflows noir-lang/noir
chore: unify nix publishing noir-lang/noir
2 participants
@jonybur @Savio-Sou