Skip to content

refactor: rename hexad→octad universally across VeriSimDB #15

refactor: rename hexad→octad universally across VeriSimDB

refactor: rename hexad→octad universally across VeriSimDB #15

Triggered via push March 9, 2026 17:15
Status Failure
Total duration 8s
Artifacts

instant-sync.yml

on: push
dispatch
3s
dispatch
Fit to window
Zoom out
Zoom in

Annotations

1 error
dispatch
Parameter token or opts.auth is required