GIU-F1Tenth / GIU-F1Tenth/minimal_sofware_example
[feat]: Update pipeline with pre-built docker image
Open
enhancement
good first issue
- Dominant language
- Python
- Stars
- 0
- Forks
- 1
- PR merge metrics
- No merged PRs in 30d
Description
The current pipeline downloads the dependencies and builds from scratch. We can speed this up by creating the Docker image and using it for future runs.
This might entail:
- Creating a script that automatically downloads dependencies
- Updating the CI/CD pipeline
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.