Skip to content

Actions: plfa/plfa.github.io

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
303 workflow runs
303 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Comment out omitted passage (#1163) CI #1229: Commit 2ac09f8 pushed by github-merge-queue bot
40m 19s dev
dev
40m 19s
CI CI #1228: Merge group checks requested
38m 14s
38m 14s
Update contributors (#1164) CI #1227: Commit 87c6b2e pushed by github-merge-queue bot
38m 51s dev
dev
38m 51s
Comment out omitted passage CI #1226: Pull request #1163 synchronize by wenkokke
39m 4s wenkokke/fix-omitted-passage
wenkokke/fix-omitted-passage
39m 4s
Comment out omitted passage CI #1225: Pull request #1163 synchronize by wenkokke
10m 53s wenkokke/fix-omitted-passage
wenkokke/fix-omitted-passage
10m 53s
Fix use of headers (#1162) CI #1224: Commit 5b3184c pushed by github-merge-queue bot
15m 19s dev
dev
15m 19s
CI CI #1223: Merge group checks requested
36m 28s
36m 28s
CI CI #1222: Merge group checks requested
57m 9s
57m 9s
Update contributors CI #1221: Pull request #1164 synchronize by wenkokke
36m 54s wenkokke/update-contributors
wenkokke/update-contributors
36m 54s
Update contributors CI #1220: Pull request #1164 opened by wenkokke
51s wenkokke/update-contributors
wenkokke/update-contributors
51s
Add devcontainer support CI #1219: Pull request #973 synchronize by wenkokke
Action required weihongliang233:devcontainer
weihongliang233:devcontainer
Action required
Prevent color change of visited definitions in code blocks CI #1218: Pull request #990 synchronize by wenkokke
56m 37s adql:issue-989
adql:issue-989
56m 37s
Comment out omitted passage CI #1217: Pull request #1163 synchronize by wenkokke
33m 29s wenkokke/fix-omitted-passage
wenkokke/fix-omitted-passage
33m 29s
Fix use of headers CI #1216: Pull request #1162 synchronize by wenkokke
38m 20s wenkokke/fix-headers
wenkokke/fix-headers
38m 20s
Ensure all code blocks are labeled and spaced (#1161) CI #1215: Commit 5c5fbe6 pushed by github-merge-queue bot
5m 48s dev
dev
5m 48s
CI CI #1214: Merge group checks requested
1h 6m 4s
1h 6m 4s
Comment out omitted passage CI #1213: Pull request #1163 opened by wenkokke
17m 25s wenkokke/fix-omitted-passage
wenkokke/fix-omitted-passage
17m 25s
Fix use of headers CI #1212: Pull request #1162 opened by wenkokke
38m 32s wenkokke/fix-headers
wenkokke/fix-headers
38m 32s
Ensure all code blocks are labeled and spaced CI #1211: Pull request #1161 synchronize by wenkokke
37m 19s wenkokke/label-code
wenkokke/label-code
37m 19s
Ensure all code blocks are labeled and spaced CI #1210: Pull request #1161 synchronize by wenkokke
23s wenkokke/label-code
wenkokke/label-code
23s
Ensure all code blocks are labeled and spaced CI #1209: Pull request #1161 synchronize by wenkokke
23m 31s wenkokke/label-code
wenkokke/label-code
23m 31s
Ensure all code blocks are labeled and spaced CI #1208: Pull request #1161 synchronize by pre-commit-ci bot
3m 21s wenkokke/label-code
wenkokke/label-code
3m 21s
Ensure all code blocks are labeled and spaced CI #1207: Pull request #1161 opened by wenkokke
15s wenkokke/label-code
wenkokke/label-code
15s
PLFA 2025 10 27: change how eval is defined (#1141) CI #1206: Commit f187ce7 pushed by github-merge-queue bot
37m 29s dev
dev
37m 29s
CI CI #1205: Merge group checks requested
37m 18s
37m 18s