From 54a919f0f3e11fe38fa195562302df005d1260d1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?St=C3=A9phane=20Brunner?= Date: Fri, 31 Jan 2025 12:54:26 +0100 Subject: [PATCH 1/2] CI updates This is done by the automated script named upgrade-ci-2025 --- a.xaml/index.xml | 1 + a.xaml/mypy-html.css | 116 ++++++++++++++++++ a.xaml/mypy-html.xslt | 81 ++++++++++++ .../example-project/project/__init__.py.xml | 16 +++ json | 0 5 files changed, 214 insertions(+) create mode 100644 a.xaml/index.xml create mode 100644 a.xaml/mypy-html.css create mode 100644 a.xaml/mypy-html.xslt create mode 100644 a.xaml/xml/example-project/project/__init__.py.xml create mode 100644 json diff --git a/a.xaml/index.xml b/a.xaml/index.xml new file mode 100644 index 000000000..bd5961945 --- /dev/null +++ b/a.xaml/index.xml @@ -0,0 +1 @@ + \ No newline at end of file diff --git a/a.xaml/mypy-html.css b/a.xaml/mypy-html.css new file mode 100644 index 000000000..3f2497bcf --- /dev/null +++ b/a.xaml/mypy-html.css @@ -0,0 +1,116 @@ +/* CSS for type check coverage reports */ + +/* + Used by both summary and file. +*/ +body { + font-family: 'Helvetica Neue', sans-serif; +} + +/* + Used only by summary. +*/ + +h1 { + text-align: center; + font-size: 135%; + margin: 20px; +} + +table.summary { + border-collapse: collapse; + margin-left: 7%; + margin-right: 7%; + width: 85%; +} + +table caption { + margin: 1em; +} + +table.summary, +tr.summary, +th.summary, +td.summary { + border: 1px solid #aaa; +} + +th.summary, +td.summary { + padding: 0.4em; +} + +td.summary a { + text-decoration: none; +} + +.summary-quality-0 { + background-color: #dfd; +} + +.summary-quality-1 { + background-color: #ffa; +} + +.summary-quality-2 { + background-color: #faa; +} + +td.summary-filename, +th.summary-filename { + text-align: left; +} + +td.summary-filename { + width: 50%; +} + +.summary-precision { + text-align: center; +} + +.summary-lines { + text-align: center; +} + +/* + Used only by file. +*/ + +td.table-lines { + text-align: right; + padding-right: 0.5em; +} + +td.table-code { +} + +span.lineno { + text-align: right; +} + +a:link.lineno, +a:visited.lineno { + color: #999; + text-decoration: none; +} + +a:hover.lineno, +a:active.lineno { + color: #000; + text-decoration: underline; +} + +.line-empty, +.line-precise { + background-color: #dfd; +} + +.line-imprecise { + background-color: #ffa; +} + +.line-any, +.line-unanalyzed { + background-color: #faa; +} diff --git a/a.xaml/mypy-html.xslt b/a.xaml/mypy-html.xslt new file mode 100644 index 000000000..ddd78c244 --- /dev/null +++ b/a.xaml/mypy-html.xslt @@ -0,0 +1,81 @@ + + + + + + + + + + + + + +

Mypy Type Check Coverage Summary

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Summary from
FileImprecisionLines
Total imprecise LOC
imprecise LOC
+ + + + + + + + + +

+ + + + + + + + +
+ 
+                  
+                    

+                  
+
+ 		+ 
+                  
+                    

+                  
+
+
+ + + + diff --git a/a.xaml/xml/example-project/project/__init__.py.xml b/a.xaml/xml/example-project/project/__init__.py.xml new file mode 100644 index 000000000..457608651 --- /dev/null +++ b/a.xaml/xml/example-project/project/__init__.py.xml @@ -0,0 +1,16 @@ + + + + + + + + + + + + + + + + diff --git a/json b/json new file mode 100644 index 000000000..e69de29bb From 48f3dac7d09be95b3d7f77cb0795bd7927dc7398 Mon Sep 17 00:00:00 2001 From: "geo-ghci-int[bot]" <146321879+geo-ghci-int[bot]@users.noreply.github.com> Date: Fri, 31 Jan 2025 11:57:00 +0000 Subject: [PATCH 2/2] Update dpkg versions list From the artifact of the previous workflow run --- a.xaml/index.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/a.xaml/index.xml b/a.xaml/index.xml index bd5961945..0a61bdc82 100644 --- a/a.xaml/index.xml +++ b/a.xaml/index.xml @@ -1 +1 @@ - \ No newline at end of file +