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

chore: run misc/docker-integration from the CI #742

Merged
merged 4 commits into from
Apr 16, 2023

Conversation

moul
Copy link
Member

@moul moul commented Apr 14, 2023

  • run make test.docker (./misc/docker-integration) from the CI.
  • add a basic timeout support to know earlier if gnoland's startup failed.

@moul moul self-assigned this Apr 14, 2023
@moul-bot moul-bot force-pushed the dev/moul/fix-docker-integration branch from 336b7dc to a0afd40 Compare April 14, 2023 10:00
@moul moul changed the title dev/moul/fix docker integration chore: run misc/docker-integration from the CI Apr 14, 2023
Signed-off-by: Manfred Touron <94029+moul@users.noreply.github.com>
@moul-bot moul-bot force-pushed the dev/moul/fix-docker-integration branch from a0afd40 to d10f24f Compare April 14, 2023 10:03
Signed-off-by: Manfred Touron <94029+moul@users.noreply.github.com>
@moul moul marked this pull request as ready for review April 14, 2023 10:38
@moul moul requested a review from a team as a code owner April 14, 2023 10:38
@moul moul merged commit acbee97 into gnolang:master Apr 16, 2023
4 checks passed
@moul moul deleted the dev/moul/fix-docker-integration branch April 16, 2023 19:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: 🌟 Wanted for Launch
Archived in project
Development

Successfully merging this pull request may close these issues.

None yet

1 participant