Skip to content

Actions: seL4/docs

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #1690: by seL4-ci
43s gh-pages
gh-pages
43s
Build Build #2528: Scheduled
3m 8s master
master
3m 8s
Add documentation for STM32MP2 PR #528: Pull request #325 synchronize by bruelc
Action required bruelc:master-stm32mp2
bruelc:master-stm32mp2
Action required
Add documentation for STM32MP2 CI #740: Pull request #325 synchronize by bruelc
Action required bruelc:master-stm32mp2
bruelc:master-stm32mp2
Action required
Add documentation for STM32MP2 Build #2527: Pull request #325 synchronize by bruelc
-1s bruelc:master-stm32mp2
bruelc:master-stm32mp2
-1s
Import microkit manual automatically CI #739: Pull request #332 synchronize by lsf37
44s microkit-manual
microkit-manual
44s
Import microkit manual automatically PR #527: Pull request #332 synchronize by lsf37
1m 20s microkit-manual
microkit-manual
1m 20s
Import microkit manual automatically Build #2526: Pull request #332 synchronize by lsf37
2m 48s microkit-manual
microkit-manual
2m 48s
Import microkit manual automatically CI #738: Pull request #332 opened by lsf37
55s microkit-manual
microkit-manual
55s
Import microkit manual automatically PR #526: Pull request #332 opened by lsf37
1m 26s microkit-manual
microkit-manual
1m 26s
Import microkit manual automatically Build #2525: Pull request #332 opened by lsf37
3m 3s microkit-manual
microkit-manual
3m 3s
pages build and deployment pages-build-deployment #1689: by seL4-ci
39s gh-pages
gh-pages
39s
Build Build #2524: Scheduled
3m 15s master
master
3m 15s
pages build and deployment pages-build-deployment #1688: by seL4-ci
40s gh-pages
gh-pages
40s
data: rust-sel4 v4.0.0 release info CI #737: Commit c08c814 pushed by lsf37
45s master
master
45s
data: rust-sel4 v4.0.0 release info Build #2523: Commit c08c814 pushed by lsf37
3m 11s master
master
3m 11s
data: rust-sel4 v4.0.0 release info CI #736: Pull request #331 opened by nspin
40s nspin:pr/add-rust-release-4.0.0
nspin:pr/add-rust-release-4.0.0
40s
data: rust-sel4 v4.0.0 release info Build #2522: Pull request #331 opened by nspin
3m 58s nspin:pr/add-rust-release-4.0.0
nspin:pr/add-rust-release-4.0.0
3m 58s
data: rust-sel4 v4.0.0 release info PR #525: Pull request #331 opened by nspin
1m 16s nspin:pr/add-rust-release-4.0.0
nspin:pr/add-rust-release-4.0.0
1m 16s
pages build and deployment pages-build-deployment #1687: by seL4-ci
36s gh-pages
gh-pages
36s
Build Build #2521: Manually run by Ivan-Velickovic
3m 17s master
master
3m 17s
pages build and deployment pages-build-deployment #1686: by seL4-ci
42s gh-pages
gh-pages
42s
microkit: add 2.2.0 PDF manual CI #735: Commit 4d52a54 pushed by lsf37
40s master
master
40s
microkit: add 2.2.0 PDF manual Build #2520: Commit 4d52a54 pushed by lsf37
3m 14s master
master
3m 14s
Add release notes and update front page releases PR #524: Pull request #330 synchronize by lsf37
1m 12s release
release
1m 12s