Skip to content

Web UI for working with petri-nets

active 2023-12-162024-05-18 (UTC)

Partial coverage20,547 / 26,300 hourly files (78%) · 2 absent upstream · 5,750 failed, retryable2023-08-152026-08-14 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
57
Pushes
23
Pull requests
0
Issues
7
Stars
2
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 155 days from 2023-12-16 to 2024-05-18. Pushes: 23 total, peak 4 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 7 total, peak 3 in a day. Comments: 2 total, peak 1 in a day. Stars: 2 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
stackdump322302

Recent activity

Latest issues, pull requests and releases

  • Issue comment#3stackdump2024-05-18 15:11
    FEAT: group select
  • Issue#4stackdump2024-05-18 15:11
    add brotli compression again
  • Issue#4stackdump2024-04-28 17:48
    add brotli compression again
  • Issue comment#2stackdump2024-04-28 17:47
    BUG: Redraw on ToggleArc type doesn't show on Chrome Ipad
  • Issue#2stackdump2024-04-28 17:47
    BUG: Redraw on ToggleArc type doesn't show on Chrome Ipad
  • Issue#3stackdump2024-02-05 02:15
    FEAT: group select
  • Issue#2stackdump2024-02-04 17:45
    BUG: Redraw on ToggleArc type doesn't show on Chrome Ipad
  • Issue#2stackdump2024-02-04 17:45
    BUG: Redraw on ToggleArc type doesn't show on Chrome Ipad
  • Issue#2stackdump2024-02-04 17:45
    BUG: Redraw on ToggleArc type doesn't show on Chrome Ipad
  • Releasestackdump2024-01-13 16:37
    v2.3.0
  • Releasestackdump2023-12-29 09:30
    v2.2.0
  • Releasestackdump2023-12-25 16:40
    v2.1.0
  • Releasestackdump2023-12-21 00:44
    v2.0.0
  • Releasestackdump2023-12-21 00:42
    v2.0.0
  • Releasestackdump2023-12-16 14:14
    v1.0.1

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