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

Fix wavy underline in safari #4859

Merged
merged 6 commits into from
Aug 2, 2023
Merged

Fix wavy underline in safari #4859

merged 6 commits into from
Aug 2, 2023

Conversation

jorg-vr
Copy link
Contributor

@jorg-vr jorg-vr commented Aug 1, 2023

This pull request closes #4746 .

@jorg-vr jorg-vr added bug Something isn't working deploy mestra Request a deployment on mestra labels Aug 1, 2023
@jorg-vr jorg-vr self-assigned this Aug 1, 2023
@jorg-vr jorg-vr temporarily deployed to mestra August 1, 2023 13:08 — with GitHub Actions Inactive
@github-actions github-actions bot removed the deploy mestra Request a deployment on mestra label Aug 1, 2023
@jorg-vr jorg-vr added the deploy mestra Request a deployment on mestra label Aug 1, 2023
@jorg-vr jorg-vr temporarily deployed to mestra August 1, 2023 13:30 — with GitHub Actions Inactive
@github-actions github-actions bot removed the deploy mestra Request a deployment on mestra label Aug 1, 2023
@jorg-vr jorg-vr added the deploy mestra Request a deployment on mestra label Aug 1, 2023
@jorg-vr jorg-vr temporarily deployed to mestra August 1, 2023 13:37 — with GitHub Actions Inactive
@github-actions github-actions bot removed the deploy mestra Request a deployment on mestra label Aug 1, 2023
@jorg-vr jorg-vr added the deploy mestra Request a deployment on mestra label Aug 1, 2023
@jorg-vr jorg-vr temporarily deployed to mestra August 1, 2023 13:45 — with GitHub Actions Inactive
@github-actions github-actions bot removed the deploy mestra Request a deployment on mestra label Aug 1, 2023
@jorg-vr jorg-vr added the deploy mestra Request a deployment on mestra label Aug 1, 2023
@jorg-vr jorg-vr temporarily deployed to mestra August 1, 2023 13:54 — with GitHub Actions Inactive
@github-actions github-actions bot removed the deploy mestra Request a deployment on mestra label Aug 1, 2023
@jorg-vr jorg-vr marked this pull request as ready for review August 1, 2023 14:56
@jorg-vr jorg-vr requested a review from a team as a code owner August 1, 2023 14:56
@jorg-vr jorg-vr requested review from bmesuere and niknetniko and removed request for a team August 1, 2023 14:56
@bmesuere
Copy link
Member

bmesuere commented Aug 1, 2023

@pverscha can you test/review this? I'm on a beta version of safari and the current Dodona code already works in that version, so I can't validate the change.

edit: apparently some annotations did work and some didn't. I created a reproducible example that showed no lines on dodona.be and lines on mestra.

@jorg-vr jorg-vr requested a review from niknetniko August 2, 2023 07:37
@jorg-vr jorg-vr added the deploy mestra Request a deployment on mestra label Aug 2, 2023
@jorg-vr jorg-vr temporarily deployed to mestra August 2, 2023 07:37 — with GitHub Actions Inactive
@github-actions github-actions bot removed the deploy mestra Request a deployment on mestra label Aug 2, 2023
@jorg-vr jorg-vr merged commit 89e8ba3 into main Aug 2, 2023
@jorg-vr jorg-vr deleted the fix/safari-wavy branch August 2, 2023 08:52
@jorg-vr jorg-vr temporarily deployed to naos August 2, 2023 08:52 — with GitHub Actions Inactive
@jorg-vr jorg-vr temporarily deployed to production August 2, 2023 08:56 — with GitHub Actions Inactive
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Wavy underline not displayed in Safari
3 participants