Skip to content

fixup! CI jobs: remove use of deprecated set-output#168

Merged
feliperodri merged 1 commit intomodel-checking:masterfrom tautschnig:fix-output-nameJul 18, 2024

Commits

Commits on Jul 18, 2024