Skip to content

Actions: plfa/plfa.github.io

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
293 workflow runs
293 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
Bump lodash from 4.17.21 to 4.17.23 (#1172) CI #1246: Commit 65cd427 pushed by github-merge-queue bot
40m 39s dev
dev
40m 39s
CI CI #1245: Merge group checks requested
39m 44s
39m 44s
Bump lodash from 4.17.21 to 4.17.23 CI #1244: Pull request #1172 opened by dependabot bot
41m 36s dependabot/npm_and_yarn/lodash-4.17.23
dependabot/npm_and_yarn/lodash-4.17.23
41m 36s
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
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
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
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
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