Skip to content

Actions: plfa/plfa.github.io

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
533 workflow runs
533 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump softprops/action-gh-release from 1 to 2 (#976)
CI #697: Commit 8f3d7eb pushed by github-merge-queue bot
March 11, 2024 20:31 41m 22s dev
dev
March 11, 2024 20:31 41m 22s
CI
CI #696: Merge group checks requested
March 11, 2024 19:51 39m 34s
March 11, 2024 19:51 39m 34s
Add devcontainer support
CI #694: Pull request #973 synchronize by weihongliang233
March 7, 2024 12:51 47m 30s weihongliang233:devcontainer
March 7, 2024 12:51 47m 30s
Add devcontainer support
CI #693: Pull request #973 synchronize by pre-commit-ci bot
March 7, 2024 07:50 40m 30s weihongliang233:devcontainer
March 7, 2024 07:50 40m 30s
pages build and deployment
pages-build-deployment #267: by github-pages bot
March 6, 2024 22:28 43s
March 6, 2024 22:28 43s
Yet another fix to confluence (#975)
CI #691: Commit 1655adc pushed by github-merge-queue bot
March 6, 2024 21:37 51m 25s dev
dev
March 6, 2024 21:37 51m 25s
CI
CI #690: Merge group checks requested
March 6, 2024 20:55 41m 0s
March 6, 2024 20:55 41m 0s
Yet another fix to confluence
CI #689: Pull request #975 opened by jsiek
March 6, 2024 20:14 40m 45s more-fix-confluence
March 6, 2024 20:14 40m 45s
pages build and deployment
pages-build-deployment #266: by github-pages bot
March 6, 2024 18:27 48s
March 6, 2024 18:27 48s
fix notes again (#974)
CI #688: Commit eaae747 pushed by github-merge-queue bot
March 6, 2024 17:45 41m 52s dev
dev
March 6, 2024 17:45 41m 52s
CI
CI #687: Merge group checks requested
March 6, 2024 17:05 39m 39s
March 6, 2024 17:05 39m 39s
fix notes again
CI #686: Pull request #974 opened by jsiek
March 6, 2024 15:38 41m 42s fix-notes-confluence
March 6, 2024 15:38 41m 42s
Add devcontainer support
CI #685: Pull request #973 synchronize by pre-commit-ci bot
March 5, 2024 05:56 40m 52s weihongliang233:devcontainer
March 5, 2024 05:56 40m 52s
pages build and deployment
pages-build-deployment #265: by github-pages bot
March 1, 2024 01:13 43s
March 1, 2024 01:13 43s
pages build and deployment
pages-build-deployment #264: by github-pages bot
March 1, 2024 00:59 1m 20s
March 1, 2024 00:59 1m 20s
Fix and suppress HTML-validate errors (#972)
CI #683: Commit 6828b8a pushed by github-merge-queue bot
March 1, 2024 00:38 35m 9s dev
dev
March 1, 2024 00:38 35m 9s
Fixed a typo (#971)
CI #682: Commit c4de2e6 pushed by github-merge-queue bot
March 1, 2024 00:13 46m 11s dev
dev
March 1, 2024 00:13 46m 11s
CI
CI #681: Merge group checks requested
February 29, 2024 23:55 42m 12s
February 29, 2024 23:55 42m 12s
CI
CI #680: Merge group checks requested
February 29, 2024 23:28 43m 59s
February 29, 2024 23:28 43m 59s
Fix and suppress HTML-validate errors
CI #679: Pull request #972 synchronize by pre-commit-ci bot
February 29, 2024 23:03 52m 1s unique-landmarks
February 29, 2024 23:03 52m 1s
Fix and suppress HTML-validate errors
CI #678: Pull request #972 opened by wenkokke
February 29, 2024 23:03 37m 24s unique-landmarks
February 29, 2024 23:03 37m 24s
Fixed a typo
CI #677: Pull request #971 opened by OlingCat
February 29, 2024 22:45 42m 41s OlingCat:patch-1
February 29, 2024 22:45 42m 41s
pages build and deployment
pages-build-deployment #263: by github-pages bot
February 29, 2024 19:00 51s
February 29, 2024 19:00 51s
Bump actions/cache from 3 to 4 (#954)
CI #676: Commit 7f6f414 pushed by github-merge-queue bot
February 29, 2024 18:16 44m 13s dev
dev
February 29, 2024 18:16 44m 13s
ProTip! You can narrow down the results and go further in time using created:<2024-02-29 or the other filters available.