Skip to content

chore: rename topos-network to topos-protocol #2254

chore: rename topos-network to topos-protocol

chore: rename topos-network to topos-protocol #2254

Triggered via pull request June 27, 2023 18:03
@hadjiszshadjiszs
opened #255
Status Success
Total duration 22s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pr-checking.yml

on: pull_request_target
Validate PR title
4s
Validate PR title
Validate PR commits
13s
Validate PR commits
Fit to window
Zoom out
Zoom in