Skip to content
Build and Test

Update htdp-langs.scrbl to specify teaching lang language directives #401

Sign in to view logs

Update htdp-langs.scrbl to specify teaching lang language directives

Update htdp-langs.scrbl to specify teaching lang language directives #401

Triggered via push January 24, 2025 19:36
@mfelleisenmfelleisen
pushed bfaf678
master
Status Success
Total duration 15m 41s
Artifacts –

ci.yml

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