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

Annotate GitHub actions log #188

Merged
merged 5 commits into from
Jun 3, 2024
Merged

Conversation

vmcj
Copy link
Member

@vmcj vmcj commented Jun 1, 2024

The current build fails and the log is very hard to read

@vmcj vmcj force-pushed the docker_build_gha_sections branch 5 times, most recently from 8d1b655 to 259d915 Compare June 2, 2024 13:39
@vmcj vmcj force-pushed the docker_build_gha_sections branch from e0a4564 to 847beb7 Compare June 2, 2024 15:07
Michael Vasseur added 2 commits June 2, 2024 18:02
Moving this out of the security scope of the repository would make that
we need to store this for the `github.author`. As we never used this
before it's now taken out.
The workflows did not always trigger for PRs versus normal pushes.
@vmcj vmcj force-pushed the docker_build_gha_sections branch 2 times, most recently from 6d7dbfb to d49b5d7 Compare June 2, 2024 18:07
@vmcj vmcj force-pushed the docker_build_gha_sections branch from d49b5d7 to a2f2f96 Compare June 2, 2024 18:08
@vmcj vmcj requested a review from nickygerritsen June 2, 2024 18:08
@vmcj vmcj added this pull request to the merge queue Jun 3, 2024
Merged via the queue into DOMjudge:main with commit 49329b5 Jun 3, 2024
9 checks passed
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