leonardt
/
hwtypes
79%
master: 81%
master: 81%
|
Repo Added
|
Files
17
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
typo
branch: typo
CHANGE BRANCH
x
-
typo
-
abstract-meta
-
better-repr
-
bit-random
-
bv-len
-
concat
-
dead-code
-
dynamic-product
-
fail-old
-
fix-ovf
-
fp-smt
-
fp-uf
-
hot-fix-repr
-
leonardt-patch-1
-
magma-sum
-
master
-
mod-fix
-
modifiers
-
move-operators
-
name-cb
-
new-sum
-
no-mixin
-
no-old
-
not-implemented
-
order
-
ordered
-
product-cache
-
radd
-
rebind
-
rebind-bv
-
rebind-fix
-
rebind-keep
-
rebind-strict
-
reserved
-
roper
-
substitute
-
sum-attrs
-
tagged-union
-
v1.0.13
-
v1.1.0
-
v1.1.1
-
v1.1.2
-
v1.1.3
-
v1.1.4
-
v1.1.5
-
v1.1.6
-
v1.2.0
-
v1.3.0
-
v1.4.7
CHANGE BRANCH
x
-
typo
- abstract-meta
- better-repr
- bit-random
- bv-len
- concat
- dead-code
- dynamic-product
- fail-old
- fix-ovf
- fp-smt
- fp-uf
- hot-fix-repr
- leonardt-patch-1
- magma-sum
- master
- mod-fix
- modifiers
- move-operators
- name-cb
- new-sum
- no-mixin
- no-old
- not-implemented
- order
- ordered
- product-cache
- radd
- rebind
- rebind-bv
- rebind-fix
- rebind-keep
- rebind-strict
- reserved
- roper
- substitute
- sum-attrs
- tagged-union
- v1.0.13
- v1.1.0
- v1.1.1
- v1.1.2
- v1.1.3
- v1.1.4
- v1.1.5
- v1.1.6
- v1.2.0
- v1.3.0
- v1.4.7
github
GitHub
2734 of 3472 relevant lines covered (78.74%)
1.57 hits per line
Relevant lines Covered
3472
RELEVANT LINES
2734
COVERED LINES
1.57
HITS PER LINE
Source Files on typo
Detailed source file information is not available for this build.
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 4803174036 | typo | Merge 3a50170f2 into 99a6d7f69 | Pull #152 | GitHub | github | pending completion | |
| 4803170679 | typo | fix minor typo / export TaggedUnion | push | Caleb Donovick | github | pending completion |