Update to Frozen; reword requirements as rules #139

Triggered via pull request October 15, 2024 16:19

ved-rivos

opened #54

ved-rivos:1015

Status Success

Total duration 1m 51s

Artifacts 1

build-pdf.yml

on: pull_request

Produced during runtime

Name	Size
Build Artifacts	478 KB