Skip to content

Actions: plfa/plfa.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
651 workflow runs
651 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Update html-proofer requirement from ~> 5.1.0 to ~> 5.2.0 CI #1230: Pull request #1165 opened by dependabot bot
9m 2s dependabot/bundler/html-proofer-tw-5.2.0
dependabot/bundler/html-proofer-tw-5.2.0
9m 2s
bundler in /. - Update #1201864593 Dependabot Updates #383: by dependabot bot
35s dev
dev
35s
npm_and_yarn in /. - Update #1201864485 Dependabot Updates #382: by dependabot bot
52s dev
dev
52s
github_actions in /. - Update #1201864345 Dependabot Updates #381: by dependabot bot
39s dev
dev
39s
bundler in /. - Update #1201863514 Dependabot Updates #380: by dependabot bot
40s dev
dev
40s
pip in /. - Update #1201863260 Dependabot Updates #379: by dependabot bot
51s dev
dev
51s
github_actions in /. - Update #1201863141 Dependabot Updates #378: by dependabot bot
35s dev
dev
35s
pip in /. - Update #1201863138 Dependabot Updates #377: by dependabot bot
45s dev
dev
45s