Skip to content

Actions: coding-armadillo/kattis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
684 workflow runs
684 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refresh docs pcu #290: Commit ba45002 pushed by zehengl
November 7, 2023 23:21 16s main
main
November 7, 2023 23:21 16s
pages build and deployment pages-build-deployment #242: by github-pages bot
November 6, 2023 22:04 39s gh-pages
gh-pages
November 6, 2023 22:04 39s
refresh docs GitHub Pages #242: Commit 801055b pushed by zehengl
November 6, 2023 22:04 42s main
main
November 6, 2023 22:04 42s
refresh docs pcu #289: Commit 801055b pushed by zehengl
November 6, 2023 22:04 21s main
main
November 6, 2023 22:04 21s
pages build and deployment pages-build-deployment #241: by github-pages bot
November 6, 2023 21:43 35s gh-pages
gh-pages
November 6, 2023 21:43 35s
refresh docs GitHub Pages #241: Commit 6c36fa1 pushed by zehengl
November 6, 2023 21:42 53s main
main
November 6, 2023 21:42 53s
refresh docs pcu #288: Commit 6c36fa1 pushed by zehengl
November 6, 2023 21:42 20s main
main
November 6, 2023 21:42 20s
pages build and deployment pages-build-deployment #240: by github-pages bot
November 6, 2023 16:03 2m 25s gh-pages
gh-pages
November 6, 2023 16:03 2m 25s
Merge pull request #88 from coding-armadillo/pcu-pr GitHub Pages #240: Commit 41e8a2f pushed by zehengl
November 6, 2023 16:03 1m 40s main
main
November 6, 2023 16:03 1m 40s
Merge pull request #88 from coding-armadillo/pcu-pr pcu #287: Commit 41e8a2f pushed by zehengl
November 6, 2023 16:03 1m 29s main
main
November 6, 2023 16:03 1m 29s
pcu pcu #286: Scheduled
November 6, 2023 12:17 25s main
main
November 6, 2023 12:17 25s
pages build and deployment pages-build-deployment #239: by github-pages bot
October 31, 2023 04:07 35s gh-pages
gh-pages
October 31, 2023 04:07 35s
Merge pull request #87 from coding-armadillo/pcu-pr GitHub Pages #239: Commit c8a6d34 pushed by zehengl
October 31, 2023 04:06 58s main
main
October 31, 2023 04:06 58s
Merge pull request #87 from coding-armadillo/pcu-pr pcu #285: Commit c8a6d34 pushed by zehengl
October 31, 2023 04:06 23s main
main
October 31, 2023 04:06 23s
pcu pcu #284: Scheduled
October 30, 2023 12:16 26s main
main
October 30, 2023 12:16 26s
pcu pcu #283: Scheduled
October 23, 2023 12:16 21s main
main
October 23, 2023 12:16 21s
pages build and deployment pages-build-deployment #238: by github-pages bot
October 20, 2023 16:28 40s gh-pages
gh-pages
October 20, 2023 16:28 40s
Merge branch 'main' of https://github.com/coding-armadillo/kattis pcu #282: Commit 7dbd5b9 pushed by zehengl
October 20, 2023 16:27 25s main
main
October 20, 2023 16:27 25s
Merge branch 'main' of https://github.com/coding-armadillo/kattis GitHub Pages #238: Commit 7dbd5b9 pushed by zehengl
October 20, 2023 16:27 45s main
main
October 20, 2023 16:27 45s
pages build and deployment pages-build-deployment #237: by github-pages bot
October 19, 2023 06:46 39s gh-pages
gh-pages
October 19, 2023 06:46 39s
clean up GitHub Pages #237: Commit ed838d5 pushed by zehengl
October 19, 2023 06:45 40s main
main
October 19, 2023 06:45 40s
clean up pcu #281: Commit ed838d5 pushed by zehengl
October 19, 2023 06:45 22s main
main
October 19, 2023 06:45 22s
pages build and deployment pages-build-deployment #236: by github-pages bot
October 16, 2023 15:20 43s gh-pages
gh-pages
October 16, 2023 15:20 43s
Merge pull request #86 from coding-armadillo/pcu-pr pcu #280: Commit 987a0a5 pushed by zehengl
October 16, 2023 15:19 28s main
main
October 16, 2023 15:19 28s
Merge pull request #86 from coding-armadillo/pcu-pr GitHub Pages #236: Commit 987a0a5 pushed by zehengl
October 16, 2023 15:19 50s main
main
October 16, 2023 15:19 50s
ProTip! You can narrow down the results and go further in time using created:<2023-10-16 or the other filters available.