Skip to content
Test external projects

feat: library linking #98

Sign in to view logs

feat: library linking

feat: library linking #98

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

test-external.yml

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

Annotations

6 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.
test (a16z/cicada, cicada, halmos --contract LibUint1024Test --function testProve --loop 256)
The run was canceled by @daejunpark.
test (a16z/cicada, cicada, halmos --contract LibUint1024Test --function testProve --loop 256)
The operation was canceled.
test (farcasterxyz/contracts, farcaster-contracts, halmos --function check, test/halmos)
The run was canceled by @daejunpark.
test (farcasterxyz/contracts, farcaster-contracts, halmos --function check, test/halmos)
The operation was canceled.