Jef Roosens 8c5652c230 ci: made build upload failable; updated ci for use with PRs		2022-05-05 23:11:18 +02:00
..
db.v	doc: added docstrings to all db/git functions	2022-05-03 20:02:05 +02:00
git.v	ci: made build upload failable; updated ci for use with PRs	2022-05-05 23:11:18 +02:00