Exercise: validating data structures with Kani #705

Triggered via pull request December 13, 2024 15:27

listochkin

synchronize #154

kani-linked-list

Status Success

Total duration 4m 39s

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:7dd2d980c420dc58ce89d0119a7973c93e4e5fb4e3193c3721a307c640be3aed`