Skip to content

Actions: plfa/plfa.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
666 workflow runs
666 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pip in /. - Update #1231309325 Dependabot Updates #405: by dependabot bot
38s dev
dev
38s
bundler in /. - Update #1231309252 Dependabot Updates #404: by dependabot bot
29s dev
dev
29s
npm_and_yarn in /. - Update #1231309249 Dependabot Updates #403: by dependabot bot
44s dev
dev
44s
github_actions in /. - Update #1231309248 Dependabot Updates #402: by dependabot bot
36s dev
dev
36s
pages build and deployment pages-build-deployment #392: by github-pages bot
41s web
web
41s
paragraph on normal order reduction in Untyped chapter (#962) CI #1255: Commit 22fd4d7 pushed by github-merge-queue bot
49m 36s dev
dev
49m 36s
CI CI #1254: Merge group checks requested
55m 41s
55m 41s
pip in /. - Update #1221585868 Dependabot Updates #401: by dependabot bot
33s dev
dev
33s
npm_and_yarn in /. - Update #1221585808 Dependabot Updates #400: by dependabot bot
41s dev
dev
41s
bundler in /. - Update #1221585807 Dependabot Updates #399: by dependabot bot
26s dev
dev
26s
github_actions in /. - Update #1221585804 Dependabot Updates #398: by dependabot bot
38s dev
dev
38s
pages build and deployment pages-build-deployment #391: by github-pages bot
47s web
web
47s
Bump html-validate from 10.5.0 to 10.6.0 (#1171) CI #1253: Commit 4678abc pushed by github-merge-queue bot
45m 17s dev
dev
45m 17s
CI CI #1252: Merge group checks requested
48m 42s
48m 42s
pages build and deployment pages-build-deployment #390: by github-pages bot
41s web
web
41s
Bump html-validate from 10.5.0 to 10.6.0 CI #1251: Pull request #1171 synchronize by dependabot bot
41m 43s dependabot/npm_and_yarn/html-validate-10.6.0
dependabot/npm_and_yarn/html-validate-10.6.0
41m 43s
npm_and_yarn in / for html-validate - Update #1219278337 Dependabot Updates #397: by dependabot bot
58s dev
dev
58s
npm_and_yarn in / for html-validate - Update #1219277705 Dependabot Updates #396: by dependabot bot
56s dev
dev
56s
Bump sass from 1.97.1 to 1.97.2 (#1166) CI #1250: Commit 7a28203 pushed by github-merge-queue bot
41m 2s dev
dev
41m 2s
CI CI #1249: Merge group checks requested
39m 30s
39m 30s
pages build and deployment pages-build-deployment #389: by github-pages bot
44s web
web
44s
Bump html-validate from 10.5.0 to 10.6.0 CI #1248: Pull request #1171 synchronize by dependabot bot
1h 11m 28s dependabot/npm_and_yarn/html-validate-10.6.0
dependabot/npm_and_yarn/html-validate-10.6.0
1h 11m 28s
Bump sass from 1.97.1 to 1.97.2 CI #1247: Pull request #1166 synchronize by dependabot bot
47m 57s dependabot/npm_and_yarn/sass-1.97.2
dependabot/npm_and_yarn/sass-1.97.2
47m 57s
npm_and_yarn in / for html-validate - Update #1218768851 Dependabot Updates #395: by dependabot bot
55s dev
dev
55s
npm_and_yarn in / for sass - Update #1218768848 Dependabot Updates #394: by dependabot bot
52s dev
dev
52s