Skip to content

Actions: scionproto/scion

Actions

Verify the specified codebase

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

router: serialize directly into packet buffers Verify the specified codebase #2098: Pull request #4654 synchronize by jiceatscion
November 29, 2024 12:46 1m 59s jiceatscion:router_multi_io_2
jiceatscion:router_multi_io_2
November 29, 2024 12:46 1m 59s
router: serialize directly into packet buffers Verify the specified codebase #2097: Pull request #4654 synchronize by jiceatscion
November 28, 2024 16:40 2m 6s jiceatscion:router_multi_io_2
jiceatscion:router_multi_io_2
November 28, 2024 16:40 2m 6s
router: serialize directly into packet buffers Verify the specified codebase #2094: Pull request #4654 synchronize by jiceatscion
November 21, 2024 10:45 1m 50s jiceatscion:router_multi_io_2
jiceatscion:router_multi_io_2
November 21, 2024 10:45 1m 50s
build: address upstream vulnerability (#4655) Verify the specified codebase #2093: Commit a118737 pushed by jiceatscion
November 21, 2024 05:56 1m 50s master
master
November 21, 2024 05:56 1m 50s
build: address upstream vulnerability Verify the specified codebase #2092: Pull request #4655 opened by jiceatscion
November 20, 2024 13:48 1m 56s jiceatscion-vuln-82
jiceatscion-vuln-82
November 20, 2024 13:48 1m 56s
Update package.json Verify the specified codebase #2091: Commit 39fa2b4 pushed by jiceatscion
November 20, 2024 13:46 2m 6s jiceatscion-vuln-82
jiceatscion-vuln-82
November 20, 2024 13:46 2m 6s
router: serialize directly into packet buffers Verify the specified codebase #2090: Pull request #4654 synchronize by jiceatscion
November 20, 2024 13:40 2m 1s jiceatscion:router_multi_io_2
jiceatscion:router_multi_io_2
November 20, 2024 13:40 2m 1s
build: work around issues between pkg_rpm and rpmbuild after 4.20 (#4… Verify the specified codebase #2089: Commit 8109a33 pushed by jiceatscion
November 20, 2024 13:33 1m 57s master
master
November 20, 2024 13:33 1m 57s
router: serialize directly into packet buffers Verify the specified codebase #2088: Pull request #4654 synchronize by jiceatscion
November 20, 2024 11:29 2m 1s jiceatscion:router_multi_io_2
jiceatscion:router_multi_io_2
November 20, 2024 11:29 2m 1s
router: serialize directly into packet buffers Verify the specified codebase #2087: Pull request #4654 synchronize by jiceatscion
November 20, 2024 10:32 2m 14s jiceatscion:router_multi_io_2
jiceatscion:router_multi_io_2
November 20, 2024 10:32 2m 14s
router: serialize directly into packet buffers Verify the specified codebase #2086: Pull request #4654 opened by jiceatscion
November 19, 2024 17:16 2m 15s jiceatscion:router_multi_io_2
jiceatscion:router_multi_io_2
November 19, 2024 17:16 2m 15s
build: work around issues between pkg_rpm and rpmbuild after 4.20 Verify the specified codebase #2085: Pull request #4652 opened by jiceatscion
November 18, 2024 15:51 2m 2s jiceatscion:rpmbuild_4_20
jiceatscion:rpmbuild_4_20
November 18, 2024 15:51 2m 2s
router: small refactoring to remove the need for a batchconn.WriteTo … Verify the specified codebase #2084: Commit 5c3b50d pushed by jiceatscion
November 15, 2024 10:40 1m 46s master
master
November 15, 2024 10:40 1m 46s
router: small refactoring to remove the need for a batchconn.WriteTo Verify the specified codebase #2083: Pull request #4651 synchronize by jiceatscion
November 15, 2024 10:01 2m 1s jiceatscion:router_multi_io_1
jiceatscion:router_multi_io_1
November 15, 2024 10:01 2m 1s
router: small refactoring to remove the need for a batchconn.WriteTo Verify the specified codebase #2082: Pull request #4651 synchronize by jiceatscion
November 13, 2024 18:40 1m 50s jiceatscion:router_multi_io_1
jiceatscion:router_multi_io_1
November 13, 2024 18:40 1m 50s
router: small refactoring to remove the need for a batchconn.WriteTo Verify the specified codebase #2081: Pull request #4651 synchronize by jiceatscion
November 12, 2024 16:28 2m 45s jiceatscion:router_multi_io_1
jiceatscion:router_multi_io_1
November 12, 2024 16:28 2m 45s
router: small refactoring to remove the need for a batchconn.WriteTo Verify the specified codebase #2080: Pull request #4651 synchronize by jiceatscion
November 7, 2024 15:20 2m 1s jiceatscion:router_multi_io_1
jiceatscion:router_multi_io_1
November 7, 2024 15:20 2m 1s
router: small refactoring to remove the need for a batchconn.WriteTo Verify the specified codebase #2079: Pull request #4651 opened by jiceatscion
November 7, 2024 15:18 1m 58s jiceatscion:router_multi_io_1
jiceatscion:router_multi_io_1
November 7, 2024 15:18 1m 58s
router: refactor the WriteTo method out of existence Verify the specified codebase #2078: Pull request #4650 synchronize by jiceatscion
November 7, 2024 13:44 1m 54s jiceatscion:router_multi_io
jiceatscion:router_multi_io
November 7, 2024 13:44 1m 54s
router: refactor the WriteTo method out of existence Verify the specified codebase #2077: Pull request #4650 opened by jiceatscion
November 7, 2024 13:43 2m 13s jiceatscion:router_multi_io
jiceatscion:router_multi_io
November 7, 2024 13:43 2m 13s
build: add support for cross-compiled rpms (#4649) Verify the specified codebase #2076: Commit dd852aa pushed by jiceatscion
November 5, 2024 12:07 1m 51s master
master
November 5, 2024 12:07 1m 51s
doc: improve the SIG doc with the text from the ietf drafts Verify the specified codebase #2075: Pull request #4641 synchronize by jiceatscion
November 4, 2024 17:28 2m 17s jiceatscion:sig_doc
jiceatscion:sig_doc
November 4, 2024 17:28 2m 17s
doc: improve the SIG doc with the text from the ietf drafts Verify the specified codebase #2074: Pull request #4641 synchronize by jiceatscion
November 4, 2024 17:12 2m 4s jiceatscion:sig_doc
jiceatscion:sig_doc
November 4, 2024 17:12 2m 4s
build: add support for cross-compiled rpms Verify the specified codebase #2073: Pull request #4649 synchronize by jiceatscion
November 4, 2024 09:02 2m 6s jiceatscion:rpm_cross_compiled
jiceatscion:rpm_cross_compiled
November 4, 2024 09:02 2m 6s
pkg/snet: format UDPAddr to comply with net.SplitHostPort (#4648) Verify the specified codebase #2072: Commit db3e6c5 pushed by oncilla
November 1, 2024 15:33 2m 7s master
master
November 1, 2024 15:33 2m 7s