Skip to content
tls_codec

F* extraction and lax-checking #2

Sign in to view logs

F* extraction and lax-checking

F* extraction and lax-checking #2

Triggered via pull request July 31, 2025 15:57
@maximebuysemaximebuyse
opened #1
hax-extracting
Status Failure
Total duration 2m 6s
Artifacts –

tls_codec.yml

on: pull_request
minimal-versions  /  minimal-versions
54s
minimal-versions / minimal-versions
Matrix: build
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

11 errors
build (1.85.0, thumbv7em-none-eabi)
Process completed with exit code 1.
build (1.85.0, wasm32-unknown-unknown)
The strategy configuration was canceled because "build._1_85_0_thumbv7em-none-ea" failed
build (stable, wasm32-unknown-unknown)
The strategy configuration was canceled because "build._1_85_0_thumbv7em-none-ea" failed
build (stable, thumbv7em-none-eabi)
The strategy configuration was canceled because "build._1_85_0_thumbv7em-none-ea" failed
test (x86_64-unknown-linux-gnu, stable)
Process completed with exit code 1.
test (x86_64-unknown-linux-gnu, 1.85.0)
The strategy configuration was canceled because "test.x86_64-unknown-linux-gn_2" failed
test (i686-unknown-linux-gnu, 1.85.0, sudo apt update && sudo apt install gcc-multilib)
The operation was canceled.
test (i686-unknown-linux-gnu, 1.85.0, sudo apt update && sudo apt install gcc-multilib)
The strategy configuration was canceled because "test.x86_64-unknown-linux-gn_2" failed
test (i686-unknown-linux-gnu, stable, sudo apt update && sudo apt install gcc-multilib)
The operation was canceled.
test (i686-unknown-linux-gnu, stable, sudo apt update && sudo apt install gcc-multilib)
The strategy configuration was canceled because "test.x86_64-unknown-linux-gn_2" failed
minimal-versions / minimal-versions
Process completed with exit code 1.