Skip to content

Actions: seL4/docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
126 workflow run results
126 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #648: by seL4-ci
August 20, 2023 03:17 1m 6s
August 20, 2023 03:17 1m 6s
Build Build #1150: Scheduled
August 20, 2023 03:12 5m 15s master
master
August 20, 2023 03:12 5m 15s
pages build and deployment pages-build-deployment #647: by seL4-ci
August 19, 2023 03:18 1m 5s
August 19, 2023 03:18 1m 5s
Build Build #1149: Scheduled
August 19, 2023 03:12 6m 26s master
master
August 19, 2023 03:12 6m 26s
pages build and deployment pages-build-deployment #646: by seL4-ci
August 18, 2023 03:18 1m 7s
August 18, 2023 03:18 1m 7s
Build Build #1148: Scheduled
August 18, 2023 03:12 5m 37s master
master
August 18, 2023 03:12 5m 37s
pages build and deployment pages-build-deployment #645: by seL4-ci
August 17, 2023 08:18 1m 6s
August 17, 2023 08:18 1m 6s
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
Update FAQ multi-core answer CI #323: Commit c3d8a2e pushed by lsf37
August 17, 2023 08:12 39s master
master
August 17, 2023 08:12 39s
pages build and deployment pages-build-deployment #644: by seL4-ci
August 17, 2023 03:17 57s
August 17, 2023 03:17 57s
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 CI #322: Pull request #193 synchronize by Ivan-Velickovic
August 17, 2023 00:37 57s Ivan-Velickovic:faq_smp
Ivan-Velickovic:faq_smp
August 17, 2023 00:37 57s
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 PR #212: Pull request #193 synchronize by Ivan-Velickovic
August 17, 2023 00:37 37s Ivan-Velickovic:faq_smp
Ivan-Velickovic:faq_smp
August 17, 2023 00:37 37s
Update FAQ multi-core answer PR #211: Pull request #193 opened by Ivan-Velickovic
August 17, 2023 00:37 42s Ivan-Velickovic:faq_smp
Ivan-Velickovic:faq_smp
August 17, 2023 00:37 42s
Update FAQ multi-core answer CI #321: Pull request #193 opened by Ivan-Velickovic
August 17, 2023 00:37 52s Ivan-Velickovic:faq_smp
Ivan-Velickovic:faq_smp
August 17, 2023 00:37 52s
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
pages build and deployment pages-build-deployment #643: by seL4-ci
August 16, 2023 03:18 1m 0s
August 16, 2023 03:18 1m 0s
Build Build #1143: Scheduled
August 16, 2023 03:12 5m 30s master
master
August 16, 2023 03:12 5m 30s
pages build and deployment pages-build-deployment #642: by seL4-ci
August 15, 2023 03:18 55s
August 15, 2023 03:18 55s
Build Build #1142: Scheduled
August 15, 2023 03:12 5m 36s master
master
August 15, 2023 03:12 5m 36s
pages build and deployment pages-build-deployment #641: by seL4-ci
August 14, 2023 03:19 1m 6s
August 14, 2023 03:19 1m 6s
Build Build #1141: Scheduled
August 14, 2023 03:12 6m 25s master
master
August 14, 2023 03:12 6m 25s
pages build and deployment pages-build-deployment #640: by seL4-ci
August 13, 2023 03:17 1m 1s
August 13, 2023 03:17 1m 1s
Build Build #1140: Scheduled
August 13, 2023 03:12 5m 14s master
master
August 13, 2023 03:12 5m 14s