Skip to content

Exclude definitions.yaml from audits - #647

Merged
NSoiffer merged 1 commit into
daisy:mainfrom
moritz-gross:audit-definitions-definitions-yaml
Aug 11, 2026
Merged

Exclude definitions.yaml from audits#647
NSoiffer merged 1 commit into
daisy:mainfrom
moritz-gross:audit-definitions-definitions-yaml

Conversation

@moritz-gross

@moritz-gross moritz-gross commented Aug 6, 2026

Copy link
Copy Markdown
Collaborator

before implementing the ideal behaviour, let's at least mute it for now.

see issue #617

@moritz-gross moritz-gross changed the title Exclude definitions.yaml from audits Exclude definitions.yaml from audits #617 Aug 6, 2026
@moritz-gross moritz-gross changed the title Exclude definitions.yaml from audits #617 Exclude definitions.yaml from audits Aug 6, 2026
@moritz-gross

moritz-gross commented Aug 6, 2026

Copy link
Copy Markdown
Collaborator Author

@NSoiffer fuzzer is running for 45 mins now. is this expected behaviour?

image

Edit: it was 142 minutes in the end.

@NSoiffer
NSoiffer merged commit b230d91 into daisy:main Aug 11, 2026
8 checks passed
@github-project-automation github-project-automation Bot moved this from Triage to Done in MathCAT Project Board Aug 11, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants