Skip to content

Actions: ardoco/ardoco.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
682 workflow runs
682 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check for broken links on site Check for broken links on site #111: completed by dfuchss
1m 33s
1m 33s
pages build and deployment pages-build-deployment #120: by github-pages bot
47s gh-pages
gh-pages
47s
Merge remote-tracking branch 'origin/upstream' CodeQL Advanced #151: Commit 843ffe8 pushed by dfuchss
1m 22s main
main
1m 22s
Merge remote-tracking branch 'origin/upstream' Deploy site #111: Commit 843ffe8 pushed by dfuchss
1m 44s main
main
1m 44s
Merge remote-tracking branch 'origin/upstream' Prettier code formatter #112: Commit 843ffe8 pushed by dfuchss
27s main
main
27s
Merge remote-tracking branch 'origin/upstream' Check for broken links #109: Commit 843ffe8 pushed by dfuchss
1s main
main
1s
Check for broken links on site Check for broken links on site #110: completed by dfuchss
1m 27s
1m 27s
pages build and deployment pages-build-deployment #119: by github-pages bot
42s gh-pages
gh-pages
42s
Merge remote-tracking branch 'origin/upstream' CodeQL Advanced #150: Commit 4739907 pushed by dfuchss
1m 22s main
main
1m 22s
Merge remote-tracking branch 'origin/upstream' Prettier code formatter #111: Commit 4739907 pushed by dfuchss
20s main
main
20s
Merge remote-tracking branch 'origin/upstream' Check for broken links #108: Commit 4739907 pushed by dfuchss
2s main
main
2s
Merge remote-tracking branch 'origin/upstream' Deploy site #110: Commit 4739907 pushed by dfuchss
1m 23s main
main
1m 23s
Check for broken links on site Check for broken links on site #109: completed by dfuchss
2m 3s
2m 3s
pages build and deployment pages-build-deployment #118: by github-pages bot
49s gh-pages
gh-pages
49s
Merge remote-tracking branch 'origin/upstream' CodeQL Advanced #149: Commit 0364863 pushed by dfuchss
1m 12s main
main
1m 12s
Merge remote-tracking branch 'origin/upstream' Check for broken links #107: Commit 0364863 pushed by dfuchss
1s main
main
1s
Merge remote-tracking branch 'origin/upstream' Prettier code formatter #110: Commit 0364863 pushed by dfuchss
19s main
main
19s
Merge remote-tracking branch 'origin/upstream' Deploy site #109: Commit 0364863 pushed by dfuchss
2m 2s main
main
2m 2s
Check for broken links on site Check for broken links on site #108: completed by dfuchss
1m 41s
1m 41s
pages build and deployment pages-build-deployment #117: by github-pages bot
42s gh-pages
gh-pages
42s
remove ecsa 21 swattr paper Prettier code formatter #109: Commit 5e9ebdc pushed by dfuchss
19s main
main
19s
remove ecsa 21 swattr paper Deploy site #108: Commit 5e9ebdc pushed by dfuchss
1m 20s main
main
1m 20s
remove ecsa 21 swattr paper Check for broken links #106: Commit 5e9ebdc pushed by dfuchss
1s main
main
1s
remove ecsa 21 swattr paper CodeQL Advanced #148: Commit 5e9ebdc pushed by dfuchss
1m 16s main
main
1m 16s
CodeQL Advanced CodeQL Advanced #147: Scheduled
1m 20s main
main
1m 20s