Skip to content

Actions: plfa/plfa.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
622 workflow runs
622 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #344: by github-pages bot
February 9, 2025 02:30 39s web
web
February 9, 2025 02:30 39s
remove jeremy's twitter (#1093) CI #1003: Commit de7ed1f pushed by github-merge-queue bot
February 9, 2025 02:11 18m 26s dev
dev
February 9, 2025 02:11 18m 26s
CI CI #1002: Merge group checks requested
February 9, 2025 01:50 20m 35s
February 9, 2025 01:50 20m 35s
pages build and deployment pages-build-deployment #343: by github-pages bot
February 9, 2025 01:35 38s web
web
February 9, 2025 01:35 38s
feat(vscode): recommend agda-mode (#1090) CI #1001: Commit 0597586 pushed by github-merge-queue bot
February 9, 2025 01:17 18m 27s dev
dev
February 9, 2025 01:17 18m 27s
pages build and deployment pages-build-deployment #342: by github-pages bot
February 9, 2025 01:11 37s web
web
February 9, 2025 01:11 37s
remove jeremy's twitter CI #1000: Pull request #1093 opened by wenkokke
February 9, 2025 00:27 1h 22m 33s remove-twitter-2
remove-twitter-2
February 9, 2025 00:27 1h 22m 33s
CI CI #999: Merge group checks requested
February 9, 2025 00:27 48m 45s
February 9, 2025 00:27 48m 45s
remove my twitter (#1092) CI #998: Commit fd89531 pushed by github-merge-queue bot
February 9, 2025 00:23 53m 29s dev
dev
February 9, 2025 00:23 53m 29s
CI CI #997: Merge group checks requested
February 8, 2025 23:35 46m 14s
February 8, 2025 23:35 46m 14s
CI CI #996: Merge group checks requested
February 8, 2025 23:35 47m 43s
February 8, 2025 23:35 47m 43s
remove my twitter CI #995: Pull request #1092 opened by wenkokke
February 8, 2025 17:48 1h 14m 28s remove-twitter
remove-twitter
February 8, 2025 17:48 1h 14m 28s
Improve the interactivity of the section on holes in Naturals CI #994: Pull request #1089 synchronize by wenkokke
February 8, 2025 17:40 1h 17m 52s cjauvin:update-naturals
cjauvin:update-naturals
February 8, 2025 17:40 1h 17m 52s
Add devcontainer support CI #993: Pull request #973 synchronize by wenkokke
February 8, 2025 17:38 Action required weihongliang233:devcontainer
weihongliang233:devcontainer
February 8, 2025 17:38 Action required
Fix #1088 CI #992: Pull request #1091 opened by wenkokke
February 8, 2025 17:37 45m 59s fix-recommend-alias
fix-recommend-alias
February 8, 2025 17:37 45m 59s
feat(vscode): recommend agda-mode CI #991: Pull request #1090 opened by wenkokke
February 8, 2025 17:30 46m 22s feat(vscode)--recommend-agda-mode
feat(vscode)--recommend-agda-mode
February 8, 2025 17:30 46m 22s
npm_and_yarn in /. - Update #958346649 Dependabot Updates #135: by dependabot bot
February 3, 2025 19:42 59s dev
dev
February 3, 2025 19:42 59s
bundler in /. - Update #958345612 Dependabot Updates #134: by dependabot bot
February 3, 2025 19:41 44s dev
dev
February 3, 2025 19:41 44s
github_actions in /. - Update #958334771 Dependabot Updates #133: by dependabot bot
February 3, 2025 19:25 33s dev
dev
February 3, 2025 19:25 33s
pip in /. - Update #958325779 Dependabot Updates #132: by dependabot bot
February 3, 2025 19:11 42s dev
dev
February 3, 2025 19:11 42s
pip in /. - Update #954449263 Dependabot Updates #131: by dependabot bot
January 27, 2025 19:58 24s dev
dev
January 27, 2025 19:58 24s
npm_and_yarn in /. - Update #954439379 Dependabot Updates #130: by dependabot bot
January 27, 2025 19:49 1m 6s dev
dev
January 27, 2025 19:49 1m 6s
bundler in /. - Update #954433982 Dependabot Updates #129: by dependabot bot
January 27, 2025 19:43 39s dev
dev
January 27, 2025 19:43 39s
bundler in /. - Update #954427762 Dependabot Updates #128: by dependabot bot
January 27, 2025 19:37 40s dev
dev
January 27, 2025 19:37 40s
pip in /. - Update #954421194 Dependabot Updates #127: by dependabot bot
January 27, 2025 19:31 45s dev
dev
January 27, 2025 19:31 45s