Scala CI

Add translation of square brackets for Lean #149

Sign in to view logs

Triggered via push January 7, 2024 20:36

20-translation-improvements

Status Success

Total duration 1m 20s

Artifacts –

ci.yml

on: push

Matrix: build