Build docs and push to main · Workflow runs · JanssenProject/developer-docs · GitHub

Actions

All workflows
Workflows
- Build docs and push to main Build docs and push to main
- Delete old workflow runs Delete old workflow runs
- Deploy static content to Pages Deploy static content to Pages
Management
- Caches
- Deployments

Build docs and push to main

Actions

Loading...
Loading

4 workflow runs

4 workflow runs

Build docs and push to main Build docs and push to main #1337: Scheduled

14m 36s main

main

14m 36s

Build docs and push to main Build docs and push to main #1336: Scheduled

14m 31s main

main

14m 31s

Build docs and push to main Build docs and push to main #1335: Scheduled

14m 19s main

main

14m 19s

Build docs and push to main Build docs and push to main #1334: Scheduled

16m 34s main

main

16m 34s