Skip to content
Oldest

Rocq warnings: address the new warning names introduced by Rocq Stdli… #146

Sign in to view logs

Rocq warnings: address the new warning names introduced by Rocq Stdli…

Rocq warnings: address the new warning names introduced by Rocq Stdli… #146

Triggered via push August 27, 2026 11:28
@xavierleroyxavierleroy
pushed 77ef757
master
Status Success
Total duration 12m 9s
Artifacts –

oldest.yml

on: push
Matrix: oldest
Fit to window
Zoom out
Zoom in