Thanks to visit codestin.com
Credit goes to github.com

Commits

Commits on Feb 9, 2025

Merge PR #20213: Fix rocq dep issue with empty string arguments

coqbot-app[bot]
and
SkySkimmer
authored
Merge PR #20183: Use sets instead of ordered lists in hint stored data.

coqbot-app[bot]
and
SkySkimmer
authored
Use sets instead of ordered lists in hint stored data.
ppedrot
committed

Commits on Feb 8, 2025

Fix `rocq dep` failure on empty string args
Jan-Oliver Kaiser
committed

Commits on Feb 7, 2025

Merge PR #20072: [zify] Protect clear_body with a try

coqbot-app[bot]
and
SkySkimmer
authored
Merge PR #20190: Handle queries in rocqshim when possible

coqbot-app[bot]
and
ppedrot
authored

Commits on Feb 5, 2025

Commits on Feb 4, 2025