Skip to content

Actions: seL4/docs

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
715 workflow runs
715 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build Build #1188: Scheduled
September 14, 2023 03:12 6m 25s master
master
September 14, 2023 03:12 6m 25s
Build Build #1187: Scheduled
September 13, 2023 03:12 5m 44s master
master
September 13, 2023 03:12 5m 44s
update status of verified configs Build #1186: Pull request #198 synchronize by lsf37
September 12, 2023 17:51 7m 11s verfied-configs
verfied-configs
September 12, 2023 17:51 7m 11s
Build Build #1185: Scheduled
September 12, 2023 03:12 5m 41s master
master
September 12, 2023 03:12 5m 41s
update status of verified configs Build #1184: Pull request #198 opened by lsf37
September 11, 2023 16:46 5m 25s verfied-configs
verfied-configs
September 11, 2023 16:46 5m 25s
Build Build #1183: Scheduled
September 11, 2023 03:12 5m 20s master
master
September 11, 2023 03:12 5m 20s
Build Build #1182: Scheduled
September 10, 2023 03:12 5m 30s master
master
September 10, 2023 03:12 5m 30s
Build Build #1181: Scheduled
September 9, 2023 03:12 5m 37s master
master
September 9, 2023 03:12 5m 37s
Build Build #1180: Scheduled
September 8, 2023 03:12 6m 51s master
master
September 8, 2023 03:12 6m 51s
Build Build #1179: Scheduled
September 7, 2023 03:12 7m 34s master
master
September 7, 2023 03:12 7m 34s
Build Build #1178: Scheduled
September 6, 2023 03:12 6m 37s master
master
September 6, 2023 03:12 6m 37s
Build Build #1177: Scheduled
September 5, 2023 03:12 12s master
master
September 5, 2023 03:12 12s
Build Build #1176: Scheduled
September 4, 2023 03:12 7m 27s master
master
September 4, 2023 03:12 7m 27s
Build Build #1175: Scheduled
September 3, 2023 03:12 6m 41s master
master
September 3, 2023 03:12 6m 41s
Build Build #1174: Scheduled
September 2, 2023 03:12 6m 53s master
master
September 2, 2023 03:12 6m 53s
ProTip! You can narrow down the results and go further in time using created:<2023-09-02 or the other filters available.