Skip to content

Dependency Upgrade & New Theme Integration #761

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

Merged
merged 15 commits into from
Jun 20, 2024

Conversation

maierj
Copy link

@maierj maierj commented Jan 8, 2024

No description provided.

@pancetta
Copy link
Member

Hi @maierj, what is the status here?

@maierj
Copy link
Author

maierj commented May 13, 2024

Hi @maierj, what is the status here?

@pancetta Last issue is merge conflicts, I'll resolve them this week and let you know when the PR is "mergeable" from our side.

@pancetta
Copy link
Member

pancetta commented Jun 7, 2024

This is now three weeks ago. Any progress?

@pancetta pancetta merged commit 091bf30 into Parallel-in-Time:source Jun 20, 2024
1 check passed
@lisawim
Copy link
Contributor

lisawim commented Jun 20, 2024

I really like the theme of the PinT website! However, I cannot click on the menu button on the upper right, I don't know if I'm the only one with this issue. If this works for anyone else, ignore this comment!

@pancetta
Copy link
Member

Works for me on macOS with Firefox and Safari. I guess you mean with Android or iOS? This I can confirm indeed.

@lisawim
Copy link
Contributor

lisawim commented Jun 21, 2024

I tried it on iOS with Safari and on Ubuntu with Firefox where it does not work.

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.

3 participants