Skip to content

Drop commit hash#422

Merged
gtrevisan merged 1 commit intodevfrom
drop-commit-hash
Mar 31, 2025
Merged

Drop commit hash#422
gtrevisan merged 1 commit intodevfrom
drop-commit-hash

Conversation

@gtrevisan
Copy link
Copy Markdown
Member

@gtrevisan gtrevisan commented Mar 31, 2025

  • drop commit hash, for now.

@gtrevisan gtrevisan merged commit 751058d into dev Mar 31, 2025
11 checks passed
@gtrevisan gtrevisan deleted the drop-commit-hash branch March 31, 2025 20:51
@gtrevisan gtrevisan mentioned this pull request Mar 31, 2025
@gtrevisan gtrevisan changed the title drop commit hash Drop commit hash Apr 1, 2025
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