Skip to content

Actions: alire-project/docs.ada.dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
251 workflow runs
251 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
pages build and deployment pages-build-deployment #66: by github-pages Bot
58s gh-pages
gh-pages
58s
Deploy documentation site Deploy documentation site #62: Manually run by github-actions Bot
40s main
main
40s
Process new Alire crates Process new Alire crates #128: Scheduled
2m 59s main
main
2m 59s
Process new Alire crates Process new Alire crates #127: Scheduled
2m 44s main
main
2m 44s
Process new Alire crates Process new Alire crates #126: Scheduled
2m 41s main
main
2m 41s
Process new Alire crates Process new Alire crates #125: Scheduled
3m 1s main
main
3m 1s
Process new Alire crates Process new Alire crates #124: Scheduled
2m 48s main
main
2m 48s
Process new Alire crates Process new Alire crates #123: Scheduled
2m 40s main
main
2m 40s
Process new Alire crates Process new Alire crates #122: Scheduled
2m 44s main
main
2m 44s
pages build and deployment pages-build-deployment #65: by github-pages Bot
1m 6s gh-pages
gh-pages
1m 6s
Deploy documentation site Deploy documentation site #61: Manually run by github-actions Bot
46s main
main
46s
Process new Alire crates Process new Alire crates #121: Scheduled
4m 7s main
main
4m 7s
Process new Alire crates Process new Alire crates #120: Scheduled
2m 45s main
main
2m 45s
pages build and deployment pages-build-deployment #64: by github-pages Bot
1m 7s gh-pages
gh-pages
1m 7s
Deploy documentation site Deploy documentation site #60: Manually run by github-actions Bot
37s main
main
37s
Process new Alire crates Process new Alire crates #119: Scheduled
3m 43s main
main
3m 43s
Process new Alire crates Process new Alire crates #118: Scheduled
2m 46s main
main
2m 46s
pages build and deployment pages-build-deployment #63: by github-pages Bot
1m 11s gh-pages
gh-pages
1m 11s
Deploy documentation site Deploy documentation site #59: Manually run by github-actions Bot
48s main
main
48s
Process new Alire crates Process new Alire crates #117: Scheduled
4m 24s main
main
4m 24s
Process new Alire crates Process new Alire crates #116: Scheduled
2m 51s main
main
2m 51s
Process new Alire crates Process new Alire crates #115: Scheduled
2m 32s main
main
2m 32s
Process new Alire crates Process new Alire crates #114: Scheduled
2m 58s main
main
2m 58s
Process new Alire crates Process new Alire crates #113: Scheduled
2m 52s main
main
2m 52s
pages build and deployment pages-build-deployment #62: by github-pages Bot
1m 10s gh-pages
gh-pages
1m 10s