Commit 59292d5
Adapt ci pipelines (#5)
* Remove unnecessary workflows
- CIFuzz requires additional setup at the google service
- MacOS and Windows are irrelevant for s-core
- We will setup our own documentation
* Replace 'latest' compiler versions by an exact version
- 'latest' compilers may lead to irreproducible results
- current v3.12.0 does not run without errors with 'latest' compilers
- Remove very old clang compilers (<17) as the corresponding old docker images lead to errors
- ci_static_analysis_clang target needs to use clang 18 or newer because of new compiler flags
---------
Co-authored-by: Nils Eberhardt <nils.eberhardt@d-fine.com>1 parent 55f9368 commit 59292d5
File tree
5 files changed
+8
-342
lines changed- .github/workflows
5 files changed
+8
-342
lines changedThis file was deleted.
This file was deleted.
This file was deleted.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
19 | 19 | | |
20 | 20 | | |
21 | 21 | | |
22 | | - | |
| 22 | + | |
23 | 23 | | |
24 | 24 | | |
25 | 25 | | |
| |||
62 | 62 | | |
63 | 63 | | |
64 | 64 | | |
65 | | - | |
| 65 | + | |
66 | 66 | | |
67 | 67 | | |
68 | 68 | | |
| |||
73 | 73 | | |
74 | 74 | | |
75 | 75 | | |
76 | | - | |
| 76 | + | |
| 77 | + | |
77 | 78 | | |
78 | 79 | | |
79 | 80 | | |
| |||
143 | 144 | | |
144 | 145 | | |
145 | 146 | | |
146 | | - | |
| 147 | + | |
147 | 148 | | |
148 | 149 | | |
149 | 150 | | |
| |||
158 | 159 | | |
159 | 160 | | |
160 | 161 | | |
161 | | - | |
| 162 | + | |
162 | 163 | | |
163 | 164 | | |
164 | 165 | | |
| |||
176 | 177 | | |
177 | 178 | | |
178 | 179 | | |
179 | | - | |
| 180 | + | |
180 | 181 | | |
181 | 182 | | |
182 | 183 | | |
| |||
191 | 192 | | |
192 | 193 | | |
193 | 194 | | |
194 | | - | |
| 195 | + | |
195 | 196 | | |
196 | 197 | | |
197 | 198 | | |
| |||
0 commit comments