Martin Pitt 66795725b7 Add GitHub workflow for building the OSTree repository ... Also add a script to download and unpack the artifact on my server's `public_html/`.		2022-08-14 23:08:43 +02:00
..
workflows	Add GitHub workflow for building the OSTree repository	2022-08-14 23:08:43 +02:00