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.

Sign up for GitHub

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

Jump to bottom

chore: reenable cron job for updating mathlib4 #249

Closed

semorrison wants to merge 2 commits into master from reenable_update

Contributor

semorrison commented Jul 16, 2023

No description provided.


          chore: reenable cron job for updating mathlib4

c8830aa

semorrison commented

View reviewed changes

.github/workflows/update.yml Outdated Show resolved Hide resolved


          Update .github/workflows/update.yml

26675b4

Member

digama0 commented Jul 18, 2023

manually merged in 7d1d184, so that github pings me for issues caused by the cron job

digama0 closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment