Skip to content

feat: BitVec.signExtend.{toNat, toInt} #25015

feat: BitVec.signExtend.{toNat, toInt}

feat: BitVec.signExtend.{toNat, toInt} #25015

Annotations

2 warnings

Linux release

succeeded Nov 29, 2024 in 14m 42s
Set up job
4s
Set up runner
0s
Install Nix
5s
Install MSYS2
0s
Install Brew Packages
0s
Checkout
15s
CI Merge Checkout
1m 18s
Setup emsdk
0s
Install 32bit c libs
0s
Cache
4s
Setup
1s
Set up NPROC
0s
Build
12m 24s
Install
4s
Check Binaries
0s
Count binary symbols
0s
List Install Tree
0s
Pack
1s
Run actions/upload-artifact@v4
9s
Lean stats
0s
Test
0s
Test Summary
0s
Check Test Binary
0s
Build Stage 2
0s
Check Stage 3
0s
Test Speedcenter Benchmarks
0s
Check rebootstrap
0s
CCache stats
0s
Post Cache
7s
Post Checkout
0s
Post Install Nix
1s
Complete job
0s