Skip to content

Remove end dates from challenges - #629

Open
feliperodri wants to merge 1 commit into
model-checking:mainfrom
feliperodri:remove-challenge-end-dates
Open

Remove end dates from challenges#629
feliperodri wants to merge 1 commit into
model-checking:mainfrom
feliperodri:remove-challenge-end-dates

Conversation

@feliperodri

Copy link
Copy Markdown
Member

Challenges no longer have a fixed end date. Contributors are welcome to tackle any open challenge regardless of the dates that were previously listed, several of which had already passed.

Drops the "End date" field from all 15 existing challenge documents and from the challenge template so that new challenges are not created with one.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@feliperodri
feliperodri requested a review from a team as a code owner August 4, 2026 18:29
@feliperodri feliperodri added the Maintenance Maintenance related issues for the challange label Aug 4, 2026
Challenges no longer have a fixed end date. Contributors are welcome to
tackle any open challenge regardless of the dates that were previously
listed, many of which had already passed.

Drops the "End date" field from all 29 existing challenge documents and
from the challenge template so that new challenges are not created with
one.

Signed-off-by: Felipe R. Monteiro <[email protected]>
@feliperodri
feliperodri force-pushed the remove-challenge-end-dates branch from d6f9fd4 to 9e29edf Compare August 4, 2026 18:33
@feliperodri
feliperodri enabled auto-merge August 4, 2026 18:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Maintenance Maintenance related issues for the challange

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant