Skip to content

Merge pull request #1318 from xuwei-k/RefinedTypeOps-unapply #1207

Merge pull request #1318 from xuwei-k/RefinedTypeOps-unapply

Merge pull request #1318 from xuwei-k/RefinedTypeOps-unapply #1207

Triggered via push January 18, 2025 10:26
Status Success
Total duration 10m 56s
Artifacts

ci.yml

on: push
Matrix: Test
Matrix: Publish Artifacts
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Test (ubuntu-22.04, 3, temurin@8)
Codecov: Failed to properly upload report: The process '/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov' failed with exit code 1