Skip to content
Quint

[storage/adb/current] adb::ordered::current (provides exclusion proof support) #3452

Sign in to view logs

[storage/adb/current] adb::ordered::current (provides exclusion proof support)

[storage/adb/current] adb::ordered::current (provides exclusion proof support) #3452

Triggered via pull request October 13, 2025 23:40
@roberto-bayardoroberto-bayardo
synchronize #1799
exclusion-proof-db
Status Success
Total duration 1m 2s
Artifacts –

quint.yml

on: pull_request
Tests
1m 0s
Tests
Fit to window
Zoom out
Zoom in