Skip to content

Add a success job to CI#218

Merged
tgross35 merged 1 commit intorust-lang:masterfrom
tgross35:ci-success
Aug 23, 2024
Merged

Add a `success` job to CI#218
tgross35 merged 1 commit intorust-lang:masterfrom
tgross35:ci-success

Commits

Commits on Aug 22, 2024