search

VeriFIT / mata

A fast and simple automata library
MIT License
20 stars 13 forks source link

Do I deserve to be a contributor? #367

Closed vhavlena closed 11 months ago

vhavlena commented 11 months ago

Adding myself to the list.

Adda0 commented 11 months ago

I plan to update README, documentation, mata format and licence before the artefact submission. This is one of the necessary steps.

I will merge the PR immediately, but feel free to joke around in this PR afterwards, as I am sure you are more than happy to.

codecov[bot] commented 11 months ago

Codecov Report

All modified lines are covered by tests :white_check_mark:

Comparison is base (a19cec0) 71.80% compared to head (bdf0e49) 71.80%. Report is 1 commits behind head on devel.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## devel #367 +/- ## ======================================= Coverage 71.80% 71.80% ======================================= Files 30 30 Lines 3643 3643 Branches 836 836 ======================================= Hits 2616 2616 Misses 735 735 Partials 292 292 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

tfiedor commented 11 months ago

I am strongly championing for reverting this change. It leads to two warnings in libmata library.