Skip to content

Actions: plfa/plfa.github.io

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
304 workflow runs
304 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update html-proofer requirement from ~> 5.1.0 to ~> 5.2.0 (#1165) CI #1275: Commit a93969c pushed by github-merge-queue bot
41m 29s dev
dev
41m 29s
CI CI #1274: Merge group checks requested
52m 9s
52m 9s
Bump minimatch (#1176) CI #1273: Commit 39cd26e pushed by github-merge-queue bot
41m 16s dev
dev
41m 16s
CI CI #1272: Merge group checks requested
40m 23s
40m 23s
Bump actions/download-artifact from 7 to 8 (#1178) CI #1271: Commit 53d7d92 pushed by github-merge-queue bot
41m 20s dev
dev
41m 20s
Bump actions/upload-artifact from 6 to 7 (#1177) CI #1270: Commit 9c5d93d pushed by github-merge-queue bot
24s dev
dev
24s
CI CI #1269: Merge group checks requested
1h 9m 15s
1h 9m 15s
CI CI #1268: Merge group checks requested
6m 56s
6m 56s
CI CI #1267: Merge group checks requested
41m 7s
41m 7s
CI CI #1266: Merge group checks requested
40m 51s
40m 51s
Bump actions/download-artifact from 7 to 8 CI #1265: Pull request #1178 opened by dependabot bot
39m 55s dependabot/github_actions/actions/download-artifact-8
dependabot/github_actions/actions/download-artifact-8
39m 55s
Bump actions/upload-artifact from 6 to 7 CI #1264: Pull request #1177 opened by dependabot bot
42m 2s dependabot/github_actions/actions/upload-artifact-7
dependabot/github_actions/actions/upload-artifact-7
42m 2s
Bump minimatch CI #1263: Pull request #1176 opened by dependabot bot
41m 6s dependabot/npm_and_yarn/multi-1ce7acca3d
dependabot/npm_and_yarn/multi-1ce7acca3d
41m 6s
Update html-proofer requirement from ~> 5.1.0 to ~> 5.2.0 CI #1262: Pull request #1165 synchronize by dependabot bot
39m 38s dependabot/bundler/html-proofer-tw-5.2.0
dependabot/bundler/html-proofer-tw-5.2.0
39m 38s
Bump html-validate from 10.7.0 to 10.9.0 (#1174) CI #1261: Commit b8789f5 pushed by github-merge-queue bot
49m 36s dev
dev
49m 36s
CI CI #1260: Merge group checks requested
39m 12s
39m 12s
CI CI #1259: Merge group checks requested
40m 32s
40m 32s
Fix a typo CI #1258: Pull request #1175 opened by OlingCat
1h 0m 1s OlingCat:patch-2
OlingCat:patch-2
1h 0m 1s
Bump html-validate from 10.7.0 to 10.9.0 CI #1257: Pull request #1174 opened by dependabot bot
54m 16s dependabot/npm_and_yarn/html-validate-10.9.0
dependabot/npm_and_yarn/html-validate-10.9.0
54m 16s
Bump html-validate from 10.7.0 to 10.8.0 CI #1256: Pull request #1173 opened by dependabot bot
40m 18s dependabot/npm_and_yarn/html-validate-10.8.0
dependabot/npm_and_yarn/html-validate-10.8.0
40m 18s
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