Skip to content
This repository has been archived by the owner on Aug 13, 2024. It is now read-only.

Fix last PR #176

Merged
merged 1 commit into from
Dec 16, 2023
Merged

Fix last PR #176

merged 1 commit into from
Dec 16, 2023

Conversation

arnested
Copy link
Member

@arnested arnested commented Dec 16, 2023

Fix 10c38cf

Use all the new syntax. Not just parts of it…

See #175.

Use all of the new syntax. Not just parts of it...
@arnested arnested merged commit bd79707 into main Dec 16, 2023
5 checks passed
@arnested arnested deleted the github-output-2 branch December 16, 2023 21:50
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Development

Successfully merging this pull request may close these issues.

1 participant