Skip to content

test: dummy PR for workflow testing - #44004

Draft
joneugster wants to merge 1 commit into
leanprover-community:masterfrom
joneugster:test/workflow-test
Draft

joneugster wants to merge 1 commit into
leanprover-community:masterfrom
joneugster:test/workflow-test

ws

4c8fded
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings and 2 notices
Add topic label
succeeded Sep 20, 2026 in 1m 20s