Skip to content
Back to pull request #333

Change API for EAD items to support large numbers #1174

Sign in to view logs

Change API for EAD items to support large numbers

Change API for EAD items to support large numbers #1174

Triggered via pull request January 22, 2025 13:42
@chrysnchrysn
opened #333
chrysn-pull-requests:ead-api-16
Status Failure
Total duration 2m 37s
Artifacts 1

build-and-test.yml

on: pull_request
check-style
13s
check-style
generate-fstar
2m 24s
generate-fstar
Matrix: unit-tests
unit-tests-default
51s
unit-tests-default
test-lakers-python
45s
test-lakers-python
Matrix: build-edhoc-package
Matrix: build-example-for-cortex-m4
Matrix: build-lakers-c
Matrix: run-example-on-qemu
build-lakers-c-example
0s
build-lakers-c-example
build-coap-example
0s
build-coap-example
release
0s
release
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 8 warnings
test-lakers-python
Process completed with exit code 1.
unit-tests (lakers-crypto/psa, ead-authz)
Process completed with exit code 101.
unit-tests (lakers-crypto/psa, ead-none)
Process completed with exit code 101.
check-style
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
unit-tests (lakers-crypto/rustcrypto, ead-none)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
test-lakers-python
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
unit-tests (lakers-crypto/psa, ead-authz)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
unit-tests (lakers-crypto/psa, ead-none)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
unit-tests (lakers-crypto/rustcrypto, ead-authz)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
unit-tests-default
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
generate-fstar
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
fstar-code
328 KB