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

Migrate to Github Actions #2764

Closed
wants to merge 1 commit into from

Commits on Nov 15, 2020

  1. Migrate to Github Actions

    Marvin Wichmann committed Nov 15, 2020
    Configuration menu
    Copy the full SHA
    2faa70e View commit details
    Browse the repository at this point in the history