Skip to content
Build Book

VeriFast solution for Challenge 5 (linked_list.rs) #1278

Sign in to view logs

VeriFast solution for Challenge 5 (linked_list.rs)

VeriFast solution for Challenge 5 (linked_list.rs) #1278

Triggered via pull request February 1, 2025 08:45
@btjbtj
synchronize #238
btj:verifast-linked-list
Status Success
Total duration 5m 33s
Artifacts 1

book.yml

on: pull_request
build
5m 24s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
1.64 MB
sha256:184378ff519865f232bd5cf4b4f130907db261fd9bfec1a8e7eb6dd682626805