Skip to content

Actions: CHERIoT-Platform/llvm-project

Actions

CI Checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
premerge.yaml
468 workflow runs
468 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CHERIOT] Use capability registers to store f64 values. CI Checks #348: Pull request #214 synchronize by resistor
1s resistor:f64-legal
resistor:f64-legal
1s
[CHERIoT] Use a target feature test rather than subarch test for CHERIoT in the static analyzer. CI Checks #347: Pull request #231 opened by resistor
1s resistor:csa-check
resistor:csa-check
1s
Add LoadGlobal permission to cheriot_mmio and cheriot_shared_object CI Checks #346: Pull request #225 synchronize by resistor
1s xdoardo:mmio-so-allow-load-global
xdoardo:mmio-so-allow-load-global
1s
[CHERIoT] Wire up enough driver support to be able to successfully infer -mabi=cheriot from the cheriotrtos OS field in the triple. CI Checks #345: Pull request #229 closed by resistor
1s resistor:rtos-cli
resistor:rtos-cli
1s
[CHERIoT] Wire up enough driver support to be able to successfully infer -mabi=cheriot from the cheriotrtos OS field in the triple. CI Checks #344: Pull request #229 synchronize by resistor
1s resistor:rtos-cli
resistor:rtos-cli
1s
[CHERIoT] Expand small atomics inline when XCheriot is enabled. CI Checks #343: Pull request #230 closed by resistor
1s resistor:atomic-quality
resistor:atomic-quality
1s
Add LoadGlobal permission to cheriot_mmio and cheriot_shared_object CI Checks #342: Pull request #225 synchronize by xdoardo
1s xdoardo:mmio-so-allow-load-global
xdoardo:mmio-so-allow-load-global
1s
[CHERIoT] Expand small atomics inline when XCheriot is enabled. CI Checks #341: Pull request #230 opened by resistor
1s resistor:atomic-quality
resistor:atomic-quality
1s
[CHERIoT] Wire up enough driver support to be able to successfully infer -mabi=cheriot from the cheriotrtos OS field in the triple. CI Checks #340: Pull request #229 opened by resistor
1s resistor:rtos-cli
resistor:rtos-cli
1s
[CHERIoT] Make XCheriot imply the other features it depends on. CI Checks #339: Pull request #228 closed by resistor
1s resistor:implication
resistor:implication
1s
[CHERIoT] Make XCheriot imply the other features it depends on. CI Checks #338: Pull request #228 synchronize by resistor
1s resistor:implication
resistor:implication
1s
[CHERIoT] Make XCheriot imply the other features it depends on. CI Checks #337: Pull request #228 opened by resistor
1s resistor:implication
resistor:implication
1s
[CHERI] Fix Clang code generation for _Atomic(uintptr_t) CI Checks #336: Pull request #227 closed by resistor
1s resistor:atomic-uintptr
resistor:atomic-uintptr
1s
[CHERI] Fix Clang code generation for _Atomic(uintptr_t) CI Checks #335: Pull request #227 opened by resistor
1s resistor:atomic-uintptr
resistor:atomic-uintptr
1s
Add LoadGlobal permission to cheriot_mmio and cheriot_shared_object CI Checks #334: Pull request #225 opened by xdoardo
Skipped xdoardo:mmio-so-allow-load-global
xdoardo:mmio-so-allow-load-global
Skipped
[CHERIoT] Convert a few places from checking the subarch to checking for the XCheriot ISA feature. CI Checks #333: Pull request #222 closed by resistor
1s resistor:xcheriot-feature
resistor:xcheriot-feature
1s
[CHERIoT] Convert a few places from checking the subarch to checking for the XCheriot ISA feature. CI Checks #332: Pull request #222 synchronize by resistor
1s resistor:xcheriot-feature
resistor:xcheriot-feature
1s
[CHERI] Rename +cap-mode to +xcheripurecap CI Checks #331: Pull request #223 closed by resistor
1s resistor:pure-cap-rename
resistor:pure-cap-rename
1s
[CHERIoT] Convert a few places from checking the subarch to checking for the XCheriot ISA feature. CI Checks #330: Pull request #222 synchronize by resistor
1s resistor:xcheriot-feature
resistor:xcheriot-feature
1s
[CHERI] Rename +cap-mode to +xcheripurecap CI Checks #329: Pull request #223 synchronize by resistor
1s resistor:pure-cap-rename
resistor:pure-cap-rename
1s
[CHERI] Rename +cap-mode to +xcheripurecap CI Checks #328: Pull request #223 synchronize by resistor
1s resistor:pure-cap-rename
resistor:pure-cap-rename
1s
[CHERI] Rename +cap-mode to +xcheripurecap CI Checks #327: Pull request #223 opened by resistor
1s resistor:pure-cap-rename
resistor:pure-cap-rename
1s
[CHERIoT] Convert a few places from checking the subarch to checking for the XCheriot ISA feature. CI Checks #326: Pull request #222 synchronize by resistor
1s resistor:xcheriot-feature
resistor:xcheriot-feature
1s
[CHERIoT] Convert a few places from checking the subarch to checking for the XCheriot ISA feature. CI Checks #325: Pull request #222 opened by resistor
Skipped resistor:xcheriot-feature
resistor:xcheriot-feature
Skipped
[CHERIoT] Add LLD tests for %cheriot_compartment_hi and %cheriot_compartment_lo_i CI Checks #324: Pull request #221 closed by resistor
1s resistor:lld-tests1
resistor:lld-tests1
1s