Build

Add minor fixes for FRI (#32) #135

Triggered via push January 10, 2024 21:29

ericbj29

main

Status Success

Total duration 3m 2s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yaml

on: push

Produced during runtime

Name	Size
FRI-build-logs Expired	547 KB