Skip to content
Lean Action CI

feat: trusted instruction assumptions for all opcodes (#59) #303

Sign in to view logs

feat: trusted instruction assumptions for all opcodes (#59)

feat: trusted instruction assumptions for all opcodes (#59) #303

Triggered via push July 25, 2025 22:44
@GZGavinZhaoGZGavinZhao
pushed 669d393
main
Status Failure
Total duration 10m 9s
Artifacts –

lean_action_ci.yml

on: push
build
10m 1s
build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
Process completed with exit code 1.
build
lake build failed