Lint Style

linting.yml

23 workflow runs

perf(univariate): skip redundant trim in CPolynomial.divX (#225)
completed successfully:
Lint Style#23:Commit2e7f976pushedbyerdkocak
master
May 20, 20269s
Merge branch 'master' into master
completed successfully:
Lint Style#22:Commit36ba9f6pushedbyerdkocak
master
May 13, 202610s
canonical vs raw fastMulImpl
completed successfully:
Lint Style#21:Commit723f2ffpushedbyerdkocak
master
May 13, 202617s
safeFastMul
completed successfully:
Lint Style#20:Commit95d18dapushedbyerdkocak
master
May 13, 202617s
Merge branch 'master' into master
completed successfully:
Lint Style#19:Commit77a0986pushedbyerdkocak
master
May 12, 202610s
parametrization of test domains and better naming
completed successfully:
Lint Style#18:Commit49b738dpushedbyerdkocak
master
May 12, 202612s
better tests
completed successfully:
Lint Style#17:Commit41e63acpushedbyerdkocak
master
May 12, 202615s
fixed boolean equality issue
completed successfully:
Lint Style#16:Commit9bac2e2pushedbyerdkocak
master
May 12, 20269s
leftarrow style, and fixed a warning
completed successfully:
Lint Style#15:Commitc7c1853pushedbyerdkocak
master
May 12, 202616s
consistent Nat coerciens
completed successfully:
Lint Style#14:Commite58f73fpushedbyerdkocak
master
May 12, 202612s
unnecessary @[simp] removed
completed successfully:
Lint Style#13:Commitf8c500fpushedbyerdkocak
master
May 12, 202614s
theorem moved to core
completed successfully:
Lint Style#12:Commit679d92apushedbyerdkocak
master
May 11, 202617s
doc update
completed successfully:
Lint Style#11:Commitde60187pushedbyerdkocak
master
May 11, 20269s
Merge pull request #8 from erdkocak/fixes
completed successfully:
Lint Style#10:Commit26c8d2epushedbydoran2728
master
May 10, 202611s
Some fixes before finalization
completed successfully:
Lint Style#9:Pull request#8openedbyerdkocak
fixes
May 9, 202615s
completed the working proofs
failed:
Lint Style#8:Commit6f4a280pushedbyerdkocak
master
May 1, 202611s
inverseImpl_correct proof
completed successfully:
Lint Style#7:Commitd9366bdpushedbyerdkocak
master
May 1, 202610s
rest of the changes
completed successfully:
Lint Style#6:Commit9e892e3pushedbyerdkocak
master
May 1, 202618s
refactoring common code of forward and inverse into transform
completed successfully:
Lint Style#5:Commitd35acc4pushedbyerdkocak
master
May 1, 20267s
forwardImpl_correct proof
completed successfully:
Lint Style#4:Commit7c81b54pushedbyerdkocak
master
Apr 29, 202611s
Merge pull request #7 from erdkocak/linter-fixes
completed successfully:
Lint Style#3:Commit51db7ddpushedbydoran2728
master
Mar 21, 202610s
Fix NTT test lint violations
completed successfully:
Lint Style#2:Pull request#7openedbyerdkocak
linter-fixes
Mar 21, 20268s
Merge upstream/master into fork
failed:
Lint Style#1:Commite43b06apushedbyerdkocak
master
Mar 21, 20268s

Workflow runs for Lint Style

23 workflow runs