tree b2d85fce1e838b943f9051348ce42468a4956953
parent 48d7fd6b2d621a14a5befabfc87297514e1729e2
author Pepijn Noltes <pepijnnoltes@gmail.com> 1576610916 +0100
committer Pepijn Noltes <pepijnnoltes@gmail.com> 1576610916 +0100

Disables ubuntu github workflows