Skip to content

infrastructure: add a container with all dependencies and tools installed #19

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
Open
5 tasks
Tracked by #1
safl opened this issue Jan 31, 2023 · 0 comments
Open
5 tasks
Tracked by #1

infrastructure: add a container with all dependencies and tools installed #19

safl opened this issue Jan 31, 2023 · 0 comments
Labels
enhancement New feature or request help wanted Extra attention is needed
Milestone
v1.0

Comments

@safl
Copy link
Owner

safl commented Jan 31, 2023

  • Contain all tool dependencies
  • Contain all Python dependencies
  • Contain yace
  • Provided as ghcr.io package
  • Auto-deployed with release
@safl safl added enhancement New feature or request help wanted Extra attention is needed labels Jan 31, 2023
@safl safl added this to the v1.0 milestone Jan 31, 2023
@safl safl mentioned this issue Jan 31, 2023
Open
21 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request help wanted Extra attention is needed
Projects
None yet
Milestone
v1.0
Development

No branches or pull requests
1 participant
@safl