Skip to content
Test external projects

feat: library linking #97

Sign in to view logs

feat: library linking

feat: library linking #97

Triggered via pull request August 8, 2023 21:17
@daejunparkdaejunpark
synchronize #165
lowprivuser:feat/libs
Status Cancelled
Total duration 15m 39s
Artifacts –

test-external.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

2 errors
test (a16z/cicada, cicada, halmos --contract LibPrimeTest --function testProve --loop 256)
The run was canceled by @daejunpark.
test (a16z/cicada, cicada, halmos --contract LibPrimeTest --function testProve --loop 256)
The operation was canceled.