Merge pull request #367 from sjrd/unsigned-term-name #939

Sign in to view logs

Triggered via push October 20, 2023 18:12

sjrd

main

Status Success

Total duration 4m 6s

Artifacts –

scala.yml

on: push

Matrix: build