Skip to content

SVA: sequence repetition for proper sequences #3299

SVA: sequence repetition for proper sequences

SVA: sequence repetition for proper sequences #3299

Annotations

2 warnings

Emscripten build

succeeded Jan 21, 2025 in 1m 42s
Set up job
1s
Run actions/checkout@v4
6s
Fetch dependencies
25s
Install node.js 23
4s
Install emscripten
37s
Prepare ccache
4s
ccache environment
0s
Zero ccache stats and limit in size
0s
Get minisat
0s
Build with make
14s
print version number via node.js
0s
Compile unit tests
1s
Run unit tests
0s
Print ccache stats
0s
Post Prepare ccache
8s
Post Install node.js 23
0s
Post Run actions/checkout@v4
0s
Complete job
0s