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

feat: Introduce an unified trace format for exporting #844

Merged
merged 16 commits into from
May 24, 2024

Conversation

NiklasKoehneckeAA
Copy link
Contributor

@NiklasKoehneckeAA NiklasKoehneckeAA commented May 16, 2024

Description

No description.

Before Merging

  • Review the code changes
    • Unused print / comments / TODOs
    • Missing docstrings for functions that should have them
    • Consistent variable names
    • ...
  • Update changelog.md if necessary
  • Commit messages should contain a semantic label and the ticket number
    • Consider squashing if this is not the case

@NiklasKoehneckeAA NiklasKoehneckeAA force-pushed the IL-420-unified-trace-format branch 2 times, most recently from c16c2d4 to 36c63b4 Compare May 21, 2024 16:01
@FlorianSchepersAA FlorianSchepersAA force-pushed the IL-420-unified-trace-format branch 3 times, most recently from 79cf85b to c019c0c Compare May 22, 2024 14:23
@NiklasKoehneckeAA NiklasKoehneckeAA force-pushed the IL-420-unified-trace-format branch 2 times, most recently from 91381eb to 65e50dc Compare May 23, 2024 08:33
@FlorianSchepersAA FlorianSchepersAA force-pushed the IL-420-unified-trace-format branch from 4d54848 to 9e41a1b Compare May 23, 2024 16:03
@FlorianSchepersAA FlorianSchepersAA force-pushed the IL-420-unified-trace-format branch from 9e41a1b to 0db8cb2 Compare May 23, 2024 16:06
@NiklasKoehneckeAA NiklasKoehneckeAA changed the title Il 420 unified trace format feat: Introduce an unified trace format for exporting May 24, 2024
@NiklasKoehneckeAA NiklasKoehneckeAA merged commit 17ef0f8 into main May 24, 2024
4 checks passed
@NiklasKoehneckeAA NiklasKoehneckeAA deleted the IL-420-unified-trace-format branch May 24, 2024 09:17
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.

2 participants