Skip to content

Actions: plfa/plfa.github.io

Actions

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

pages build and deployment pages-build-deployment #304: by github-pages bot
September 23, 2024 23:14 45s
September 23, 2024 23:14 45s
Bump sass from 1.78.0 to 1.79.3 (#1037) CI #841: Commit be81dff pushed by github-merge-queue bot
September 23, 2024 22:42 32m 7s dev
dev
September 23, 2024 22:42 32m 7s
CI CI #840: Merge group checks requested
September 23, 2024 22:10 31m 52s
September 23, 2024 22:10 31m 52s
CI CI #839: Merge group checks requested
September 23, 2024 22:09 32m 7s
September 23, 2024 22:09 32m 7s
Bump browser-sync from 3.0.2 to 3.0.3 CI #838: Pull request #1038 opened by dependabot bot
September 23, 2024 19:44 31m 45s dependabot/npm_and_yarn/browser-sync-3.0.3
dependabot/npm_and_yarn/browser-sync-3.0.3
September 23, 2024 19:44 31m 45s
Bump sass from 1.78.0 to 1.79.3 CI #837: Pull request #1037 opened by dependabot bot
September 23, 2024 19:44 33m 26s dependabot/npm_and_yarn/sass-1.79.3
dependabot/npm_and_yarn/sass-1.79.3
September 23, 2024 19:44 33m 26s
npm_and_yarn in /. - Update #889617608 Dependabot Updates #50: by dependabot bot
September 23, 2024 19:43 1m 13s
September 23, 2024 19:43 1m 13s
github_actions in /. - Update #889606098 Dependabot Updates #49: by dependabot bot
September 23, 2024 19:25 36s
September 23, 2024 19:25 36s
bundler in /. - Update #889597073 Dependabot Updates #48: by dependabot bot
September 23, 2024 19:11 44s
September 23, 2024 19:11 44s
pip in /. - Update #889592954 Dependabot Updates #47: by dependabot bot
September 23, 2024 19:04 48s
September 23, 2024 19:04 48s
bundler in /. - Update #885622765 Dependabot Updates #46: by dependabot bot
September 16, 2024 20:00 40s
September 16, 2024 20:00 40s
pip in /. - Update #885607064 Dependabot Updates #45: by dependabot bot
September 16, 2024 19:36 53s
September 16, 2024 19:36 53s
github_actions in /. - Update #885600390 Dependabot Updates #44: by dependabot bot
September 16, 2024 19:25 40s
September 16, 2024 19:25 40s
npm_and_yarn in /. - Update #885598847 Dependabot Updates #43: by dependabot bot
September 16, 2024 19:23 1m 2s
September 16, 2024 19:23 1m 2s
pages build and deployment pages-build-deployment #303: by github-pages bot
September 16, 2024 16:07 46s
September 16, 2024 16:07 46s
update web/TableOfContents (#1036) CI #836: Commit 691f094 pushed by github-merge-queue bot
September 16, 2024 15:33 33m 20s dev
dev
September 16, 2024 15:33 33m 20s
CI CI #835: Merge group checks requested
September 16, 2024 15:00 32m 45s
September 16, 2024 15:00 32m 45s
pages build and deployment pages-build-deployment #302: by github-pages bot
September 16, 2024 11:38 45s
September 16, 2024 11:38 45s
update web/TableOfContents CI #834: Pull request #1036 opened by wadler
September 16, 2024 11:29 34m 17s tspl-2024-09-16
tspl-2024-09-16
September 16, 2024 11:29 34m 17s
update TSPL/2024 (#1035) CI #833: Commit 3250f07 pushed by github-merge-queue bot
September 16, 2024 11:07 31m 54s dev
dev
September 16, 2024 11:07 31m 54s
CI CI #832: Merge group checks requested
September 16, 2024 10:33 32m 49s
September 16, 2024 10:33 32m 49s
update TSPL/2024 CI #831: Pull request #1035 opened by wadler
September 15, 2024 09:16 32m 18s tspl-yyyy-mm-dd
tspl-yyyy-mm-dd
September 15, 2024 09:16 32m 18s
pages build and deployment pages-build-deployment #301: by github-pages bot
September 13, 2024 19:58 40s
September 13, 2024 19:58 40s
Use JuliaMono as code font (#1034) CI #830: Commit 4b2125b pushed by github-merge-queue bot
September 13, 2024 19:24 33m 44s dev
dev
September 13, 2024 19:24 33m 44s
CI CI #829: Merge group checks requested
September 13, 2024 18:51 32m 26s
September 13, 2024 18:51 32m 26s