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

Updated action reference #44

Merged
merged 1 commit into from
Aug 30, 2023
Merged

Updated action reference #44

merged 1 commit into from
Aug 30, 2023

Conversation

lhstrh
Copy link
Member

@lhstrh lhstrh commented Aug 30, 2023

To be merged after lf-lang/lingua-franca#1976 has been merged.

@lhstrh lhstrh merged commit 5fd82aa into main Aug 30, 2023
@lhstrh lhstrh deleted the ci-patch branch August 30, 2023 07:08
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant