Skip to content

Conversation

bigbes
Copy link
Collaborator

@bigbes bigbes commented Sep 8, 2025

  • reusable_testing.yml contained bad symbol in the steps.
  • run-tests failed to run coveralls=true,fuzzing=false job.

* `reusable_testing.yml` contained bad symbol in the steps.
* `run-tests` failed to run coveralls=true,fuzzing=false job.
@bigbes bigbes force-pushed the bigbes/tntp-no-fix-workflow branch from c73dc52 to ef135ad Compare September 8, 2025 14:20
@bigbes bigbes changed the title ci: fixing broken targets ci: fixing workflow definitions Sep 8, 2025
@bigbes bigbes marked this pull request as ready for review September 8, 2025 14:30
@oleg-jukovec oleg-jukovec merged commit 871efa0 into master Sep 8, 2025
25 checks passed
@oleg-jukovec oleg-jukovec deleted the bigbes/tntp-no-fix-workflow branch September 8, 2025 14:38
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