Pin builder #2

Merged
reynir merged 1 commit from pin-builder into main 2024-08-29 08:32:35 +00:00

1 commit

Author SHA1 Message Date
201c82e837 Pin builder
Due to builder now depending on versions that will make builder-web
break...
2024-08-29 10:30:59 +02:00