Skip to content

chore: refresh data#142

Merged
mnahkies merged 1 commit into
mainfrom
mn/chore/refresh-data
Apr 6, 2024
Merged

chore: refresh data#142
mnahkies merged 1 commit into
mainfrom
mn/chore/refresh-data

Conversation

@mnahkies

@mnahkies mnahkies commented Apr 6, 2024

Copy link
Copy Markdown
Owner

./scripts/refresh-data.sh && yarn ci-pipeline

Base automatically changed from mn/feat/pre-compile-validator to main April 6, 2024 11:06
@mnahkies
mnahkies force-pushed the mn/chore/refresh-data branch from 9caf476 to b1e6cc7 Compare April 6, 2024 11:08
@mnahkies
mnahkies marked this pull request as ready for review April 6, 2024 11:08
@mnahkies
mnahkies enabled auto-merge (squash) April 6, 2024 11:08
@mnahkies
mnahkies merged commit a597b35 into main Apr 6, 2024
@mnahkies
mnahkies deleted the mn/chore/refresh-data branch April 6, 2024 11:10
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.

1 participant