Skip to content

Conversation

@Adjective-Object
Copy link
Owner

@Adjective-Object Adjective-Object commented Feb 5, 2025

  • fixes for symbol tracking
  • pipeline adjustments
  • system for collecting multiple errors into a sihgle result
  • debug dot graph generator
  • adjustments to the CI pipeline to make it work on updated github images

@Adjective-Object Adjective-Object enabled auto-merge (squash) February 5, 2025 18:07
@Adjective-Object Adjective-Object changed the title Tracking fixes Symbol tracking fixes Feb 5, 2025
@Adjective-Object Adjective-Object merged commit 3f2bd4e into main Feb 5, 2025
7 checks passed
@Adjective-Object Adjective-Object deleted the mutli-resolve-err branch February 5, 2025 18:42
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