Skip to content

Merge branch 'main' into update/shapeless-2.3.12 #170

Merge branch 'main' into update/shapeless-2.3.12

Merge branch 'main' into update/shapeless-2.3.12 #170

Triggered via push September 23, 2024 17:04
Status Success
Total duration 17s
Artifacts

clean.yml

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