Completed
Push — github-actions ( 8b8d2e...8525c5 )
by Mark
01:39
created

No notable changes

There were no notable changes in the changeset which was inspected.

9.42
▶   ± 0
Head
Mark Prins  
some style and syntax fixes
Base
Mark Prins  
Github actions and getting rid of Travis-CI