Ronit Jain
48a7ba77ef
Regression Tests / build (push) Has been cancelled
Build & Test Lean / build (push) Has been cancelled
Research Regression Tests / build (push) Has been cancelled
Feature support CI of research environment for LEAN (#6237)
* 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
2022-03-04 17:40:41 -03:00
..
2018-12-14 12:38:55 -03:00
2021-11-15 14:44:30 -03:00
2021-07-19 13:17:51 -03:00
2020-04-27 19:03:03 -03:00
2021-12-22 13:14:56 -03:00
2021-11-17 17:43:35 -03:00
2021-03-10 14:47:39 -08:00
2019-12-31 12:42:21 +01:00
2019-05-10 16:15:24 -03:00
2022-01-10 11:18:28 -03:00
2021-08-02 19:24:45 -03:00
2021-07-09 22:59:14 -03:00
2021-06-29 12:40:31 -03:00
2019-10-25 14:09:02 -03:00
2020-08-18 20:21:10 -03:00
2021-02-01 18:53:33 -03:00
2019-05-24 17:09:19 -07:00
2020-04-01 16:15:05 +01:00
2021-11-15 14:44:30 -03:00
2017-12-04 14:16:59 +00:00
2019-10-25 14:09:02 -03:00
2017-06-14 17:11:28 +02:00
2021-11-15 14:44:30 -03:00
2020-03-19 12:28:10 -03:00
2019-12-17 22:58:27 -05:00
2017-08-02 22:43:15 +02:00
2018-11-14 18:28:18 -03:00
2021-07-02 11:06:47 -03:00
2018-08-13 23:16:05 +02:00
2021-08-23 18:24:44 -03:00
2018-07-18 15:57:11 -04:00
2022-03-04 17:40:41 -03:00
2018-10-18 16:25:32 -03:00
2019-10-17 10:26:37 -03:00
2021-05-18 14:04:30 -03:00
2021-01-14 13:33:44 -08:00
2019-11-18 17:03:27 -03:00
2019-08-06 21:15:33 -03:00
2021-11-15 14:44:30 -03:00
2018-05-02 21:00:56 +02:00
2018-10-01 13:52:41 -03:00
2018-12-13 11:30:40 -03:00
2019-12-17 22:58:27 -05:00