PR

Merge pull request #1 from bobanetwork/add-boba-devnet #2

Sign in to view logs

Triggered via push October 17, 2024 00:43

boyuan-chen

main

Status Cancelled

Total duration 21h 32m 12s

Artifacts –

pr.yaml

on: push

Formatting & Clippy

Annotations

1 error

Formatting & Clippy

Canceling since a higher priority waiting request for 'PR-refs/heads/main' exists