Revision d65cdc47a8631f1a82a4185287ecf87e430b8e57

Committed on 02/11/2021 1:30 pm by W0rma <beck.worma@gmail.com> [GitHub Diff]

Migrate the CI to GitHub Actions