Skip to content
.github/workflows/ci.yml

Fix RV32E shifts by immediates >= 0x10 #5

Sign in to view logs

Fix RV32E shifts by immediates >= 0x10

Fix RV32E shifts by immediates >= 0x10 #5

Triggered via pull request March 26, 2024 16:54
@KrystalDelusionKrystalDelusion
synchronize #244
MichaelBell:fix-rv32e
Status Success
Total duration 13m 44s
Artifacts –

ci.yml

on: pull_request
riscv-formal
13m 35s
riscv-formal
Fit to window
Zoom out
Zoom in