Skip to content

Actions: seL4/capdl

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
85 workflow runs
85 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
cdl_utils+python-capdl-tool: remove six package PR #267: Pull request #103 opened by lsf37
55s lsf37/six
lsf37/six
55s
python-capdl-tool: remove future package PR #266: Pull request #102 opened by lsf37
43s lsf37/python3
lsf37/python3
43s
Release 0.6.0 PR #265: Pull request #101 synchronize by lsf37
45s lsf37/release
lsf37/release
45s
Release 0.6.0 PR #264: Pull request #101 synchronize by lsf37
10m 58s lsf37/release
lsf37/release
10m 58s
Release 0.6.0 PR #263: Pull request #101 synchronize by lsf37
10m 42s lsf37/release
lsf37/release
10m 42s
Release 0.6.0 PR #262: Pull request #101 opened by lsf37
2m 30s lsf37/release
lsf37/release
2m 30s
CHANGES: record changelog for upcoming release PR #261: Pull request #100 opened by lsf37
50s lsf37/changelog
lsf37/changelog
50s
capdl-loader-app: fix MCS x86 us_to_ticks PR #260: Pull request #99 opened by midnightveil
8m 10s julia/fix-x86-mcs-domains
julia/fix-x86-mcs-domains
8m 10s
Support domain schedule units (us & ticks) PR #259: Pull request #95 synchronize by midnightveil
42s julia/microsecond-domsched
julia/microsecond-domsched
42s
Support domain schedule units (us & ticks) PR #258: Pull request #95 synchronize by midnightveil
43s julia/microsecond-domsched
julia/microsecond-domsched
43s
Support domain schedule units (us & ticks) PR #257: Pull request #95 synchronize by midnightveil
51s julia/microsecond-domsched
julia/microsecond-domsched
51s
Support domain schedule units (us & ticks) PR #256: Pull request #95 synchronize by midnightveil
42s julia/microsecond-domsched
julia/microsecond-domsched
42s
capDL-tool: add --json mode PR #255: Pull request #90 synchronize by nspin
45s nspin:pr/print-json
nspin:pr/print-json
45s
capDL-tool: add --json mode PR #254: Pull request #90 synchronize by nspin
48s nspin:pr/print-json
nspin:pr/print-json
48s
Support domain schedule units (us & ticks) PR #253: Pull request #95 synchronize by midnightveil
50s julia/microsecond-domsched
julia/microsecond-domsched
50s
Support domain schedule units (us & ticks) PR #252: Pull request #95 synchronize by midnightveil
50s julia/microsecond-domsched
julia/microsecond-domsched
50s
Support domain schedule units (us & ticks) PR #251: Pull request #95 synchronize by midnightveil
43s julia/microsecond-domsched
julia/microsecond-domsched
43s
Support domain schedule units (us & ticks) PR #250: Pull request #95 synchronize by midnightveil
8m 36s julia/microsecond-domsched
julia/microsecond-domsched
8m 36s
Support domain schedule units (us & ticks) PR #249: Pull request #95 synchronize by midnightveil
49s julia/microsecond-domsched
julia/microsecond-domsched
49s
Support domain schedule units (us & ticks) PR #248: Pull request #95 synchronize by midnightveil
50s julia/microsecond-domsched
julia/microsecond-domsched
50s
Support domain schedule units (us & ticks) PR #247: Pull request #95 synchronize by midnightveil
43s julia/microsecond-domsched
julia/microsecond-domsched
43s
capDL-tool: add --json mode PR #246: Pull request #90 synchronize by nspin
13m 34s nspin:pr/print-json
nspin:pr/print-json
13m 34s
Add support for XN vm attributes PR #245: Pull request #86 synchronize by nspin
13m 53s nspin:pr/xn-vm-attr
nspin:pr/xn-vm-attr
13m 53s
Support domain schedule units (us & ticks) PR #244: Pull request #95 opened by midnightveil
21m 55s julia/microsecond-domsched
julia/microsecond-domsched
21m 55s
capDL-tool: add --json mode PR #243: Pull request #90 synchronize by nspin
23m 5s nspin:pr/print-json
nspin:pr/print-json
23m 5s