Skip to content

Skip non-robot columns for axiom annotations#1225

Merged
jamesaoverton merged 1 commit intomasterfrom
fix-1216
Nov 13, 2024
Merged

Skip non-robot columns for axiom annotations#1225
jamesaoverton merged 1 commit intomasterfrom
fix-1216

Conversation

@jamesaoverton
Copy link
Member

@jamesaoverton jamesaoverton commented Nov 13, 2024

Resolves #1216

  • docs/ have been added/updated
  • tests have been added/updated
  • mvn verify says all tests pass
  • mvn site says all JavaDocs correct
  • CHANGELOG.md has been updated

When looking for > annotations to add to the current axiom/annotation ignore columns with empty ROBOT template strings.

@jamesaoverton jamesaoverton merged commit 063a1e1 into master Nov 13, 2024
@jamesaoverton jamesaoverton deleted the fix-1216 branch November 13, 2024 17:59
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.

robot template: Drop non-robot cols?

1 participant