Skip to content

runtimeverification/elrond-semantics

View on GitHub ↗Related repositories →

active 2023-08-152023-10-13 (UTC)

Complete coverage26,627 / 26,627 hourly files (100%) · 2 absent upstream2023-08-152026-08-28 (UTC)
Events
282
Pushes
125
Pull requests
49
Issues
1
Stars
0
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 60 days from 2023-08-15 to 2023-10-13. Pushes: 125 total, peak 9 in a day. Pull requests: 49 total, peak 5 in a day. Issues: 1 total, peak 1 in a day. Comments: 21 total, peak 6 in a day. Stars: 0 total, peak 0 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
bbyalcinkaya104641010
virgil-serbanuta66261211
rv-jenkins5932270
github-actions[bot]3300

Recent activity

Latest issues, pull requests and releases

  • Pull request#154bbyalcinkaya2023-10-13 14:30
  • Issue#153bbyalcinkaya2023-10-12 11:23
    xDay tasks
  • Pull request#152bbyalcinkaya2023-10-12 11:07
  • Pull request#150rv-jenkins2023-10-10 09:41
  • Pull request#151virgil-serbanuta2023-10-09 22:12
  • Pull request#150rv-jenkins2023-10-05 14:49
  • Pull request#143rv-jenkins2023-10-04 13:26
  • Pull request#149rv-jenkins2023-10-03 08:41
  • Pull request#149virgil-serbanuta2023-10-02 15:06
  • Pull request#148virgil-serbanuta2023-10-02 14:58
  • Pull request#147rv-jenkins2023-10-02 11:21
  • Pull request#148virgil-serbanuta2023-09-29 16:31
  • Pull request#147rv-jenkins2023-09-27 18:36
  • Pull request#146bbyalcinkaya2023-09-22 14:07
  • Pull request#144rv-jenkins2023-09-22 14:01
  • Pull request#145rv-jenkins2023-09-22 12:33
  • Pull request#144bbyalcinkaya2023-09-20 14:54
  • Pull request#121bbyalcinkaya2023-09-20 14:53
  • Pull request#141rv-jenkins2023-09-15 14:41
  • Pull request#142rv-jenkins2023-09-15 13:02
  • Pull request#143virgil-serbanuta2023-09-15 12:25
  • Pull request#142virgil-serbanuta2023-09-14 16:44
  • Pull request#141virgil-serbanuta2023-09-14 15:49
  • Pull request#140rv-jenkins2023-09-14 14:24
  • Pull request#140virgil-serbanuta2023-09-14 00:00

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