Skip to content

Actions: simplesamlphp/docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
676 workflow runs
676 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #187: by github-pages bot
October 30, 2023 19:00 36s
October 30, 2023 19:00 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 #445: Manually run by tvdijen
October 30, 2023 18:59 3m 7s main
main
October 30, 2023 18:59 3m 7s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #444: Manually run by tvdijen
October 30, 2023 18:59 3m 14s main
main
October 30, 2023 18:59 3m 14s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #443: Manually run by tvdijen
October 30, 2023 18:57 3m 4s main
main
October 30, 2023 18:57 3m 4s
pages build and deployment pages-build-deployment #186: by github-pages bot
October 30, 2023 12:40 37s
October 30, 2023 12:40 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 #442: Manually run by tvdijen
October 30, 2023 12:38 2m 58s main
main
October 30, 2023 12:38 2m 58s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #441: Manually run by tvdijen
October 30, 2023 12:37 3m 9s main
main
October 30, 2023 12:37 3m 9s
pages build and deployment pages-build-deployment #185: by github-pages bot
October 30, 2023 11:11 36s
October 30, 2023 11:11 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 #440: Manually run by tvdijen
October 30, 2023 11:08 3m 1s main
main
October 30, 2023 11:08 3m 1s
pages build and deployment pages-build-deployment #184: by github-pages bot
October 27, 2023 09:08 2m 9s
October 27, 2023 09:08 2m 9s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #439: Manually run by tvdijen
October 27, 2023 09:04 3m 12s main
main
October 27, 2023 09:04 3m 12s
pages build and deployment pages-build-deployment #183: by github-pages bot
October 27, 2023 09:04 33s
October 27, 2023 09:04 33s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #438: Manually run by tvdijen
October 27, 2023 09:01 3m 10s main
main
October 27, 2023 09:01 3m 10s
pages build and deployment pages-build-deployment #182: by github-pages bot
October 26, 2023 07:22 35s
October 26, 2023 07:22 35s
Sleep for a while after processing one version Build and deploy documentation site to GitHub Pages based on repo contents #437: Commit e3dcfb2 pushed by tvdijen
October 26, 2023 07:18 3m 24s main
main
October 26, 2023 07:18 3m 24s
Also render docs for SSP 2.1 Build and deploy documentation site to GitHub Pages based on repo contents #436: Commit 0a9a7c5 pushed by tvdijen
October 26, 2023 07:05 55s main
main
October 26, 2023 07:05 55s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #435: Manually run by tvdijen
October 24, 2023 19:57 46s main
main
October 24, 2023 19:57 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 #434: Manually run by tvdijen
October 24, 2023 18:48 59s main
main
October 24, 2023 18:48 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 #433: Manually run by tvdijen
October 24, 2023 13:30 55s main
main
October 24, 2023 13:30 55s
pages build and deployment pages-build-deployment #181: by github-pages bot
October 24, 2023 08:57 33s
October 24, 2023 08:57 33s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #432: Manually run by tvdijen
October 24, 2023 08:56 45s main
main
October 24, 2023 08:56 45s
pages build and deployment pages-build-deployment #180: by github-pages bot
October 21, 2023 20:37 35s
October 21, 2023 20:37 35s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #431: Manually run by tvdijen
October 21, 2023 20:37 45s main
main
October 21, 2023 20:37 45s
pages build and deployment pages-build-deployment #179: by github-pages bot
October 21, 2023 20:17 34s
October 21, 2023 20:17 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 #430: Manually run by tvdijen
October 21, 2023 20:16 1m 12s main
main
October 21, 2023 20:16 1m 12s
ProTip! You can narrow down the results and go further in time using created:<2023-10-21 or the other filters available.