Skip to content

Actions: lowRISC/ibex

Actions

Ibex CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
21 workflow run results
21 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[cosim] Update comment on set_mip in Cosim interface Ibex CI #291: Pull request #2256 opened by GregAC
11m 15s GregAC:cosim_comment
GregAC:cosim_comment
11m 15s
[rtl] Flush pipe on all CSR modifications Ibex CI #290: Pull request #2214 synchronize by GregAC
11m 7s GregAC:csr_flush_fix
GregAC:csr_flush_fix
11m 7s
[rtl] Remove low utility assertions Ibex CI #289: Pull request #2255 opened by GregAC
11m 19s GregAC:remove_controller_asserts
GregAC:remove_controller_asserts
11m 19s
[ibex,tracer] Uniquify trace log with module hierarchy Ibex CI #288: Pull request #2254 opened by Razer6
11m 21s Razer6:ibex-trace-log-uniquification
Razer6:ibex-trace-log-uniquification
11m 21s
End-to-End Formal Verification of Ibex Trace Equivalence against the Sail Model Ibex CI #287: Pull request #2245 synchronize by marnovandermaas
11m 30s marnovandermaas:formal_cleanup
marnovandermaas:formal_cleanup
11m 30s
End-to-End Formal Verification of Ibex Trace Equivalence against the Sail Model Ibex CI #286: Pull request #2245 synchronize by marnovandermaas
12m 16s marnovandermaas:formal_cleanup
marnovandermaas:formal_cleanup
12m 16s
End-to-End Formal Verification of Ibex Trace Equivalence against the Sail Model Ibex CI #285: Pull request #2245 synchronize by marnovandermaas
11m 12s marnovandermaas:formal_cleanup
marnovandermaas:formal_cleanup
11m 12s
End-to-End Formal Verification of Ibex Trace Equivalence against the Sail Model Ibex CI #284: Pull request #2245 synchronize by marnovandermaas
11m 39s marnovandermaas:formal_cleanup
marnovandermaas:formal_cleanup
11m 39s
Ibex CI Ibex CI #283: Merge group checks requested
11m 33s
11m 33s
[rtl] Flush pipe on all CSR modifications Ibex CI #282: Pull request #2214 synchronize by marnovandermaas
11m 33s GregAC:csr_flush_fix
GregAC:csr_flush_fix
11m 33s
Ibex CI Ibex CI #281: Merge group checks requested
11m 59s
11m 59s
[ibex_core] Fix assertion when SecureIbex is false Ibex CI #280: Pull request #2251 opened by rswarbrick
11m 42s rswarbrick:no-fetch-assert-without-secure-ibex
rswarbrick:no-fetch-assert-without-secure-ibex
11m 42s
[ibex_register_file_fpga] Drop two confusing comments Ibex CI #279: Pull request #2250 opened by rswarbrick
11m 58s rswarbrick:register-file-fpga-comments
rswarbrick:register-file-fpga-comments
11m 58s
Ibex CI Ibex CI #278: Merge group checks requested
12m 2s
12m 2s
Fix typo in comment in ibex_id_stage.sv Ibex CI #277: Pull request #2247 opened by KatCe
11m 48s KatCe:patch-2
KatCe:patch-2
11m 48s
End-to-End Formal Verification of Ibex Trace Equivalence against the Sail Model Ibex CI #276: Pull request #2245 synchronize by marnovandermaas
11m 6s marnovandermaas:formal_cleanup
marnovandermaas:formal_cleanup
11m 6s
End-to-End Formal Verification of Ibex Trace Equivalence against the Sail Model Ibex CI #275: Pull request #2245 synchronize by marnovandermaas
11m 36s marnovandermaas:formal_cleanup
marnovandermaas:formal_cleanup
11m 36s
End-to-End Formal Verification of Ibex Trace Equivalence against the Sail Model Ibex CI #274: Pull request #2245 synchronize by marnovandermaas
11m 46s marnovandermaas:formal_cleanup
marnovandermaas:formal_cleanup
11m 46s
End-to-End Formal Verification of Ibex Trace Equivalence against the Sail Model Ibex CI #273: Pull request #2245 opened by marnovandermaas
11m 33s marnovandermaas:formal_cleanup
marnovandermaas:formal_cleanup
11m 33s
Ibex CI Ibex CI #272: Merge group checks requested
11m 23s
11m 23s
[ibex_tracer] Use static variables in always/final blocks Ibex CI #271: Pull request #2243 opened by Razer6
11m 9s Razer6:static-vars
Razer6:static-vars
11m 9s