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
..
2021-07-19 13:17:51 -03:00
2022-01-27 20:18:47 -03:00
2021-01-19 08:40:41 -03:00
2022-02-22 13:32:59 -03:00
2022-02-18 20:43:33 -03:00
2021-08-06 20:11:54 -03:00
2021-09-16 17:58:10 -03:00
2022-03-04 17:40:41 -03:00
2021-07-08 21:07:19 -03:00
2021-12-22 13:14:56 -03:00
2022-03-04 15:24:17 -03:00
2022-03-01 17:41:44 -03:00
2021-04-02 11:20:01 -07:00
2021-02-18 17:13:11 -03:00
2022-02-08 15:37:05 -03:00
2021-11-30 21:44:42 -03:00
2022-03-04 15:24:17 -03:00
2021-12-22 13:14:56 -03:00
2022-02-04 16:58:25 -03:00
2022-01-28 13:02:58 -03:00
2022-02-10 15:09:08 -03:00
2021-07-19 13:17:51 -03:00
2021-07-29 21:14:17 -03:00
2020-12-02 18:42:24 -03:00
2020-12-02 18:42:24 -03:00
2021-06-21 21:06:09 -03:00
2021-06-22 11:19:48 -03:00
2019-09-12 14:13:24 -04:00
2021-12-28 20:12:59 -03:00
2021-11-22 12:00:16 -03:00
2020-11-11 15:47:51 -03:00
2021-12-20 17:30:04 -08:00
2022-03-04 15:24:17 -03:00
2020-04-02 02:35:47 +01:00
2022-02-08 15:37:05 -03:00
2022-02-22 13:00:54 -03:00
2017-04-12 12:46:22 +02:00
2021-12-06 19:27:27 -03:00
2017-09-14 16:31:43 -04:00
2021-11-22 12:00:16 -03:00
2019-10-19 14:52:34 -04:00
2021-01-12 19:12:07 -03:00
2019-10-19 14:52:34 -04:00
2020-03-02 18:23:20 -03:00
2019-10-19 01:52:07 -04:00
2017-12-29 01:12:58 +01:00
2022-03-04 15:24:17 -03:00
2021-02-05 20:23:30 -03:00
2021-08-10 20:32:09 -03:00
2021-04-30 18:45:27 -03:00
2022-03-04 16:18:46 -03:00
2019-10-19 01:52:07 -04:00
2017-06-28 21:02:59 +02:00
2020-04-24 20:33:19 -03:00
2021-11-15 14:44:30 -03:00
2019-04-26 18:11:48 +01:00
2020-12-11 16:39:13 -08:00
2020-07-31 17:53:55 +03:00
2021-11-24 09:53:21 -03:00
2019-09-24 10:34:35 -03:00
2021-05-21 16:24:29 -03:00
2021-06-21 21:02:46 -03:00
2021-06-29 17:37:06 -03:00
2015-11-18 12:55:40 -05:00
2022-02-04 21:06:45 -03:00
2019-06-03 15:09:02 -03:00
2015-07-13 15:12:49 -04:00
2021-04-08 18:00:17 -03:00
2021-03-08 18:51:54 -03:00
2021-05-24 11:09:29 -03:00
2019-09-12 14:13:24 -04:00