Skip to content
Quint

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

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) #3457

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

quint.yml

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