Skip to content

Actions: usefulalgorithm/usefulalgorithm.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
972 workflow runs
972 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bugfix: use github action cache to speed up pipeline (#69) Deploy personal website #20: Commit e1b0e41 pushed by usefulalgorithm
Failure main
main
Failure
pages build and deployment pages-build-deployment #54: by usefulalgorithm
44s main
main
44s
bugfix: use github action cache to speed up pipeline Deploy personal website #19: Commit 7e701fc pushed by usefulalgorithm
Failure bugfix/use_cache_in_github_action
bugfix/use_cache_in_github_action
Failure
Create Album Post Create Album Post #2: Manually run by usefulalgorithm
8m 29s main
main
8m 29s
hotfix: do not bind cabal version Deploy personal website #18: Commit 895b48b pushed by usefulalgorithm
Failure main
main
Failure
pages build and deployment pages-build-deployment #53: by usefulalgorithm
37s main
main
37s
Create Album Post Create Album Post #1: Manually run by usefulalgorithm
2m 0s main
main
2m 0s
pages build and deployment pages-build-deployment #52: by usefulalgorithm
40s main
main
40s
pages build and deployment pages-build-deployment #51: by usefulalgorithm
23s main
main
23s
Deploy personal website Deploy personal website #17: completed by usefulalgorithm
1m 8s
1m 8s
feat: pull album info script Generate post from PR #17: Pull request #68 closed by usefulalgorithm
1s feat/pull_album_info
feat/pull_album_info
1s
pages build and deployment pages-build-deployment #50: by usefulalgorithm
39s main
main
39s
Create Other Post Create Other Post #20: Manually run by usefulalgorithm
12s main
main
12s
Create Other Post Create Other Post #19: Manually run by usefulalgorithm
12s main
main
12s
pages build and deployment pages-build-deployment #49: by github-pages bot
38s main
main
38s
Deploy personal website Deploy personal website #16: completed by usefulalgorithm
42s
42s
pages build and deployment pages-build-deployment #48: by github-pages bot
43s main
main
43s
post/without-references Generate post from PR #16: Pull request #65 closed by usefulalgorithm
11s without-references
without-references
11s
pages build and deployment pages-build-deployment #47: by usefulalgorithm
12s main
main
12s
Create Other Post Create Other Post #18: Manually run by usefulalgorithm
14s main
main
14s
Create Other Post Create Other Post #17: Manually run by usefulalgorithm
12s main
main
12s
pages build and deployment pages-build-deployment #46: by github-pages bot
42s main
main
42s
Deploy personal website Deploy personal website #15: completed by usefulalgorithm
52s
52s
pages build and deployment pages-build-deployment #45: by github-pages bot
41s main
main
41s
post/end-of-the-middle Generate post from PR #15: Pull request #63 closed by usefulalgorithm
10s end-of-the-middle
end-of-the-middle
10s
ProTip! You can narrow down the results and go further in time using created:<2025-03-15 or the other filters available.