Commit Graph
3 Commits
Author SHA1 Message Date
lukaszraczylo df80dc1792 fix(ci): retry the docs push after a rejected ref
Several releases push casks to this tap at the same time. The docs job then
pushed on top of a ref that had moved, and GitHub rejected it with "cannot
lock ref". The job now rebases and retries. If the rebase fails it resets to
the remote, regenerates the page and pushes again. A concurrency group keeps
two docs runs from overlapping.
2026-10-04 12:00:47 +01:00
lukaszraczylo 48b8ed1496 Add documentation for new taps. 2025-12-08 02:01:16 +00:00
lukaszraczylo 273ae7692f Add page. 2025-12-08 01:51:34 +00:00