Skip to content

Merge pull request #102 from xuwei-k/sbt-header #71

Merge pull request #102 from xuwei-k/sbt-header

Merge pull request #102 from xuwei-k/sbt-header #71

Triggered via push October 16, 2025 04:22
Status Success
Total duration 14s
Artifacts

clean.yml

on: push
Delete Artifacts
10s
Delete Artifacts
Fit to window
Zoom out
Zoom in