Ryan Blue
4d28bdc19e
[ci] Update Github Pages deploy action parameters ( #5343 )
2023-05-17 21:02:43 -07:00
Ryan Blue
e0f851871f
[ci] Fix github pages deploy version ( #5342 )
2023-05-17 20:42:52 -07:00
sciencewhiz
96e41c0447
[ci] Update deploy and sshagent actions ( #5338 )
...
Fixes node deprecations
2023-05-16 20:50:03 -07:00
Tyler Veness
d07267fed1
[ci] Upgrade containers to Ubuntu 22.04 and remove libclang installation ( #4633 )
2022-11-14 14:20:08 -08:00
Peter Johnson
b2a0093294
[ci] Revert upgrade of github-pages-deploy-action ( #4521 )
...
It broke publishing
2022-10-25 19:20:30 -07:00
PJ Reiniger
b55d5b3034
[ci] Update deprecated github actions ( #4501 )
2022-10-22 21:09:44 -07:00
Peter Johnson
abc605c9c9
[ci] Update workflows to 20.04 base image ( #4271 )
2022-05-27 23:33:33 -07:00
Austin Shalit
d27ed3722b
[ci] Set actions workflow concurrency ( #4060 )
...
This sets the workflow concurrency to 1 for all workflows. For PRs this means if you push an additional commit older jobs will be cancelled.
The documentation workflow already only runs on tags or merges to main. For this, we cancel previous runs if they are to the same destination (tag or main) but still prevent 2 jobs from running at once if they are spawned from different refs.
2022-02-27 20:13:58 -08:00
Austin Shalit
e7f9331e4b
[build] Update to Doxygen 1.9.1 ( #3008 )
2021-07-22 18:33:15 -07:00
Peter Johnson
8494a5761b
Rename default branch to main ( #3140 )
2021-01-30 13:46:56 -08:00
Austin Shalit
767ac1de10
[build] Use deploy key for doc publish ( #3048 )
...
This allows us to limit the scope of personal access tokens
2021-01-04 15:21:47 -08:00
Austin Shalit
d762215d13
[build] Add publish documentation script ( #3040 )
2021-01-04 13:59:19 -08:00
