Skip to content

chore: remove deprecated action#4

Merged
patrick-fitzgerald merged 1 commit intopatrick-fitzgerald:developfrom MarcoIeni:rust-ciJul 18, 2024

Commits

Commits on Jul 17, 2024