Skip to content
CI

rename lock.rkt to rwlock.rkt and move it to base directory #33

Sign in to view logs

rename lock.rkt to rwlock.rkt and move it to base directory

rename lock.rkt to rwlock.rkt and move it to base directory #33

Triggered via push January 29, 2025 17:48
@jeapostrophejeapostrophe
pushed 991db89
master
Status Success
Total duration 1m 18s
Artifacts –

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in