Skip to content

Store and use single file kani path #80

Store and use single file kani path

Store and use single file kani path #80

Triggered via pull request July 26, 2023 15:26
Status Success
Total duration 1m 16s
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