Sanne Raymaekers 1c9fd1cf99 .github: Use the workflow_run event data in trigger-gitlab ... This workflow doesn't have access to the original pull request event that resulted in this workflow being triggered. Simply use `head_sha` which will contain the PR sha if it was triggered by a PR's workflow, or the branch sha if it was triggered from a branch's workflow.		2021-09-27 16:25:45 +02:00
..
workflows	.github: Use the workflow_run event data in trigger-gitlab	2021-09-27 16:25:45 +02:00
codecov.yml	ci: send coverage data to codecov	2020-12-10 16:14:37 +01:00