Check world (build F* and all projects)

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

Sign in to view logs

Manually triggered November 7, 2024 01:22

nikswamy

_nik_490_revisited

Status Success

Total duration 2h 6m 48s

Artifacts 9

check-world.yml

on: workflow_dispatch

test-fstar-boot

test-pulse-boot

build-everparse

build-merkle-tree

build-mitls-fstar

test-merkle-tree

test-mitls-fstar

Artifacts

Produced during runtime

Name	Size
FStar Expired	136 MB
FStar-boot Expired	178 MB
everparse Expired	96 MB
hacl-star Expired	383 MB
karamel Expired	11.6 MB
merkle-tree Expired	5.35 MB
mitls-fstar Expired	37.8 MB
pulse Expired	125 MB
steel Expired	29.2 MB