Skip to content
This repository was archived by the owner on May 1, 2025. It is now read-only.

ci: run on pull requests #439

Merged
lucaswerkmeister merged 2 commits into from
Jul 2, 2021

Merge branch 'master' into ci

5dbff50
Select commit
Loading
Failed to load commit list.
Merged

ci: run on pull requests #439

Merge branch 'master' into ci
5dbff50
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs