Skip to content
CICD

Log non linearizable path when linearization check fails (#498) #796

Sign in to view logs

Log non linearizable path when linearization check fails (#498)

Log non linearizable path when linearization check fails (#498) #796

Triggered via push December 18, 2024 20:14
@dfarrdfarr
pushed 0cecd95
main
Status Success
Total duration 4m 42s
Artifacts 2

cicd.yaml

on: push
lint
2m 20s
lint
test
1m 44s
test
linearizability
3m 35s
linearizability
scan
50s
scan
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
dst-results
1.04 MB
test-harness-results
1.05 MB