Skip to content

Actions: plfa/plfa.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
654 workflow runs
654 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump html-validate from 10.9.0 to 11.5.3 CI #1338: Pull request #1205 opened by dependabot Bot
21m 6s dependabot/npm_and_yarn/html-validate-11.5.3
dependabot/npm_and_yarn/html-validate-11.5.3
21m 6s
pip in /. - Update #1403435220 Dependabot Updates #501: by dependabot Bot
45s dev
dev
45s
github_actions in /. - Update #1403435112 Dependabot Updates #500: by dependabot Bot
43s dev
dev
43s
npm_and_yarn in /. - Update #1403435097 Dependabot Updates #499: by dependabot Bot
1m 5s dev
dev
1m 5s
bundler in /. - Update #1403435100 Dependabot Updates #498: by dependabot Bot
44s dev
dev
44s
Isomorphism antisym CI #1337: Pull request #1204 synchronize by peterthiemann
29m 28s proglang:isomorphism-antisym
proglang:isomorphism-antisym
29m 28s
Isomorphism antisym CI #1336: Pull request #1204 synchronize by peterthiemann
1m 55s proglang:isomorphism-antisym
proglang:isomorphism-antisym
1m 55s
Isomorphism antisym CI #1335: Pull request #1204 opened by peterthiemann
33m 56s proglang:isomorphism-antisym
proglang:isomorphism-antisym
33m 56s
pages build and deployment pages-build-deployment #405: by github-pages Bot
39s web
web
39s
Bump html-validate from 10.9.0 to 11.5.0 CI #1334: Pull request #1202 synchronize by dependabot Bot
18m 46s dependabot/npm_and_yarn/html-validate-11.5.0
dependabot/npm_and_yarn/html-validate-11.5.0
18m 46s
npm_and_yarn in / for html-validate - Update #1395096700 Dependabot Updates #497: by dependabot Bot
53s dev
dev
53s
Configured Graph Update: pip in /. #1395095814 Dependency Graph #1: by dependabot Bot
46s dev
dev
46s
Bump bumpver from 2025.1131 to 2026.1132 (#1197) CI #1333: Commit 8e5406e pushed by github-merge-queue Bot
29m 9s dev
dev
29m 9s
Add tips page to the book 2 CI #1332: Pull request #1137 synchronize by wenkokke
Action required noughtmare:jr/tips
noughtmare:jr/tips
Action required
CI CI #1331: Merge group checks requested
27m 57s
27m 57s
CI CI #1330: Merge group checks requested
30m 50s
30m 50s
Bump fast-uri from 3.1.0 to 3.1.2 CI #1329: Pull request #1194 synchronize by wenkokke
34m 41s dependabot/npm_and_yarn/fast-uri-3.1.2
dependabot/npm_and_yarn/fast-uri-3.1.2
34m 41s
Bump bumpver from 2025.1131 to 2026.1132 CI #1328: Pull request #1197 synchronize by wenkokke
31m 11s dependabot/pip/bumpver-2026.1132
dependabot/pip/bumpver-2026.1132
31m 11s
Bump sass from 1.99.0 to 1.100.0 CI #1327: Pull request #1199 synchronize by wenkokke
12m 30s dependabot/npm_and_yarn/sass-1.100.0
dependabot/npm_and_yarn/sass-1.100.0
12m 30s
Bump html-validate from 10.9.0 to 11.5.0 CI #1326: Pull request #1202 opened by dependabot Bot
10m 57s dependabot/npm_and_yarn/html-validate-11.5.0
dependabot/npm_and_yarn/html-validate-11.5.0
10m 57s
pip in /. - Update #1394822456 Dependabot Updates #496: by dependabot Bot
39s dev
dev
39s
bundler in /. - Update #1394822355 Dependabot Updates #495: by dependabot Bot
29s dev
dev
29s
npm_and_yarn in /. - Update #1394822354 Dependabot Updates #494: by dependabot Bot
58s dev
dev
58s
github_actions in /. - Update #1394822352 Dependabot Updates #493: by dependabot Bot
33s dev
dev
33s
pages build and deployment pages-build-deployment #404: by github-pages Bot
1m 13s web
web
1m 13s