Code

Annotate GitHub actions log#188

Code

Merged

vmcj merged 5 commits intoDOMjudge:mainDOMjudge/domjudge-packaging:mainfrom vmcj:docker_build_gha_sectionsvmcj/domjudge-packaging:docker_build_gha_sectionsCopy head branch name to clipboardJun 3, 2024

+100-32

Commits

Commits on Jun 2, 2024

• Annotate GitHub actions log

  Show description for b3ad0c3
  

  Michael Vasseur

  committed
  b3ad0c3

  Copy full SHA for b3ad0c3

• GitHub recommends to not use pull_request_target

  Show description for c1e3d42
  

  Michael Vasseur

  committed
  c1e3d42

  Copy full SHA for c1e3d42

• Don't store the resulting image for PRs

  Show description for 02e8da0
  

  Michael Vasseur

  committed
  02e8da0

  Copy full SHA for 02e8da0

• Actually trigger the workflow for PRs

  Show description for bff923b
  

  Michael Vasseur

  committed
  bff923b

  Copy full SHA for bff923b

• Only run when a file has changed

  

  Michael Vasseur

  committed
  a2f2f96

  Copy full SHA for a2f2f96