Skip to content
ci

replace awkward simp by rw #292

Sign in to view logs

replace awkward simp by rw

replace awkward simp by rw #292

Triggered via push February 14, 2025 01:36
@avigadavigad
pushed 375c991
master
Status Success
Total duration 2m 23s
Artifacts –

build.yml

on: push
Build
2m 15s
Build
Fit to window
Zoom out
Zoom in