Skip to content

Rename "borrowck" category to "borrow checker" #55

Rename "borrowck" category to "borrow checker"

Rename "borrowck" category to "borrow checker" #55

Triggered via push May 13, 2024 11:44
Status Success
Total duration 1m 4s
Artifacts 1

pages.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
1.22 MB