Notify erdosproblems of update

feat(ErdosProblems): 385 (#1858) #475

Sign in to view logs

Triggered via push January 26, 2026 16:28

Paul-Lez

main

Status Success

Total duration 8s

Artifacts –

update_erdosproblems.yml

on: push