CI

Mention build tools other than sbt. #293

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Re-run triggered June 17, 2025 20:36

sjrd

#658

dubinsky:build-tools-other-than-sbt

Status Success

Total duration 54s

Artifacts –

ci.yml

on: pull_request