Wez Furlong 3784bbac0a ci: ping package server to rebuild after uploading asset ...

Github's webhooks don't trigger for asset uploads, so we must
explicitly do our own signaling.

2024-07-22 08:45:56 -07:00

..

build-builder-images.py

ci: install GH cli in the ubuntu image

2024-07-04 08:54:53 -07:00

check-starlark.sh

ci: fixup auto fix for doc builds

2023-09-19 10:29:15 -07:00

create-release.sh

ci: shift release creation to woodpecker, upload pkgs to release

2024-07-04 17:03:12 -07:00

emit-builder-dockerfile.py

ci: add gpg explicitly

2024-07-04 14:23:17 -07:00

git-restore-mtime

ci: set source file mtime to match git

2023-09-16 09:08:56 -07:00

notify-package-server.sh

ci: ping package server to rebuild after uploading asset

2024-07-22 08:45:56 -07:00

populate-cache-vars.sh

ci: fixup failure in PR mode

2024-06-19 08:34:22 -07:00

push-auto-fix.sh

ci: fixup auto fix for doc builds

2023-09-19 10:29:15 -07:00

push-gh-pages.sh

Add woodpecker CI pipeline

2023-09-30 15:57:48 -07:00

retry.sh

ci: try uploading main builds to a new dev GH release

2024-07-04 15:42:15 -07:00