Skip to content

Created maximum wall time argument#1

Merged
xevra merged 1 commit intodevelopfrom
wall-time
Apr 11, 2024
Merged

Created maximum wall time argument#1
xevra merged 1 commit intodevelopfrom
wall-time

Conversation

@xevra
Copy link
Owner

@xevra xevra commented Apr 11, 2024

No description provided.

@xevra xevra merged commit 12b6e54 into develop Apr 11, 2024
@xevra xevra deleted the wall-time branch April 11, 2024 16:12
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