Skip to content

Merge pull request #22 from MingweiSamuel/supertrait #50

Merge pull request #22 from MingweiSamuel/supertrait

Merge pull request #22 from MingweiSamuel/supertrait #50

Triggered via push August 15, 2024 15:22
Status Success
Total duration 2m 53s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in