Lints

add whir as a crate in ceno via `git subtree` #3499

Sign in to view logs

Triggered via pull request February 26, 2025 07:58

hero78119

synchronize #840

hero78119:feat/whir-wrapper

Status Success

Total duration 1m 43s

Artifacts –

lints.yml

on: pull_request