Stop CI when a new commit is pushed to the same PR #640

Closed

Closed

Stop CI when a new commit is pushed to the same PR#640

Labels

Port to our CI of Manta-Network/manta-rs#145

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests