Skip to content
This repository has been archived by the owner on Sep 27, 2021. It is now read-only.

CI: Move to GitHub Actions #563

Merged
merged 2 commits into from
Jul 16, 2020
Merged

CI: Move to GitHub Actions #563

merged 2 commits into from
Jul 16, 2020

Commits on Jul 15, 2020

  1. CI: Move to GitHub Actions

    @junghans
    junghans committed Jul 15, 2020
    Configuration menu
    Copy the full SHA
    6158014 View commit details
    Browse the repository at this point in the history

  2. CI: fix typo in create-pr

    @junghans
    junghans authored Jul 15, 2020
    Configuration menu
    Copy the full SHA
    7b0fdbc View commit details
    Browse the repository at this point in the history