Check world (build F* and all projects)

Check world (test F* + all subprojects) #5

Sign in to view logs

Manually triggered September 4, 2024 20:37

nikswamy

nik_fix_retain_assumptions

Status Failure

Total duration 1h 7m 34s

Artifacts 8

check-world.yml

on: workflow_dispatch

test-fstar-boot

build-everparse

build-merkle-tree

build-mitls-fstar

test-merkle-tree

test-mitls-fstar

Annotations

1 error

Process completed with exit code 2.

Artifacts

Produced during runtime

Name	Size
FStar Expired	211 MB
everparse Expired	78.1 MB
hacl-star Expired	414 MB
karamel Expired	12.6 MB
merkle-tree Expired	6.02 MB
mitls-fstar Expired	46.2 MB
pulse Expired	120 MB
steel Expired	29.5 MB