-
Feature support CI of research environment for LEAN (#6237)
发布于
2022-03-04 20:40:41 +00:00 | 1975 次提交 在此版本后已推送到 master-
initial commit
-
temp commit
-
checkout master
-
update files
-
copy to output directory
-
checkout master
-
automatically update expected output
-
revert
-
use correct dotnet interactive version
-
clean escape char before assert
-
add remark
-
update namespace
-
remove pythonnet
-
use GetExportedTypes
-
update notebook result during test run
-
remove dispensable escape sequences from expected output
-
change location
-
update summary
-
docs
-
docs
-
update paths
-
use multiple lines for output
-
update paths
-
suport different python location
-
check if notebook are run
-
update comment
-
remove
-
help proper debugging
-
assert output first
-
add comment
下载附件
-