mirror of
https://github.com/github/codeql-action.git
synced 2026-01-06 06:30:10 +08:00
11 lines
299 B
Lua
11 lines
299 B
Lua
local incr = tonumber(ARGV[num_static_argv + 1])
|
|
|
|
redis.call('hincrby', settings_key, 'reservoir', incr)
|
|
|
|
local reservoir = process_tick(now, true)['reservoir']
|
|
|
|
local groupTimeout = tonumber(redis.call('hget', settings_key, 'groupTimeout'))
|
|
refresh_expiration(0, 0, groupTimeout)
|
|
|
|
return reservoir
|