Skip to content

Plinth Testing Tool using the Contract Model

active 2024-09-102025-01-23 (UTC)

Complete coverage26,615 / 26,615 hourly files (100%) · 2 absent upstream2023-08-152026-08-27 (UTC)
Events
95
Pushes
23
Pull requests
11
Issues
20
Stars
5
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 136 days from 2024-09-10 to 2025-01-23. Pushes: 23 total, peak 4 in a day. Pull requests: 11 total, peak 2 in a day. Issues: 20 total, peak 9 in a day. Comments: 12 total, peak 4 in a day. Stars: 5 total, peak 1 in a day.

  • Pushes
  • Pull requests
  • Issues
  • Comments
  • Stars

Top contributors

Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity

ContributorContributionsPushesPRsComments
bogdan-manole4222114
RSoulatIOHK21100
KJES410007
robpangilinanioi2001

Recent activity

Latest issues, pull requests and releases

  • Issue#2bogdan-manole2025-01-14 10:39
    Output the coverage report (as is) (idea: have the highlighting in VSCode directly instead of separate HTML page)
  • Issue#20bogdan-manole2025-01-14 10:39
    Change the coverage report to improve the CoverageStatus representation
  • Pull request#17bogdan-manole2025-01-14 10:39
  • Pull request#15bogdan-manole2025-01-07 11:55
  • Issue comment#17bogdan-manole2024-12-12 15:43
    feat/coverage
  • Issue#20bogdan-manole2024-12-09 13:14
    Change the coverage report to improve the CoverageStatus representation
  • Issue#19RSoulatIOHK2024-12-05 12:52
    Run the tool on the lotto example
  • Issue#19RSoulatIOHK2024-12-05 12:51
    Run the tool on the lotto example
  • Issue comment#17KJES42024-12-03 16:40
    feat/coverage
  • Issue comment#17bogdan-manole2024-12-03 16:36
    feat/coverage
  • Issue comment#17KJES42024-12-03 15:57
    feat/coverage
  • Issue comment#17KJES42024-11-26 19:05
    feat/coverage
  • Issue comment#9KJES42024-11-26 12:18
    Flags for parametrization of testing (number of tests per property, number of success, emulation backend?, ...)
  • Issue comment#9KJES42024-11-26 12:12
    Flags for parametrization of testing (number of tests per property, number of success, emulation backend?, ...)
  • Issue comment#2KJES42024-11-26 12:11
    Output the coverage report (as is) (idea: have the highlighting in VSCode directly instead of separate HTML page)
  • Issue#11RSoulatIOHK2024-11-26 12:06
    List of all tests : Must
  • Issue#7RSoulatIOHK2024-11-26 12:06
    Can run the minimal examples
  • Issue#6RSoulatIOHK2024-11-26 12:05
    Output the coverage report (as is)
  • Pull request#17bogdan-manole2024-11-14 14:31
  • Issue#16robpangilinanioi2024-11-12 12:07
    The tool works properly on the minimal lotto example
  • Pull request#15bogdan-manole2024-10-31 15:52
  • Pull request#13bogdan-manole2024-10-31 13:45
  • Issue#5RSoulatIOHK2024-10-29 07:44
    Output json test reports (for each test: success, failure + trace)
  • Issue comment#6robpangilinanioi2024-10-15 12:22
    Output the coverage report (as is)
  • Pull request#14bogdan-manole2024-10-10 11:58

Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 5 stars here means stars gained during the window, not the repo's star count.