Skip to content

Actions: seL4/docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,435 workflow runs
1,435 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add SiFive Premier P550 Build #1966: Pull request #276 opened by Ivan-Velickovic
February 12, 2025 04:00 1m 46s Ivan-Velickovic:p550
Ivan-Velickovic:p550
February 12, 2025 04:00 1m 46s
Add SiFive Premier P550 PR #423: Pull request #276 opened by Ivan-Velickovic
February 12, 2025 04:00 38s Ivan-Velickovic:p550
Ivan-Velickovic:p550
February 12, 2025 04:00 38s
pages build and deployment pages-build-deployment #1243: by seL4-ci
February 12, 2025 03:16 38s gh-pages
gh-pages
February 12, 2025 03:16 38s
Build Build #1965: Scheduled
February 12, 2025 03:14 2m 14s master
master
February 12, 2025 03:14 2m 14s
pages build and deployment pages-build-deployment #1242: by seL4-ci
February 11, 2025 03:19 38s gh-pages
gh-pages
February 11, 2025 03:19 38s
Build Build #1964: Scheduled
February 11, 2025 03:14 4m 37s master
master
February 11, 2025 03:14 4m 37s
pages build and deployment pages-build-deployment #1241: by seL4-ci
February 10, 2025 03:16 1m 2s gh-pages
gh-pages
February 10, 2025 03:16 1m 2s
Build Build #1963: Scheduled
February 10, 2025 03:14 1m 58s master
master
February 10, 2025 03:14 1m 58s
pages build and deployment pages-build-deployment #1240: by seL4-ci
February 9, 2025 03:16 36s gh-pages
gh-pages
February 9, 2025 03:16 36s
Build Build #1962: Scheduled
February 9, 2025 03:14 2m 34s master
master
February 9, 2025 03:14 2m 34s
pages build and deployment pages-build-deployment #1239: by seL4-ci
February 8, 2025 03:15 37s gh-pages
gh-pages
February 8, 2025 03:15 37s
Build Build #1961: Scheduled
February 8, 2025 03:13 2m 6s master
master
February 8, 2025 03:13 2m 6s
pages build and deployment pages-build-deployment #1238: by seL4-ci
February 7, 2025 03:16 44s gh-pages
gh-pages
February 7, 2025 03:16 44s
Build Build #1960: Scheduled
February 7, 2025 03:14 2m 19s master
master
February 7, 2025 03:14 2m 19s
pages build and deployment pages-build-deployment #1237: by seL4-ci
February 6, 2025 23:20 37s gh-pages
gh-pages
February 6, 2025 23:20 37s
update ruby deps CI #595: Commit ee78c88 pushed by lsf37
February 6, 2025 23:17 29s master
master
February 6, 2025 23:17 29s
update ruby deps Build #1959: Commit ee78c88 pushed by lsf37
February 6, 2025 23:17 2m 30s master
master
February 6, 2025 23:17 2m 30s
update ruby deps PR #422: Pull request #275 synchronize by Indanz
February 6, 2025 11:37 40s deps
deps
February 6, 2025 11:37 40s
update ruby deps Build #1958: Pull request #275 synchronize by Indanz
February 6, 2025 11:37 1m 55s deps
deps
February 6, 2025 11:37 1m 55s
update ruby deps CI #594: Pull request #275 synchronize by Indanz
February 6, 2025 11:37 48s deps
deps
February 6, 2025 11:37 48s
pages build and deployment pages-build-deployment #1236: by seL4-ci
February 6, 2025 11:36 38s gh-pages
gh-pages
February 6, 2025 11:36 38s
header: fix Projects link CI #593: Commit 522883f pushed by Indanz
February 6, 2025 11:34 32s master
master
February 6, 2025 11:34 32s
header: fix Projects link Build #1957: Commit 522883f pushed by Indanz
February 6, 2025 11:34 2m 14s master
master
February 6, 2025 11:34 2m 14s
pages build and deployment pages-build-deployment #1235: by seL4-ci
February 6, 2025 03:16 40s gh-pages
gh-pages
February 6, 2025 03:16 40s
Build Build #1956: Scheduled
February 6, 2025 03:14 2m 25s master
master
February 6, 2025 03:14 2m 25s