Skip to content

Actions: scionproto/scion

Actions

Verify the specified codebase

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gobra.yml
1,178 workflow runs
1,178 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

build: do not run pip install outside the bazel build framework Verify the specified codebase #2061: Pull request #4647 synchronize by jiceatscion
October 30, 2024 14:38 1m 50s jiceatscion:router_multi_io
jiceatscion:router_multi_io
October 30, 2024 14:38 1m 50s
build: do not run pip install outside the bazel build framework Verify the specified codebase #2060: Pull request #4647 synchronize by jiceatscion
October 30, 2024 12:56 2m 3s jiceatscion:router_multi_io
jiceatscion:router_multi_io
October 30, 2024 12:56 2m 3s
pkg/snet: format UDPAddr to comply with net.SplitHostPort Verify the specified codebase #2059: Pull request #4648 opened by oncilla
October 30, 2024 10:39 2m 3s oncilla:host-port-head
oncilla:host-port-head
October 30, 2024 10:39 2m 3s
build: do not run pip install outside the bazel build framework Verify the specified codebase #2058: Pull request #4647 synchronize by jiceatscion
October 29, 2024 18:35 1m 59s jiceatscion:router_multi_io
jiceatscion:router_multi_io
October 29, 2024 18:35 1m 59s
build: do not run pip install outside the bazel build framework Verify the specified codebase #2057: Pull request #4647 synchronize by jiceatscion
October 29, 2024 16:31 1m 49s jiceatscion:router_multi_io
jiceatscion:router_multi_io
October 29, 2024 16:31 1m 49s
build: do not run pip install outside the bazel build framework Verify the specified codebase #2056: Pull request #4647 synchronize by jiceatscion
October 29, 2024 12:25 1m 55s jiceatscion:router_multi_io
jiceatscion:router_multi_io
October 29, 2024 12:25 1m 55s
build: do not run pip install outside the bazel build framework Verify the specified codebase #2055: Pull request #4647 synchronize by jiceatscion
October 29, 2024 12:17 1m 58s jiceatscion:router_multi_io
jiceatscion:router_multi_io
October 29, 2024 12:17 1m 58s
build: address vulnerability reported by depend-a-bot (#4639) Verify the specified codebase #2054: Commit cccd8f6 pushed by jiceatscion
October 29, 2024 11:44 2m 7s master
master
October 29, 2024 11:44 2m 7s
build: address vulnerability reported by depend-a-bot Verify the specified codebase #2053: Pull request #4639 synchronize by jiceatscion
October 29, 2024 09:47 1m 52s jiceatscion:vuln81
jiceatscion:vuln81
October 29, 2024 09:47 1m 52s
build: do not run pip install outside the bazel build framework Verify the specified codebase #2052: Pull request #4647 opened by jiceatscion
October 28, 2024 17:48 2m 6s jiceatscion:router_multi_io
jiceatscion:router_multi_io
October 28, 2024 17:48 2m 6s
doc: update slack invite link (#4643) Verify the specified codebase #2051: Commit 2da0c9b pushed by oncilla
October 22, 2024 13:37 1m 58s master
master
October 22, 2024 13:37 1m 58s
doc: update slack invite link Verify the specified codebase #2050: Pull request #4643 opened by jiceatscion
October 22, 2024 13:29 1m 56s jiceatscion:main
jiceatscion:main
October 22, 2024 13:29 1m 56s
doc: improve the SIG doc with the text from the ietf drafts Verify the specified codebase #2049: Pull request #4641 synchronize by jiceatscion
October 16, 2024 17:58 2m 27s jiceatscion:sig_doc
jiceatscion:sig_doc
October 16, 2024 17:58 2m 27s
doc: improve the SIG doc with the text from the ietf drafts Verify the specified codebase #2048: Pull request #4641 opened by jiceatscion
October 16, 2024 17:55 2m 41s jiceatscion:sig_doc
jiceatscion:sig_doc
October 16, 2024 17:55 2m 41s
build: address vulnerability reported by depend-a-bot Verify the specified codebase #2047: Pull request #4639 opened by jiceatscion
October 16, 2024 10:35 1m 55s jiceatscion:vuln81
jiceatscion:vuln81
October 16, 2024 10:35 1m 55s
build(deps): bump starlette from 0.37.2 to 0.40.0 in /doc (#4638) Verify the specified codebase #2046: Commit 5cedae9 pushed by jiceatscion
October 16, 2024 09:40 1m 57s master
master
October 16, 2024 09:40 1m 57s
doc: bump starlette from 0.37.2 to 0.40.0 in requirements Verify the specified codebase #2045: Pull request #4638 opened by dependabot bot
October 16, 2024 08:26 1m 55s dependabot/pip/doc/starlette-0.40.0
dependabot/pip/doc/starlette-0.40.0
October 16, 2024 08:26 1m 55s
build(deps): bump starlette from 0.37.2 to 0.40.0 in /doc Verify the specified codebase #2044: Commit 40ff765 pushed by dependabot bot
October 16, 2024 08:26 2m 3s dependabot/pip/doc/starlette-0.40.0
dependabot/pip/doc/starlette-0.40.0
October 16, 2024 08:26 2m 3s
doc: dispatched_ports syntax (#4637) Verify the specified codebase #2043: Commit 1425841 pushed by JordiSubira
October 15, 2024 13:57 1m 44s master
master
October 15, 2024 13:57 1m 44s
doc: dispatched_ports syntax Verify the specified codebase #2042: Pull request #4637 opened by tzaeschke
October 15, 2024 13:43 1m 56s tzaeschke:patch-1
tzaeschke:patch-1
October 15, 2024 13:43 1m 56s
packaging: build rpm packages (#4632) Verify the specified codebase #2041: Commit e6b0576 pushed by jiceatscion
October 11, 2024 13:29 2m 18s v0.12.0
v0.12.0
October 11, 2024 13:29 2m 18s
packaging: build rpm packages (#4632) Verify the specified codebase #2040: Commit e6b0576 pushed by jiceatscion
October 10, 2024 10:34 1m 59s master
master
October 10, 2024 10:34 1m 59s
packaging: build rpm packages Verify the specified codebase #2039: Pull request #4632 synchronize by jiceatscion
October 10, 2024 09:01 2m 32s jiceatscion:rpm_pkg
jiceatscion:rpm_pkg
October 10, 2024 09:01 2m 32s
tools: support 16bit interface IDs in topo files (#4636) Verify the specified codebase #2038: Commit 7956be9 pushed by jiceatscion
October 10, 2024 08:59 2m 5s master
master
October 10, 2024 08:59 2m 5s
packaging: build rpm packages Verify the specified codebase #2037: Pull request #4632 synchronize by jiceatscion
October 8, 2024 14:35 2m 18s jiceatscion:rpm_pkg
jiceatscion:rpm_pkg
October 8, 2024 14:35 2m 18s