tree 0b5ebfa0272dfebe5738d363ad8340dff4c90dd5
parent b60f32c0eeb9b79517836fa46cb5546c820f4a84
author Thomas Klausner <tk@giga.or.at> 1606903287 +0100
committer Thomas Klausner <tk@giga.or.at> 1606903287 +0100

Add badge for github actions build status.