Skip to content

Actions: simplesamlphp/docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
301 workflow runs
301 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 #459: by tvdijen
25s gh-pages
gh-pages
25s
Restore possibility to use anchors (#12) Build and deploy documentation site to GitHub Pages based on repo contents #985: Commit 04f0d74 pushed by tvdijen
2m 34s main
main
2m 34s
Fix indentation Build and deploy documentation site to GitHub Pages based on repo contents #984: Commit 47cca4e pushed by tvdijen
3m 9s feature/anchors
feature/anchors
3m 9s
pages build and deployment pages-build-deployment #458: by tvdijen
1m 37s gh-pages
gh-pages
1m 37s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #983: Manually run by tvdijen
3m 33s main
main
3m 33s
pages build and deployment pages-build-deployment #457: by tvdijen
24s gh-pages
gh-pages
24s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #982: Manually run by tvdijen
2m 42s main
main
2m 42s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #981: Manually run by tvdijen
2m 42s main
main
2m 42s
pages build and deployment pages-build-deployment #456: 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 #980: Manually run by tvdijen
2m 37s main
main
2m 37s
pages build and deployment pages-build-deployment #455: by tvdijen
26s gh-pages
gh-pages
26s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #979: Manually run by tvdijen
2m 36s main
main
2m 36s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #978: Manually run by tvdijen
2m 45s main
main
2m 45s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #977: Manually run by tvdijen
2m 59s main
main
2m 59s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #976: Manually run by tvdijen
2m 30s main
main
2m 30s
pages build and deployment pages-build-deployment #454: by tvdijen
51s gh-pages
gh-pages
51s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #975: Manually run by tvdijen
3m 1s main
main
3m 1s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #974: Manually run by tvdijen
3m 5s main
main
3m 5s
pages build and deployment pages-build-deployment #453: by tvdijen
21s gh-pages
gh-pages
21s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #973: Manually run by tvdijen
2m 48s main
main
2m 48s
pages build and deployment pages-build-deployment #452: by tvdijen
6m 20s gh-pages
gh-pages
6m 20s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #972: Manually run by tvdijen
2m 55s main
main
2m 55s
pages build and deployment pages-build-deployment #451: by tvdijen
10m 20s gh-pages
gh-pages
10m 20s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #971: Manually run by tvdijen
3m 12s main
main
3m 12s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #970: Manually run by tvdijen
2m 37s main
main
2m 37s
ProTip! You can narrow down the results and go further in time using created:<2025-08-26 or the other filters available.