Passed
Push — main ( 86d0d3...7f8afa )
by
unknown
02:04 queued 14s
created

Changes

22 issues (14 minor, 3 informational, 5 unknown) were introduced.
16 issues were fixed.
3 added classes/operations
Arrow A pincer.utils.slidingwindow added
Arrow A pincer.utils.slidingwindow.SlidingWindow.__init__() added
Arrow A pincer.utils.slidingwindow.SlidingWindow.allow() added
9.74
▶   ± 0
Head
Arthurdw  
Merge branch 'main' of https://github.com/Pincer-org/Pincer
1 more commit
Base
Yohann Boniface  
Merge remote-tracking branch 'origin/main' into main