.github/workflows/ci.yml

Saner definitions of `<=`, `>`, rename `%->:` to `%of`, `->%:` to `to%:` #361

Sign in to view logs

Triggered via push August 22, 2023 17:04

homonoidian

rev10

Status Success

Total duration 3m 21s

Artifacts –

ci.yml

on: push