Commit Graph
6 Commits
Author SHA1 Message Date
drone f8674c3d63 Add woodpecker CI pipeline 2023-09-30 15:57:48 -07:00
drone 71bc9b0098 ci: fixup auto fix for doc builds 2023-09-19 10:29:15 -07:00
Wez Furlong 620470f5aa ci: add local checker
use the drone cli to check that the starlark is well-formed,
and to try to run a build.

Useful for sanity checking a pending CI commit.

Slim down the deps very slight on ubuntu systems.
2023-09-19 09:54:54 -07:00
Wez Furlong c6425b701f ci: add auto-format fixup 2023-09-18 10:24:47 -07:00
Wez Furlong 054127c076 ci: do my own gh-pages push
The drone plugin does stuff very strangely and is incompatible
with our approach.

Do it ourselves (with blackjack and ...), so that we can avoid
cloning and bloating the repo.
2023-09-18 07:50:21 -07:00
Wez Furlong d9a4a3823d ci: set source file mtime to match git
Should improve cache viability
2023-09-16 09:08:56 -07:00