Skip to content

Actions: scionproto/scion

Actions

Verify the specified codebase

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gobra.yml
185 workflow run results
185 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make hiddenpaths registration work both locally and remotely Verify the specified codebase #738: Pull request #4376 synchronize by jiceatscion
August 24, 2023 15:16 2m 48s jiceatscion:hiddenpaths
jiceatscion:hiddenpaths
August 24, 2023 15:16 2m 48s
Make hiddenpaths registration work both locally and remotely Verify the specified codebase #737: Pull request #4376 synchronize by jiceatscion
August 24, 2023 14:42 2m 37s jiceatscion:hiddenpaths
jiceatscion:hiddenpaths
August 24, 2023 14:42 2m 37s
scion.sh: do a more complete shutdown by default Verify the specified codebase #736: Pull request #4382 synchronize by jiceatscion
August 24, 2023 09:55 2m 33s jiceatscion:topo_shutdown
jiceatscion:topo_shutdown
August 24, 2023 09:55 2m 33s
router: slow-path in async packet processing Verify the specified codebase #735: Pull request #4383 synchronize by rohrerj
August 24, 2023 07:43 3m 51s rohrerj:br-restructure-slow-path
rohrerj:br-restructure-slow-path
August 24, 2023 07:43 3m 51s
router: slow-path in async packet processing Verify the specified codebase #734: Pull request #4383 opened by rohrerj
August 23, 2023 14:22 3m 3s rohrerj:br-restructure-slow-path
rohrerj:br-restructure-slow-path
August 23, 2023 14:22 3m 3s
Make hiddenpaths registration work both locally and remotely Verify the specified codebase #733: Pull request #4376 synchronize by jiceatscion
August 23, 2023 13:36 2m 34s jiceatscion:hiddenpaths
jiceatscion:hiddenpaths
August 23, 2023 13:36 2m 34s
scion.sh: do a more complete shutdown by default Verify the specified codebase #732: Pull request #4382 opened by jiceatscion
August 23, 2023 12:46 3m 28s jiceatscion:topo_shutdown
jiceatscion:topo_shutdown
August 23, 2023 12:46 3m 28s
Make hiddenpaths registration work both locally and remotely Verify the specified codebase #731: Pull request #4376 synchronize by jiceatscion
August 23, 2023 11:23 2m 37s jiceatscion:hiddenpaths
jiceatscion:hiddenpaths
August 23, 2023 11:23 2m 37s
Make hiddenpaths registration work both locally and remotely Verify the specified codebase #730: Pull request #4376 synchronize by jiceatscion
August 23, 2023 10:14 2m 25s jiceatscion:hiddenpaths
jiceatscion:hiddenpaths
August 23, 2023 10:14 2m 25s
Make hiddenpaths registration work both locally and remotely Verify the specified codebase #729: Pull request #4376 synchronize by jiceatscion
August 22, 2023 16:36 2m 52s jiceatscion:hiddenpaths
jiceatscion:hiddenpaths
August 22, 2023 16:36 2m 52s
Make hiddenpaths registration work both locally and remotely Verify the specified codebase #728: Pull request #4376 synchronize by jiceatscion
August 22, 2023 14:54 2m 50s jiceatscion:hiddenpaths
jiceatscion:hiddenpaths
August 22, 2023 14:54 2m 50s
Make hiddenpaths registration work both locally and remotely Verify the specified codebase #727: Pull request #4376 synchronize by jiceatscion
August 22, 2023 13:26 2m 47s jiceatscion:hiddenpaths
jiceatscion:hiddenpaths
August 22, 2023 13:26 2m 47s
Make hiddenpaths registration work both locally and remotely Verify the specified codebase #726: Pull request #4376 synchronize by jiceatscion
August 22, 2023 13:13 3m 34s jiceatscion:hiddenpaths
jiceatscion:hiddenpaths
August 22, 2023 13:13 3m 34s
Make hiddenpaths registration work both locally and remotely Verify the specified codebase #725: Pull request #4376 synchronize by jiceatscion
August 22, 2023 13:00 2m 44s jiceatscion:hiddenpaths
jiceatscion:hiddenpaths
August 22, 2023 13:00 2m 44s
Make hiddenpaths registration work both locally and remotely Verify the specified codebase #724: Pull request #4376 synchronize by jiceatscion
August 22, 2023 12:56 2m 34s jiceatscion:hiddenpaths
jiceatscion:hiddenpaths
August 22, 2023 12:56 2m 34s
slayers: unmap IPv4-mapped IPv6 addresses Verify the specified codebase #723: Pull request #4377 synchronize by oncilla
August 21, 2023 11:11 2m 29s oncilla:slayers-unwrap
oncilla:slayers-unwrap
August 21, 2023 11:11 2m 29s
Make hiddenpaths registration work both locally and remotely Verify the specified codebase #722: Pull request #4376 synchronize by jiceatscion
August 21, 2023 08:41 3m 19s jiceatscion:hiddenpaths
jiceatscion:hiddenpaths
August 21, 2023 08:41 3m 19s
build: update to Go 1.21.1 Verify the specified codebase #721: Pull request #4378 synchronize by uniquefine
August 21, 2023 08:26 2m 11s uniquefine:go/update-to-1.21
uniquefine:go/update-to-1.21
August 21, 2023 08:26 2m 11s
dispatcher: support auto-assigned port for SVC registrations (#4381) Verify the specified codebase #720: Commit d9acea4 pushed by oncilla
August 21, 2023 08:23 2m 31s master
master
August 21, 2023 08:23 2m 31s
build: update to Go 1.21.1 Verify the specified codebase #719: Pull request #4378 synchronize by uniquefine
August 21, 2023 08:03 2m 14s uniquefine:go/update-to-1.21
uniquefine:go/update-to-1.21
August 21, 2023 08:03 2m 14s
build: update to Go 1.21.1 Verify the specified codebase #718: Pull request #4378 synchronize by uniquefine
August 21, 2023 07:58 3m 31s uniquefine:go/update-to-1.21
uniquefine:go/update-to-1.21
August 21, 2023 07:58 3m 31s
build: update to Go 1.21.1 Verify the specified codebase #717: Pull request #4378 synchronize by uniquefine
August 21, 2023 07:37 3m 54s uniquefine:go/update-to-1.21
uniquefine:go/update-to-1.21
August 21, 2023 07:37 3m 54s
Make hiddenpaths registration work both locally and remotely Verify the specified codebase #716: Pull request #4376 synchronize by jiceatscion
August 18, 2023 15:47 2m 54s jiceatscion:hiddenpaths
jiceatscion:hiddenpaths
August 18, 2023 15:47 2m 54s
Make hiddenpaths registration work both locally and remotely Verify the specified codebase #715: Pull request #4376 synchronize by jiceatscion
August 18, 2023 15:39 3m 19s jiceatscion:hiddenpaths
jiceatscion:hiddenpaths
August 18, 2023 15:39 3m 19s
dispatcher: support auto-assigned port for SVC registrations Verify the specified codebase #714: Pull request #4381 opened by jiceatscion
August 18, 2023 15:09 2m 39s jiceatscion:dyn_port_svc_dispatch
jiceatscion:dyn_port_svc_dispatch
August 18, 2023 15:09 2m 39s