Skip to content

Actions: lukedirtwalker/scion

Actions

Verify the specified codebase

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gobra.yml
117 workflow runs
117 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

crypto: do not load already loaded TRC files Verify the specified codebase #89: Commit b567205 pushed by lukedirtwalker
August 5, 2024 13:23 2m 1s cache-trc-loads
cache-trc-loads
August 5, 2024 13:23 2m 1s
crypto: do not load already loaded TRC files Verify the specified codebase #88: Commit d4a0f79 pushed by lukedirtwalker
July 31, 2024 14:09 2m 18s cache-trc-loads
cache-trc-loads
July 31, 2024 14:09 2m 18s
crypto: do not load already loaded TRC files Verify the specified codebase #87: Commit d1bcf7f pushed by lukedirtwalker
July 31, 2024 13:34 2m 4s cache-trc-loads
cache-trc-loads
July 31, 2024 13:34 2m 4s
crypto: do not load already loaded TRC files Verify the specified codebase #86: Commit ae329d4 pushed by lukedirtwalker
July 31, 2024 06:52 1m 48s cache-trc-loads
cache-trc-loads
July 31, 2024 06:52 1m 48s
doc: add a WIP section to the index (#4583) Verify the specified codebase #85: Commit 893cb29 pushed by lukedirtwalker
July 31, 2024 06:48 2m 7s master
master
July 31, 2024 06:48 2m 7s
PATCH: patches/com_github_scionproto_scion/introduce_metrics_v2.patch Verify the specified codebase #84: Commit f2a0573 pushed by lukedirtwalker
June 26, 2024 19:16 2m 4s 3f4629d-patched-2
3f4629d-patched-2
June 26, 2024 19:16 2m 4s
testing: incremental improvements to the router benchmark tooling (#4… Verify the specified codebase #83: Commit 83a83c4 pushed by lukedirtwalker
June 26, 2024 19:08 1m 53s master
master
June 26, 2024 19:08 1m 53s
PATCH: patches/com_github_scionproto_scion/introduce_metrics_v2.patch Verify the specified codebase #82: Commit ec564d4 pushed by lukedirtwalker
June 21, 2024 13:17 1m 52s 3f4629d-patched
3f4629d-patched
June 21, 2024 13:17 1m 52s
pkg/metrics: introduce v2 (#4530) Verify the specified codebase #81: Commit 27f725a pushed by lukedirtwalker
June 21, 2024 12:10 2m 18s master
master
June 21, 2024 12:10 2m 18s
fix Verify the specified codebase #80: Commit ce54cca pushed by lukedirtwalker
June 18, 2024 08:29 1m 44s metrics2
metrics2
June 18, 2024 08:29 1m 44s
fix Verify the specified codebase #79: Commit f808d96 pushed by lukedirtwalker
June 11, 2024 14:04 1m 51s metrics2
metrics2
June 11, 2024 14:04 1m 51s
r1 Verify the specified codebase #78: Commit d134303 pushed by lukedirtwalker
June 10, 2024 17:38 1m 58s metrics2
metrics2
June 10, 2024 17:38 1m 58s
Remove unused QUIC config field from CS (#4548) Verify the specified codebase #77: Commit 50b971c pushed by lukedirtwalker
June 10, 2024 17:16 1m 45s master
master
June 10, 2024 17:16 1m 45s
pkg/metrics: introduce v2 Verify the specified codebase #76: Commit 691122f pushed by lukedirtwalker
May 23, 2024 12:14 2m 12s metrics2
metrics2
May 23, 2024 12:14 2m 12s
end host, router: dispatch UDP in router, remove dispatcher socket (#… Verify the specified codebase #75: Commit 15bdf63 pushed by lukedirtwalker
May 23, 2024 08:41 2m 8s master
master
May 23, 2024 08:41 2m 8s
pkg/metrics: add simple metrics Verify the specified codebase #74: Commit 03bb6dd pushed by lukedirtwalker
May 16, 2024 08:54 1m 47s simple-metrics
simple-metrics
May 16, 2024 08:54 1m 47s
r1 Verify the specified codebase #73: Commit 4b69d55 pushed by lukedirtwalker
May 16, 2024 08:45 1m 40s v0.35-snet-patches
v0.35-snet-patches
May 16, 2024 08:45 1m 40s
PATCH: patches/com_github_scionproto_scion/simpler_metrics.patch Verify the specified codebase #72: Commit ff719a7 pushed by lukedirtwalker
May 16, 2024 08:44 1m 57s v0.35-simple-metrics
v0.35-simple-metrics
May 16, 2024 08:44 1m 57s
ci: fix build for openwrt package, enable setting version from env va… Verify the specified codebase #71: Commit c1222ec pushed by lukedirtwalker
May 16, 2024 08:44 1m 50s master
master
May 16, 2024 08:44 1m 50s
r1 Verify the specified codebase #70: Commit 4e2a728 pushed by lukedirtwalker
May 16, 2024 08:37 1m 55s v0.35-snet-patches
v0.35-snet-patches
May 16, 2024 08:37 1m 55s
PATCH: com_github_scionproto_scion/snet_less_allocs.patch Verify the specified codebase #69: Commit e7ed687 pushed by lukedirtwalker
May 16, 2024 06:20 1m 55s v0.35-snet-patches
v0.35-snet-patches
May 16, 2024 06:20 1m 55s
PATCH: patches/com_github_scionproto_scion/simpler_metrics.patch Verify the specified codebase #68: Commit 8aa6502 pushed by lukedirtwalker
May 16, 2024 04:56 2m 56s v0.35-simple-metrics
v0.35-simple-metrics
May 16, 2024 04:56 2m 56s
PATCH: patches/com_github_scionproto_scion/reliable_re-use_metrics.patch Verify the specified codebase #67: Commit b861160 pushed by lukedirtwalker
May 16, 2024 04:52 5m 22s v0.35-reliable-metrics
v0.35-reliable-metrics
May 16, 2024 04:52 5m 22s
build: update various go dependencies (#4522) Verify the specified codebase #66: Commit 3f4629d pushed by lukedirtwalker
May 16, 2024 04:46 5m 41s master
master
May 16, 2024 04:46 5m 41s
serialize less allocs Verify the specified codebase #65: Commit df55cd1 pushed by lukedirtwalker
May 14, 2024 11:45 1m 54s ana-v0.35-backports
ana-v0.35-backports
May 14, 2024 11:45 1m 54s