Skip to content

Actions: seL4/docs

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
57 workflow run results
57 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build Build #1150: Scheduled
August 20, 2023 03:12 5m 15s master
master
August 20, 2023 03:12 5m 15s
Build Build #1149: Scheduled
August 19, 2023 03:12 6m 26s master
master
August 19, 2023 03:12 6m 26s
Build Build #1148: Scheduled
August 18, 2023 03:12 5m 37s master
master
August 18, 2023 03:12 5m 37s
Update FAQ multi-core answer Build #1147: Commit c3d8a2e pushed by lsf37
August 17, 2023 08:12 5m 20s master
master
August 17, 2023 08:12 5m 20s
Build Build #1146: Scheduled
August 17, 2023 03:12 5m 8s master
master
August 17, 2023 03:12 5m 8s
Update FAQ multi-core answer Build #1145: Pull request #193 synchronize by Ivan-Velickovic
August 17, 2023 00:37 6m 26s Ivan-Velickovic:faq_smp
Ivan-Velickovic:faq_smp
August 17, 2023 00:37 6m 26s
Update FAQ multi-core answer Build #1144: Pull request #193 opened by Ivan-Velickovic
August 17, 2023 00:37 7m 0s Ivan-Velickovic:faq_smp
Ivan-Velickovic:faq_smp
August 17, 2023 00:37 7m 0s
Build Build #1143: Scheduled
August 16, 2023 03:12 5m 30s master
master
August 16, 2023 03:12 5m 30s
Build Build #1142: Scheduled
August 15, 2023 03:12 5m 36s master
master
August 15, 2023 03:12 5m 36s
Build Build #1141: Scheduled
August 14, 2023 03:12 6m 25s master
master
August 14, 2023 03:12 6m 25s
Build Build #1140: Scheduled
August 13, 2023 03:12 5m 14s master
master
August 13, 2023 03:12 5m 14s
Build Build #1139: Scheduled
August 12, 2023 03:12 5m 14s master
master
August 12, 2023 03:12 5m 14s
add Alwin as reviewer Build #1138: Commit 4f28c8d pushed by lsf37
August 11, 2023 18:20 6m 53s master
master
August 11, 2023 18:20 6m 53s
add Alwin as reviewer Build #1137: Pull request #192 opened by lsf37
August 11, 2023 13:54 5m 8s new-reviewer
new-reviewer
August 11, 2023 13:54 5m 8s
Build Build #1136: Scheduled
August 11, 2023 03:12 5m 10s master
master
August 11, 2023 03:12 5m 10s
Build Build #1135: Scheduled
August 10, 2023 03:12 6m 15s master
master
August 10, 2023 03:12 6m 15s
Build Build #1134: Scheduled
August 9, 2023 03:12 4m 58s master
master
August 9, 2023 03:12 4m 58s
Build Build #1133: Scheduled
August 8, 2023 03:12 5m 18s master
master
August 8, 2023 03:12 5m 18s
Remove dependency instructions for Ubuntu 18.04 Build #1132: Commit 10160ce pushed by Ivan-Velickovic
August 7, 2023 10:11 5m 26s master
master
August 7, 2023 10:11 5m 26s
Build Build #1131: Scheduled
August 7, 2023 03:12 5m 24s master
master
August 7, 2023 03:12 5m 24s
Build Build #1130: Scheduled
August 6, 2023 03:12 5m 9s master
master
August 6, 2023 03:12 5m 9s
Build Build #1129: Scheduled
August 5, 2023 03:12 4m 53s master
master
August 5, 2023 03:12 4m 53s
Build Build #1128: Scheduled
August 4, 2023 03:12 5m 45s master
master
August 4, 2023 03:12 5m 45s
Build Build #1127: Scheduled
August 3, 2023 03:12 7m 6s master
master
August 3, 2023 03:12 7m 6s
Build Build #1126: Scheduled
August 2, 2023 03:12 5m 47s master
master
August 2, 2023 03:12 5m 47s