Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Dev/ci #135

Merged
merged 5 commits into from
Nov 6, 2024
Merged

Dev/ci #135

merged 5 commits into from
Nov 6, 2024

Conversation

sevenautumns
Copy link
Collaborator

No description provided.

@sevenautumns sevenautumns force-pushed the dev/ci branch 30 times, most recently from 36a9463 to 4e31d40 Compare November 5, 2024 09:00
@sevenautumns sevenautumns force-pushed the dev/ci branch 2 times, most recently from dcd9852 to 1a8346d Compare November 5, 2024 09:19
@sevenautumns sevenautumns force-pushed the dev/ci branch 5 times, most recently from 88cbf5a to e61c133 Compare November 5, 2024 11:52
@sevenautumns sevenautumns force-pushed the dev/ci branch 2 times, most recently from ea26db8 to f060a3e Compare November 5, 2024 12:35
@sevenautumns sevenautumns marked this pull request as ready for review November 5, 2024 12:53
without the increase, it is not guaranteed that the ci execution produces a successful response within 10 seconds
@sevenautumns sevenautumns force-pushed the dev/ci branch 2 times, most recently from 9130a1b to d7b80fe Compare November 5, 2024 15:47
@dadada dadada merged commit 7185024 into main Nov 6, 2024
12 checks passed
@dadada dadada deleted the dev/ci branch November 7, 2024 09:21
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.

2 participants