Skip to content
Continuous integration

Bump model-checking/kani-github-action from 1.0 to 1.1 #5

Sign in to view logs

Bump model-checking/kani-github-action from 1.0 to 1.1

Bump model-checking/kani-github-action from 1.0 to 1.1 #5

Triggered via pull request March 7, 2024 08:53
@dependabotdependabot[bot]
opened #5
dependabot/github_actions/model-checking/kani-github-action-1.1
Status Failure
Total duration 12m 53s
Artifacts –

rust.yml

on: pull_request
Test - stable toolchain
23s
Test - stable toolchain
Test - beta toolchain
27s
Test - beta toolchain
Test - nightly toolchain
28s
Test - nightly toolchain
Test - 1.56.1 toolchain
3m 50s
Test - 1.56.1 toolchain
Test 32-bit version
1m 7s
Test 32-bit version
Cross test
1m 47s
Cross test
Embedded
1m 21s
Embedded
Address sanitizer
1m 14s
Address sanitizer
WebAssembly Build
2m 5s
WebAssembly Build
Fit to window
Zoom out
Zoom in

Annotations

6 errors
Test - beta toolchain
Process completed with exit code 101.
Test 32-bit version
Process completed with exit code 101.
Test - stable toolchain
Process completed with exit code 101.
Test - nightly toolchain
Process completed with exit code 101.
Cross test
Process completed with exit code 101.
Test - 1.56.1 toolchain
Process completed with exit code 101.