Skip to content

Actions: plfa/plfa.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
659 workflow runs
659 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #388: by github-pages bot
41s web
web
41s
Bump html-validate from 10.5.0 to 10.6.0 CI #1243: Pull request #1171 opened by dependabot bot
2m 21s dependabot/npm_and_yarn/html-validate-10.6.0
dependabot/npm_and_yarn/html-validate-10.6.0
2m 21s
pip in /. - Update #1213824513 Dependabot Updates #392: by dependabot bot
42s dev
dev
42s
bundler in /. - Update #1213824451 Dependabot Updates #391: by dependabot bot
34s dev
dev
34s
npm_and_yarn in /. - Update #1213824450 Dependabot Updates #390: by dependabot bot
54s dev
dev
54s
github_actions in /. - Update #1213824449 Dependabot Updates #389: by dependabot bot
37s dev
dev
37s
Bump JamesIves/github-pages-deploy-action from 4.7.6 to 4.8.0 (#1167) CI #1242: Commit be518d2 pushed by github-merge-queue bot
52m 35s dev
dev
52m 35s
CI CI #1241: Merge group checks requested
45m 34s
45m 34s
pages build and deployment pages-build-deployment #387: by github-pages bot
36s web
web
36s
Update email address for Jeremy G. Siek (#1170) CI #1240: Commit 764a3ec pushed by github-merge-queue bot
54m 56s dev
dev
54m 56s
CI CI #1239: Merge group checks requested
42m 6s
42m 6s
Update email address for Jeremy G. Siek CI #1238: Pull request #1170 opened by jsiek
46m 13s jsiek-patch-1
jsiek-patch-1
46m 13s
paragraph on normal order reduction in Untyped chapter CI #1237: Pull request #962 synchronize by pre-commit-ci bot
43m 26s proglang:untyped-normal-order-reduction
proglang:untyped-normal-order-reduction
43m 26s
paragraph on normal order reduction in Untyped chapter CI #1236: Pull request #962 synchronize by peterthiemann
22s proglang:untyped-normal-order-reduction
proglang:untyped-normal-order-reduction
22s
pages build and deployment pages-build-deployment #386: by github-pages bot
41s web
web
41s
Add course information for Jeremy Siek in 2026 (#1168) CI #1235: Commit b70f56d pushed by github-merge-queue bot
42m 29s dev
dev
42m 29s
CI CI #1234: Merge group checks requested
43m 48s
43m 48s
Add course information for Jeremy Siek in 2026 CI #1233: Pull request #1168 opened by jsiek
54m 4s jsiek-patch-1
jsiek-patch-1
54m 4s
Bump JamesIves/github-pages-deploy-action from 4.7.6 to 4.8.0 CI #1232: Pull request #1167 opened by dependabot bot
45m 38s dependabot/github_actions/JamesIves/github-pages-deploy-action-4.8.0
dependabot/github_actions/JamesIves/github-pages-deploy-action-4.8.0
45m 38s
pip in /. - Update #1207199025 Dependabot Updates #388: by dependabot bot
43s dev
dev
43s
bundler in /. - Update #1207198969 Dependabot Updates #387: by dependabot bot
35s dev
dev
35s
github_actions in /. - Update #1207198965 Dependabot Updates #386: by dependabot bot
40s dev
dev
40s
npm_and_yarn in /. - Update #1207198966 Dependabot Updates #385: by dependabot bot
53s dev
dev
53s
Bump sass from 1.97.1 to 1.97.2 CI #1231: Pull request #1166 opened by dependabot bot
8m 50s dependabot/npm_and_yarn/sass-1.97.2
dependabot/npm_and_yarn/sass-1.97.2
8m 50s
pip in /. - Update #1201865051 Dependabot Updates #384: by dependabot bot
45s dev
dev
45s