Commit Graph

7 Commits

Author SHA1 Message Date
github-actions[bot] 92269118e2 Update Antora Spring UI to v0.4.16 2024-06-20 15:48:21 -03:00
github-actions[bot] 86de2dbf6f Update Antora Spring UI to v0.4.15 2024-05-20 13:51:35 -03:00
Rob Winch c8342fcfae Use antora-extensions 1.10.0 2024-04-19 14:16:02 -05:00
Dan Allen 3e42119f84 repurpose 5.7.x branch to provide local docs build
* remove unused workflows, scripts, and configuration (now handled by docs-build branch)
* upgrade Antora to 3.1 (and Node.js to 16)
* tune playbook settings
* reconfigure docs build for local build only
* add patch to support using linked worktree as Antora content source
* remove Antora extensions not needed for local builds
2022-09-12 15:37:13 -05:00
Rob Winch 9967078059 Antora 3.0.0
Issue gh-10962
2022-03-11 13:41:19 -06:00
Josh Cummings 7b15098570 Update Spring Security to 5.7
Closes gh-10509
2021-11-15 17:10:00 -07:00
Rob Winch 127e10e607 Antora Playbook 2021-11-11 13:34:54 -06:00