Exercise: validating data structures with Kani #699

Triggered via pull request December 13, 2024 02:27

listochkin

opened #154

kani-linked-list

Status Success

Total duration 4m 31s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: pull_request

Produced during runtime

Name	Size	Digest
Artifacts Expired	6.73 MB	`sha256:ba872c56c72483f2a27cc8a3da950e71371a2ccf62a5575648dad29e386e4acd`