Skip to content

Conversation

@ammedd
Copy link
Contributor

@ammedd ammedd commented Sep 24, 2025

About conferences and our first paper!

@ammedd ammedd closed this Sep 25, 2025
@ammedd ammedd reopened this Oct 22, 2025
@ammedd ammedd merged commit 98d10b5 into main Oct 22, 2025
4 checks passed
@ammedd
Copy link
Contributor Author

ammedd commented Oct 22, 2025

Hi @erikvansebille, apparently I didn't merge when I closed the PR last month. However, now I still don't see the changes back on the website. Does it take a while to update, or am I missing something?

@erikvansebille
Copy link
Member

It always takes a few minutes for the website changes to be propagated. I see them now!

Screenshot 2025-10-22 at 12 16 18

@ammedd ammedd deleted the add_blog_posts branch October 23, 2025 09:49
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