Ian Chamberlain
|
63349bbb13
|
Don't try to publish on PR
|
12 months ago |
|
Ian Chamberlain
|
6ef7d17be3
|
Pin docs to known good nightly
Also run on pull requests just for double checking
|
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 |
