Jandem
autospider.sh has been replaced by autospider.py
08:06
+1
Sfink
→SM(tsan): make this a little scarier
16:38
+106
→SM(tsan): replace old tsan info
16:30
−673
headers
01:17
+5
tsan info
01:13
+1,198
→Mapping variants to SM(...) names
01:00
+18
→Reproducing a build: warnaserr is obsolete
20:54
+3
Fitzgen
Add info about SM(pkg)
+411
→Mapping variants to SM(...) names: removed obsolete, added arm64
22:52
−14
→Mapping variants to SM(...) names: fill in current values
21:14
+194
describe the SM(...) builds
20:21
+1,139