30 May
2025
30 May
'25
12:37 p.m.
On Thu May 29 18:31:29 2025 +0000, Davide Beatrici wrote:
Ideally each commit should build successfully.
I re-reverted the commit with the fix applied in the same revert, but it seems the CI server badly configured...