Build and Test

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

Sign in to view logs

Triggered via pull request January 24, 2025 18:41

opened #240

spdegabrielle:patch-2

Status Success

Total duration 15m 20s

Artifacts –

ci.yml

on: pull_request

Matrix: build-test