Skip to content

oughta: Rename from FileCheck#97

Merged
langston-barrett merged 1 commit intomainfrom
oughta
Apr 18, 2025
Merged

oughta: Rename from FileCheck#97
langston-barrett merged 1 commit intomainfrom
oughta

Conversation

@langston-barrett
Copy link
Collaborator

Fixes #96.

@langston-barrett langston-barrett added the area/oughta Area: Related to the Oughta test infrastructure label Apr 18, 2025
@langston-barrett langston-barrett self-assigned this Apr 18, 2025
Copy link
Collaborator

@RyanGlScott RyanGlScott left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

There are some lingering filecheck references that ought to be updated as well:

@langston-barrett langston-barrett enabled auto-merge (rebase) April 18, 2025 16:39
@langston-barrett langston-barrett merged commit 7e62c8d into main Apr 18, 2025
7 checks passed
@langston-barrett langston-barrett deleted the oughta branch April 18, 2025 16:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/oughta Area: Related to the Oughta test infrastructure

Projects

None yet

Development

Successfully merging this pull request may close these issues.

filecheck: Rename to "Oughta"

2 participants