Skip to content
Rocq

Fix clang-format pre-commit error from #1437 (#1454) #588

Sign in to view logs

Fix clang-format pre-commit error from #1437 (#1454)

Fix clang-format pre-commit error from #1437 (#1454) #588

Triggered via push December 24, 2025 03:41
@github-merge-queuegithub-merge-queue[bot]
pushed 04e5959
gh-readonly-queue/master/pr-1454-4feb6ac428624600cddbb9e176c1bb54cb350a8b
Status Success
Total duration 10m 17s
Artifacts –

rocq.yml

on: push
build
10m 12s
build
Fit to window
Zoom out
Zoom in

Annotations

12 notices
2115 tests found (test 1 to 746)
There are 2115 tests, see "Raw output" for the list of tests 1 to 746.
2115 tests found (test 747 to 1306)
There are 2115 tests, see "Raw output" for the list of tests 747 to 1306.
2115 tests found (test 1307 to 1879)
There are 2115 tests, see "Raw output" for the list of tests 1307 to 1879.
2115 tests found (test 1880 to 2115)
There are 2115 tests, see "Raw output" for the list of tests 1880 to 2115.
2115 tests found (test 1 to 746)
There are 2115 tests, see "Raw output" for the list of tests 1 to 746.
2115 tests found (test 747 to 1306)
There are 2115 tests, see "Raw output" for the list of tests 747 to 1306.
2115 tests found (test 1307 to 1879)
There are 2115 tests, see "Raw output" for the list of tests 1307 to 1879.
2115 tests found (test 1880 to 2115)
There are 2115 tests, see "Raw output" for the list of tests 1880 to 2115.
2115 tests found (test 1 to 746)
There are 2115 tests, see "Raw output" for the list of tests 1 to 746.
2115 tests found (test 747 to 1306)
There are 2115 tests, see "Raw output" for the list of tests 747 to 1306.
2115 tests found (test 1307 to 1879)
There are 2115 tests, see "Raw output" for the list of tests 1307 to 1879.
2115 tests found (test 1880 to 2115)
There are 2115 tests, see "Raw output" for the list of tests 1880 to 2115.