(pr-feedback) mani linked list #702

Triggered via push December 13, 2024 11:08

listochkin

kani-linked-list

Status Success

Total duration 4m 32s

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