Skip to content

Add a CI check for PRs#360

Merged
lhecker merged 2 commits intomainfrom
dev/lhecker/ci
May 29, 2025
Merged

Add a CI check for PRs#360
lhecker merged 2 commits intomainfrom
dev/lhecker/ci

Conversation

@lhecker
Copy link
Member

@lhecker lhecker commented May 29, 2025

Closes #339

@lhecker lhecker requested a review from DHowett May 29, 2025 23:10
@lhecker lhecker merged commit 6c1d184 into main May 29, 2025
3 checks passed
@lhecker lhecker deleted the dev/lhecker/ci branch May 29, 2025 23:22
Lou32Verbose pushed a commit to Lou32Verbose/edit that referenced this pull request Jan 11, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

ci: add workflow to build Edit

2 participants