Skip to content

Fix caller of scilla_calls with keep_origin = 1 (#2033) #37

Fix caller of scilla_calls with keep_origin = 1 (#2033)

Fix caller of scilla_calls with keep_origin = 1 (#2033) #37

Triggered via push December 18, 2024 11:48
Status Cancelled
Total duration 25m 17s
Artifacts
Continuous Benchmarking
17m 41s
Continuous Benchmarking
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Continuous Benchmarking
The run was canceled by @frankmeds.
Continuous Benchmarking
The operation was canceled.