Skip to content

Create branch on PR

Javier Duarte requested to merge github/fork/jmduarte/main into main

Description

Currently, our GitLab PyTests do not run on PRs created from forks due to the configuration of GitLab CI (i.e. the commit has to exist in our repo). The purpose of this PR is to push the head of a PR branch (especially those made from forks) to a branch in this repo.

This PR adds two GitHub Action workflows

  • When a new PR is opened, a branch is created called pr/#, where # is the PR number
  • When a PR is updated, the head of the PR branch is pushed to the (hopefully existing) branch pr/#

Type of change

For a new feature or function, please create an issue first to discuss it with us before submitting a pull request.

  • Other (Specify): CI update

Tests

Tested on https://github.com/jmduarte/hls4ml

Checklist

  • I have read the guidelines for contributing.
  • I have commented my code, particularly in hard-to-understand areas.
  • I have made corresponding changes to the documentation.
  • My changes generate no new warnings.
  • I have added tests that prove my fix is effective or that my feature works.B

Merge request reports