12 Commits (8e117c05da05606df4070ef3cfdc11f78ecb1d6e)

Author SHA1 Message Date
Ian Chamberlain 63349bbb13
Don't try to publish on PR 12 months ago
Ian Chamberlain 6ef7d17be3
Pin docs to known good nightly 12 months ago
Ian Chamberlain 30c0c72086
Try a different theme and fix build failure 1 year ago
Ian Chamberlain 4f0b06c0a8
Add default github pages config plus crate docs 1 year ago
Ian Chamberlain e9464fe0bc
Add default landing page for Pages 1 year ago
Ian Chamberlain ba1d357148
Fix file permissions before upload 1 year ago
Ian Chamberlain 1216a78ea7
Try specifying an environment 1 year ago
Ian Chamberlain ce3c8a0508
Use a separate deploy job for github pages 1 year ago
Ian Chamberlain 02701e7770
Add write permissions to token for pages 1 year ago
Ian Chamberlain 599e4da4f1
Update to actions/checkout@v4 1 year ago
Ian Chamberlain 52d578ed03
Use newer "upload" workflow for GH pages 1 year ago
Ian Chamberlain e0a4eb69d9
First pass of generating docs to github pages 1 year ago