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

Commits

Commits on Aug 4, 2026