Skip to content

Actions: matzf/scion

Actions

Verify the specified codebase

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gobra.yml
208 workflow runs
208 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

snet: remove ancient revinfo struct, notify daemon async Verify the specified codebase #428: Commit 5dadff6 pushed by matzf
July 9, 2024 07:20 1m 50s snet-no-scmphandler
snet-no-scmphandler
July 9, 2024 07:20 1m 50s
fixup! snet: expose setting buffer sizes for benefit of quic Verify the specified codebase #427: Commit eb310ce pushed by matzf
July 3, 2024 13:54 2m 0s snet-no-scmphandler
snet-no-scmphandler
July 3, 2024 13:54 2m 0s
snet: expose setting buffer sizes for benefit of quic Verify the specified codebase #426: Commit 7441cde pushed by matzf
July 3, 2024 09:33 1m 53s snet-no-scmphandler
snet-no-scmphandler
July 3, 2024 09:33 1m 53s
WIP cleanup Verify the specified codebase #425: Commit 9472354 pushed by matzf
July 3, 2024 08:01 2m 4s snet-no-scmphandler
snet-no-scmphandler
July 3, 2024 08:01 2m 4s
WIP: reintroduce default SCMP Handler in SCIONNetwork Verify the specified codebase #424: Commit 86de517 pushed by matzf
July 3, 2024 07:54 2m 11s snet-no-scmphandler
snet-no-scmphandler
July 3, 2024 07:54 2m 11s
WIP: reintroduce default SCMP Handler in SCIONNetwork Verify the specified codebase #423: Commit df5c391 pushed by matzf
July 3, 2024 07:51 1m 58s snet-no-scmphandler
snet-no-scmphandler
July 3, 2024 07:51 1m 58s
private/appnet: remove SvcResolutionFraction Verify the specified codebase #422: Commit 9c51331 pushed by matzf
July 2, 2024 10:03 2m 11s remove-svcfraction
remove-svcfraction
July 2, 2024 10:03 2m 11s
tools: remove unused end2endblast Verify the specified codebase #421: Commit 396e27e pushed by matzf
July 2, 2024 09:03 2m 15s remove-end2endblast
remove-end2endblast
July 2, 2024 09:03 2m 15s
private/appnet: remove SvcResolutionFraction Verify the specified codebase #420: Commit 20785bf pushed by matzf
July 2, 2024 08:58 1m 59s remove-svcfraction
remove-svcfraction
July 2, 2024 08:58 1m 59s
private/appnet: remove SvcResolutionFraction Verify the specified codebase #419: Commit 1dbcc97 pushed by matzf
July 2, 2024 08:54 1m 56s remove-svcfraction
remove-svcfraction
July 2, 2024 08:54 1m 56s
doc: update deploy tutorial to release v0.11.0 Verify the specified codebase #418: Commit 21c0f88 pushed by matzf
July 1, 2024 06:48 2m 0s doc-update-tutorial
doc-update-tutorial
July 1, 2024 06:48 2m 0s
fixup: jc codeowner for router Verify the specified codebase #417: Commit 8dc872e pushed by matzf
June 14, 2024 09:27 1m 44s doc-tc-jc
doc-tc-jc
June 14, 2024 09:27 1m 44s
doc: add Jean-Christophe to list of TC members Verify the specified codebase #416: Commit 4c3e463 pushed by matzf
June 14, 2024 08:28 1m 57s doc-tc-jc
doc-tc-jc
June 14, 2024 08:28 1m 57s
doc: reviewer suggestions Verify the specified codebase #415: Commit 34eb4a0 pushed by matzf
May 27, 2024 12:13 1m 50s doc-scmp-optional
doc-scmp-optional
May 27, 2024 12:13 1m 50s
doc: reviewer suggestions Verify the specified codebase #414: Commit c5526aa pushed by matzf
May 27, 2024 08:18 2m 1s doc-scmp-optional
doc-scmp-optional
May 27, 2024 08:18 2m 1s
doc: clarify SCMP reality vs. ambition Verify the specified codebase #413: Commit c7c6bd2 pushed by matzf
May 24, 2024 08:18 2m 3s doc-scmp-optional
doc-scmp-optional
May 24, 2024 08:18 2m 3s
doc: clarify SCMP reality vs. ambition Verify the specified codebase #412: Commit 4893da4 pushed by matzf
May 24, 2024 08:18 2m 16s doc-scmp-optional
doc-scmp-optional
May 24, 2024 08:18 2m 16s
doc: fixup generated documentation files after removing dispatcher flags Verify the specified codebase #411: Commit 0325ae2 pushed by matzf
May 23, 2024 10:17 1m 57s fixup-doc-dispatcherless
fixup-doc-dispatcherless
May 23, 2024 10:17 1m 57s
fixup: explain server upgrade process explicitly Verify the specified codebase #410: Commit f2b7b14 pushed by matzf
May 21, 2024 09:57 2m 6s doc-no-dispatcher
doc-no-dispatcher
May 21, 2024 09:57 2m 6s
fixup: typos, review comments Verify the specified codebase #409: Commit 850ae8f pushed by matzf
May 21, 2024 09:48 1m 51s doc-no-dispatcher
doc-no-dispatcher
May 21, 2024 09:48 1m 51s
fixup gzip command Verify the specified codebase #408: Commit 5358941 pushed by matzf
May 16, 2024 10:47 2m 17s ci-versioned-artifacts
ci-versioned-artifacts
May 16, 2024 10:47 2m 17s
debub missing artifacts, is the problem just the cd? Verify the specified codebase #407: Commit 384db3d pushed by matzf
May 16, 2024 10:22 1m 56s ci-versioned-artifacts
ci-versioned-artifacts
May 16, 2024 10:22 1m 56s
ci: include build version in file name of build artifacts Verify the specified codebase #406: Commit 590b460 pushed by matzf
May 16, 2024 08:20 1m 50s ci-versioned-artifacts
ci-versioned-artifacts
May 16, 2024 08:20 1m 50s
fixup: try fix buildkite variable expansion in script Verify the specified codebase #405: Commit 9361a24 pushed by matzf
May 14, 2024 21:17 1m 51s openwrt-build-version
openwrt-build-version
May 14, 2024 21:17 1m 51s
fixup: try fix buildkite variable expansion in script Verify the specified codebase #404: Commit 6239f65 pushed by matzf
May 14, 2024 21:13 1m 58s openwrt-build-version
openwrt-build-version
May 14, 2024 21:13 1m 58s