Skip to content

Conversation

@vmcj
Copy link
Member

@vmcj vmcj commented Feb 28, 2025

I can't find why this encoding trick was done so it might break in the future again when the W3C validator changes again.

I can't find why this encoding trick was done so it might break in the
future again when the W3C validator changes again.
@vmcj vmcj force-pushed the fix_w3c_extractor branch from 0827636 to 2618a5d Compare February 28, 2025 19:45
@github-actions
Copy link

Test Results

0 tests  ±0   0 ✅ ±0   0s ⏱️ ±0s
0 suites ±0   0 💤 ±0 
0 files   ±0   0 ❌ ±0 

Results for commit 2618a5d. ± Comparison against base commit a689d60.

@vmcj vmcj added this pull request to the merge queue Feb 28, 2025
Merged via the queue into DOMjudge:main with commit 6789703 Feb 28, 2025
34 of 37 checks passed
@vmcj vmcj deleted the fix_w3c_extractor branch February 28, 2025 21:41
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