exercise: validating data structures with kani #700

Triggered via push December 13, 2024 02:32

listochkin

kani-linked-list

Status Success

Total duration 4m 45s

Artifacts 1

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

build.yml

on: push

Produced during runtime

Name	Size	Digest
Artifacts Expired	6.74 MB	`sha256:876377fcc6deb29783e52da6c7fb10e6abf7b8176fb4e2314da8eaa8a8d77317`