Add GitHub Actions, fix #11#12
Open
richelbilderbeek wants to merge 10 commits into
Open
Commits
Commits on Feb 4, 2022
- committed
richelbilderbeek - committed
richelbilderbeek - committed
richelbilderbeek - committed
richelbilderbeek - committed
richelbilderbeek - committed
richelbilderbeek - committed
richelbilderbeek - committed
richelbilderbeek
Commits on Apr 29, 2022
- committed
richelbilderbeek
Commits on May 2, 2022
- committed
richelbilderbeek