CI

Merge pull request #658 from dubinsky/build-tools-other-than-sbt #294

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push June 17, 2025 20:37

sjrd

main

Status Success

Total duration 58s

Artifacts –

ci.yml

on: push