Skip to content
Continuous integration

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

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 #3

Triggered via pull request September 26, 2024 23:04
@dependabotdependabot[bot]
opened #2
dependabot/github_actions/model-checking/kani-github-action-1.1
Status Failure
Total duration 2m 3s
Artifacts –

rust.yml

on: pull_request
Test - stable toolchain
15s
Test - stable toolchain
Test - beta toolchain
11s
Test - beta toolchain
Test - nightly toolchain
12s
Test - nightly toolchain
Test - 1.48.0 toolchain
46s
Test - 1.48.0 toolchain
Test 32-bit version
45s
Test 32-bit version
Cross test
1m 29s
Cross test
Embedded
1m 47s
Embedded
Address sanitizer
1m 11s
Address sanitizer
WebAssembly Build
1m 37s
WebAssembly Build
Fit to window
Zoom out
Zoom in

Annotations

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