summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-external
diff options
context:
space:
mode:
authorNadrieril2024-04-22 11:55:55 +0200
committerNadrieril2024-04-22 12:00:20 +0200
commit40e797fbf4d7bb47ef48597f25fda4e0b78633c7 (patch)
treec8f415023e96247d23080374b2a74d234b69703f /tests/hol4/misc-external
parent1e2fce0e1fa42fa2ba5800332e1fdfcba2294657 (diff)
ci: check code formatting
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions