Skip to content

Merge branch 'main' of github.com:proteus-core/proteus into main #20

Merge branch 'main' of github.com:proteus-core/proteus into main

Merge branch 'main' of github.com:proteus-core/proteus into main #20

Triggered via push September 15, 2023 14:00
Status Success
Total duration 4m 39s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in