Skip to content
bindings/python

feat: Support Verus verification (#759) #1

Sign in to view logs

feat: Support Verus verification (#759)

feat: Support Verus verification (#759) #1

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (windows-2022, x86_64-pc-windows-msvc)
5m 40s
build (ubuntu-22.04, x86_64-unknown-linux-gnu)
2m 59s
test (ubuntu-24.04, 3.10)
2m 1s
test (ubuntu-22.04, 3.11)
1m 49s
test (ubuntu-22.04, 3.10)
1m 47s
test (ubuntu-24.04, 3.11)
1m 54s
test (ubuntu-24.04, 3.13)
1m 56s
test (ubuntu-22.04, 3.12)
1m 55s
test (ubuntu-24.04, 3.12)
1m 50s
test (windows-2022, 3.10)
3m 7s
test (windows-2022, 3.12)
3m 40s
test (windows-2022, 3.13)
3m 18s
test (ubuntu-22.04, 3.13)
1m 42s
test (windows-2022, 3.11)
3m 50s
37m 28s