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 CI #20

Merged
merged 170 commits into from
Sep 16, 2021
Merged

Add CI #20

merged 170 commits into from
Sep 16, 2021

Conversation

MichaelStubbings
Copy link
Contributor

  • Add Continuous Integration

MichaelStubbings and others added 30 commits July 2, 2021 13:38
remove wget install step
Run an echo command to see the namespace resolver used by the Ubuntu VM
Add further directory list tests
Copy link
Contributor

@Araneidae Araneidae left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I notice that this merge request has 150 commits! Would it be possible, please, to squash the redundant content?

Other than that my only comments are a few stylistic bash comments. Do please use the if ...; then syntax.

@Araneidae
Copy link
Contributor

Looking much cleaner.

5 character indent in .github/scripts/tar-files.sh? Meh, whatever...

@thomascobb thomascobb merged commit b1b70a6 into master Sep 16, 2021
@thomascobb thomascobb deleted the ci-build branch September 16, 2021 14:24
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.

3 participants