CI

Typo fix s/we/be/ in core.scrbl #435

Sign in to view logs

Re-run triggered February 27, 2025 02:22

sorawee

#488

jasonhemann:patch-1

Status Success

Total duration 5m 59s

Artifacts –

ci.yml

on: pull_request

Matrix: build