Skip to content

Actions: simplesamlphp/docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
285 workflow runs
285 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
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #1083: Manually run by tvdijen
3m 31s main
main
3m 31s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #1082: Manually run by tvdijen
3m 28s main
main
3m 28s
pages build and deployment pages-build-deployment #516: by tvdijen
46s gh-pages
gh-pages
46s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #1081: Manually run by tvdijen
3m 34s main
main
3m 34s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #1080: Manually run by tvdijen
3m 19s main
main
3m 19s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #1079: Manually run by tvdijen
3m 12s main
main
3m 12s
pages build and deployment pages-build-deployment #515: by tvdijen
27s gh-pages
gh-pages
27s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #1078: Manually run by tvdijen
3m 18s main
main
3m 18s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #1077: Manually run by tvdijen
3m 27s main
main
3m 27s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #1076: Manually run by tvdijen
3m 14s main
main
3m 14s
pages build and deployment pages-build-deployment #514: by tvdijen
26s gh-pages
gh-pages
26s
pages build and deployment pages-build-deployment #513: by tvdijen
30s gh-pages
gh-pages
30s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #1075: Manually run by tvdijen
3m 8s main
main
3m 8s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #1074: Manually run by tvdijen
3m 11s main
main
3m 11s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #1073: Manually run by tvdijen
3m 17s main
main
3m 17s
pages build and deployment pages-build-deployment #512: by tvdijen
25s gh-pages
gh-pages
25s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #1072: Manually run by tvdijen
3m 13s main
main
3m 13s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #1071: Manually run by tvdijen
3m 11s main
main
3m 11s
pages build and deployment pages-build-deployment #511: by tvdijen
38s gh-pages
gh-pages
38s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #1070: Manually run by tvdijen
3m 24s main
main
3m 24s
pages build and deployment pages-build-deployment #510: by tvdijen
25s gh-pages
gh-pages
25s
pages build and deployment pages-build-deployment #509: by tvdijen
29s gh-pages
gh-pages
29s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #1069: Manually run by tvdijen
3m 10s main
main
3m 10s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #1068: Manually run by tvdijen
3m 31s main
main
3m 31s
pages build and deployment pages-build-deployment #508: by tvdijen
28s gh-pages
gh-pages
28s