All issues

Function returning struct triggers 'definition without comment'

#84

· drewdzzz opened

on Aug 5, 2025

Check that there are no assignments in assertions

#83

· Gumix opened

on Jul 18, 2025

`REFERENCE_LOCATION` triggers on logical AND chain (`A && B && C`)

#82

· drewdzzz opened

on Jul 2, 2025

proofs/tla: add NO_TLA reason to the commit msg

#81

· Serpentian opened

on Apr 10, 2025

Perform git commit description style check on shorter hashes (e.g. 7 symbols)

#63

· Lord-KA opened

on Jul 13, 2023

Check that git commit subject length does not exceed 72 symbols

#29

· CuriousGeorgiy opened

on Jul 27, 2022

Insist on luatest

#23

· Totktonada opened

on Jun 23, 2022

Check that each test in `luatest` test-suite contains a brief description

#22

· CuriousGeorgiy opened

on Jun 21, 2022

Check that changelog entry references ticket

#16

· locker opened

on May 16, 2022

Check submodules' commits

#9

· alyapunov opened

on Mar 28, 2022