You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
automatically loop through all folders in coq-projects and get the commit that is compatible with the current version of the data set and update the coqgym_projs_splits.json
#7
Open
brando90 opened this issue
Dec 11, 2022
· 1 comment
automatically loop through all folders in coq-projects and get the commit that is compatible with the current version of the data set and update the coqgym_projs_splits.json
The text was updated successfully, but these errors were encountered:
automatically loop through all folders in coq-projects and get the commit that is compatible with the current version of the data set and update the coqgym_projs_splits.json
The text was updated successfully, but these errors were encountered: