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

Add job 'docker' to Travis CI #1285

Closed
wants to merge 2 commits into from
Closed

Add job 'docker' to Travis CI #1285

wants to merge 2 commits into from

Conversation

eine
Copy link

@eine eine commented Aug 12, 2019

Ref #1152

This PR adds a job named 'docker' to the Travis CI configuration file. In this job, the docker image is built. This is useful to ensure that the image is buildable. However, it is not pushed anywhere. Hence, users willing to use it need to build it themselves.

@nakengelhardt nakengelhardt added the discuss to be discussed at next dev jour fixe (see #devel-discuss at https://yosyshq.slack.com/) label Feb 6, 2020
@cliffordwolf cliffordwolf removed the discuss to be discussed at next dev jour fixe (see #devel-discuss at https://yosyshq.slack.com/) label Feb 6, 2020
@mmicko
Copy link
Member

mmicko commented Feb 10, 2020

Due to limited time we can use for Travis build, we are not able to build docker image on each commit.

@mmicko mmicko closed this Feb 10, 2020
@eine
Copy link
Author

eine commented Feb 10, 2020

@mmicko, I understand that. Precisely, in org GHDL we moved from Travis to GitHub Actions due to the time limit (50min vs 6h). That's not a problem with GHDL itself, but yosys, nextpnr, etc. might take longer than 50min if tests are executed too.

Anyway, this PR was just an excuse to bring up the discussion, since it would be almost useless anyway. I'd be glad if you could please have a look at #1287, which is the relevant issue indeed. See also librecores/docker-images#33 and ghdl/docker#21.

@mmicko
Copy link
Member

mmicko commented Feb 10, 2020

@eine Thank you for feedback. We are working on new build/test environment, and will keep this in mind.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants