Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Changed event types from "Event" to "EInit" for INIT and INITO #875

Merged
merged 2 commits into from
Feb 16, 2025

Conversation

franz-hoepfinger-4diac
Copy link

Changed event types from "Event" to "EInit" for INIT and INITO

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Details:
- Changed event types from "Event" to "EInit" for better clarity and specificity in the code.
Copy link

Test Results

   110 files  ±0     110 suites  ±0   49s ⏱️ -1s
29 088 tests ±0  29 088 ✅ ±0  0 💤 ±0  0 ❌ ±0 
29 089 runs  ±0  29 089 ✅ ±0  0 💤 ±0  0 ❌ ±0 

Results for commit 7bf68f8. ± Comparison against base commit 8da58a8.

@azoitl azoitl merged commit b5c8ce3 into eclipse-4diac:develop Feb 16, 2025
4 checks passed
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.

None yet

2 participants