Skip to content

Actions: seL4/seL4

Actions

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sel4test-deploy.yml
173 workflow runs
173 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
suspend: move call to setThreadState Deploy #999: Commit 82a1a8f pushed by lsf37
19m 11s master
master
19m 11s
Respect count in TCB_Write/ReadRegisters via loop Deploy #998: Commit 19a520a pushed by Indanz
22m 51s master
master
22m 51s
github: provide base ref for preprocess check Deploy #997: Commit 061017b pushed by lsf37
21m 26s master
master
21m 26s
scheduleTCB: simplify scheduler action logic Deploy #996: Commit 727ccd1 pushed by lsf37
23m 46s master
master
23m 46s
deps-update Deploy #995: Repository dispatch triggered by seL4-ci
41m 45s
41m 45s
github: update artifact path Deploy #994: Commit d3a0f5f pushed by Indanz
19m 16s master
master
19m 16s
deps-update Deploy #993: Repository dispatch triggered by seL4-ci
19m 26s
19m 26s
arm,cmake: make verification and release equal Deploy #992: Commit f4a7417 pushed by lsf37
45m 47s master
master
45m 47s
deps-update Deploy #991: Repository dispatch triggered by seL4-ci
11m 3s
11m 3s
Update VERSION file to 15.0.0-dev Deploy #990: Commit 3f590a6 pushed by lsf37
20m 24s master
master
20m 24s
deps-update Deploy #989: Repository dispatch triggered by seL4-ci
19m 18s
19m 18s
deps-update Deploy #988: Repository dispatch triggered by seL4-ci
30m 29s
30m 29s
style: Style cmake for qemu-arm-virt platform Deploy #987: Commit 55c1ea6 pushed by Indanz
28m 2s master
master
28m 2s
deps-update Deploy #986: Repository dispatch triggered by seL4-ci
1h 36m 28s
1h 36m 28s
Runtime Domain Schedules Deploy #985: Commit 27a52dd pushed by lsf37
1h 41m 20s master
master
1h 41m 20s
x86/vcpu: Expose VMX 2nd proc control to userspace Deploy #984: Commit 235f90f pushed by lsf37
40m 54s master
master
40m 54s
x86: Fix AMD CPU model assignment typo Deploy #983: Commit ebbda2a pushed by Indanz
1h 3m 52s master
master
1h 3m 52s
deps-update Deploy #982: Repository dispatch triggered by seL4-ci
42m 26s
42m 26s
deps-update Deploy #981: Repository dispatch triggered by seL4-ci
37m 46s
37m 46s
cmake: remove default flags added to the compiler Deploy #980: Commit c406015 pushed by kent-mcleod
15m 40s master
master
15m 40s
CMake style all changed files Deploy #979: Commit 4cdc428 pushed by kent-mcleod
27m 33s master
master
27m 33s
deps-update Deploy #978: Repository dispatch triggered by seL4-ci
42m 50s
42m 50s
aarch64,fpu,hyp: do not trap CPACR_EL1 acceses Deploy #977: Commit d40bad3 pushed by Indanz
21m 54s master
master
21m 54s
deps-update Deploy #976: Repository dispatch triggered by seL4-ci
32m 32s
32m 32s
deps-update Deploy #975: Repository dispatch triggered by seL4-ci
33m 10s
33m 10s