Skip to content

Upgrade metadata#23

Merged
0Yassine0 merged 12 commits intomainfrom
22-dev-upgrade-metadata
Sep 9, 2024
Merged

Upgrade metadata#23
0Yassine0 merged 12 commits intomainfrom
22-dev-upgrade-metadata

Conversation

@0Yassine0
Copy link
Copy Markdown
Contributor

No description provided.

@0Yassine0 0Yassine0 linked an issue Sep 6, 2024 that may be closed by this pull request
@github-actions github-actions bot requested a review from ocots September 6, 2024 11:25
@0Yassine0 0Yassine0 requested a review from frapac September 6, 2024 13:12
@ocots
Copy link
Copy Markdown
Member

ocots commented Sep 6, 2024

@0Yassine0 Toujours un souci avec quadrotor...

@0Yassine0
Copy link
Copy Markdown
Contributor Author

I'm a little bit confused! If you check the last 2 commits I did, the only change I made is considering the quadrotor problem as a broken test or not. When I consider it broken the test gives an unexpected pass, and when I consider it as a successful test it fails.

@0Yassine0
Copy link
Copy Markdown
Contributor Author

I tippled the time limit per problem, and apparently it solves the quadrotor issue.
The MetaData of the problems is set and ready to merge.
Waiting for your confirmation @ocots @frapac

@0Yassine0 0Yassine0 merged commit b472b62 into main Sep 9, 2024
@ocots ocots deleted the 22-dev-upgrade-metadata branch September 9, 2024 09:56
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.

[Dev] upgrade MetaData

2 participants