Skip to content

Merge pull request #5 from topos-protocol/ci #1

Merge pull request #5 from topos-protocol/ci

Merge pull request #5 from topos-protocol/ci #1

Triggered via push January 22, 2024 22:30
Status Success
Total duration 1m 13s
Artifacts

ci.yml

on: push
Test Suite
1m 5s
Test Suite
Formatting and Clippy
32s
Formatting and Clippy
Fit to window
Zoom out
Zoom in