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 newer (v2.18) git to CI images #753

Merged
merged 4 commits into from
Jul 12, 2021
Merged

Conversation

gonuke
Copy link
Member

@gonuke gonuke commented Jul 12, 2021

Description

Install newer git during creation of CI images.

Motivation and Context

Continuous integration relies on having a full peer of the git repo. This was standard during CI on CircleCI, but the Github Action to fetch the repo requires a newer version of git (v2.18+) to accomplish this.

Changes

This changes the packages installed when making the base CI images.

@gonuke
Copy link
Member Author

gonuke commented Jul 12, 2021

I think these still need to be tested manually, is that right?

@gonuke
Copy link
Member Author

gonuke commented Jul 12, 2021

These are being tested on my repo... not sure if this is intended, but maybe a good outcome???

@gonuke
Copy link
Member Author

gonuke commented Jul 12, 2021

It seems that the test fail on my repo because I don't have push permission to the GHCR (?)

@bam241
Copy link
Member

bam241 commented Jul 12, 2021

This looks good .

I also think that pushing is not working. (we should probably add branch push restriction to avoid random run like this...)

I'll issue a PR to have the build run, and maybe tested on PR

if that crashes after merge, I'll take full responsibility, and will work on a fix !

Thx @gonuke, Merging

@bam241 bam241 merged commit 4ec7623 into svalinn:develop Jul 12, 2021
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.

2 participants