Skip to content

Actions: simplesamlphp/docs

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
598 workflow runs
598 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Fix permissions Build and deploy documentation site to GitHub Pages based on repo contents #677: Commit 25f9042 pushed by tvdijen
May 23, 2024 10:49 3m 23s main
main
May 23, 2024 10:49 3m 23s
Fix permissions Build and deploy documentation site to GitHub Pages based on repo contents #676: Commit 048d20a pushed by tvdijen
May 23, 2024 10:43 3m 33s main
main
May 23, 2024 10:43 3m 33s
Fix permissions Build and deploy documentation site to GitHub Pages based on repo contents #675: Commit bd63c6a pushed by tvdijen
May 23, 2024 10:39 3m 22s main
main
May 23, 2024 10:39 3m 22s
Fix permissions Build and deploy documentation site to GitHub Pages based on repo contents #674: Commit 8f94aeb pushed by tvdijen
May 23, 2024 10:25 3m 18s main
main
May 23, 2024 10:25 3m 18s
pages build and deployment pages-build-deployment #300: by github-pages bot
May 23, 2024 09:58 23s
May 23, 2024 09:58 23s
Upgrade action Build and deploy documentation site to GitHub Pages based on repo contents #673: Commit a7a620b pushed by tvdijen
May 23, 2024 09:55 3m 25s main
main
May 23, 2024 09:55 3m 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 #672: Manually run by tvdijen
May 23, 2024 09:55 3m 21s main
main
May 23, 2024 09:55 3m 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 #671: Manually run by tvdijen
May 23, 2024 09:55 3m 38s main
main
May 23, 2024 09:55 3m 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 #670: Manually run by tvdijen
May 23, 2024 09:55 3m 19s main
main
May 23, 2024 09:55 3m 19s
pages build and deployment pages-build-deployment #299: by github-pages bot
May 23, 2024 09:50 21s
May 23, 2024 09:50 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 #669: Manually run by tvdijen
May 23, 2024 09:46 3m 27s main
main
May 23, 2024 09:46 3m 27s
pages build and deployment pages-build-deployment #298: by github-pages bot
May 21, 2024 09:25 33s
May 21, 2024 09:25 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 #668: Manually run by tvdijen
May 21, 2024 09:22 3m 28s main
main
May 21, 2024 09:22 3m 28s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #667: Manually run by tvdijen
May 21, 2024 09:22 3m 19s main
main
May 21, 2024 09:22 3m 19s
pages build and deployment pages-build-deployment #297: by github-pages bot
May 20, 2024 01:28 26s
May 20, 2024 01:28 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 #666: Manually run by tvdijen
May 20, 2024 01:25 3m 23s main
main
May 20, 2024 01:25 3m 23s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #665: Manually run by tvdijen
May 20, 2024 00:40 3m 41s main
main
May 20, 2024 00:40 3m 41s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #664: Manually run by tvdijen
May 11, 2024 23:27 3m 18s main
main
May 11, 2024 23:27 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 #663: Manually run by tvdijen
May 11, 2024 01:50 7m 32s main
main
May 11, 2024 01:50 7m 32s
Build and deploy documentation site to GitHub Pages based on repo contents Build and deploy documentation site to GitHub Pages based on repo contents #662: Manually run by tvdijen
May 10, 2024 07:31 3m 16s main
main
May 10, 2024 07:31 3m 16s
pages build and deployment pages-build-deployment #296: by github-pages bot
May 10, 2024 05:55 25s
May 10, 2024 05:55 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 #661: Manually run by tvdijen
May 10, 2024 05:51 3m 37s main
main
May 10, 2024 05:51 3m 37s
pages build and deployment pages-build-deployment #295: by github-pages bot
May 9, 2024 11:30 21s
May 9, 2024 11:30 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 #660: Manually run by tvdijen
May 9, 2024 11:28 3m 35s main
main
May 9, 2024 11:28 3m 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 #659: Manually run by tvdijen
May 9, 2024 11:27 3m 50s main
main
May 9, 2024 11:27 3m 50s