Skip to content
Run Unit Tests

Store and use single file kani path #79

Sign in to view logs

Store and use single file kani path

Store and use single file kani path #79

Triggered via pull request July 26, 2023 15:26
@jaisnanjaisnan
opened #121
jaisnan:add-kani-script-config
Status Success
Total duration 1m 18s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
build (ubuntu-latest): src/globalConfig.ts#L32
Missing return type on function
build (macos-latest): src/globalConfig.ts#L32
Missing return type on function