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

doc: update issue template (#4359) Verify the specified codebase #597: Commit 10fc34b pushed by matzf
July 6, 2023 07:09 2m 32s master
master
July 6, 2023 07:09 2m 32s
doc: update issue template Verify the specified codebase #596: Pull request #4359 opened by oncilla
July 5, 2023 08:57 2m 24s oncilla-patch-1
oncilla-patch-1
July 5, 2023 08:57 2m 24s
doc: update issue template Verify the specified codebase #595: Commit eef7cda pushed by oncilla
July 5, 2023 08:57 2m 36s oncilla-patch-1
oncilla-patch-1
July 5, 2023 08:57 2m 36s
Border router restructure Verify the specified codebase #594: Pull request #4351 synchronize by rohrerj
July 3, 2023 12:10 3m 56s rohrerj:br-restructure-basic
rohrerj:br-restructure-basic
July 3, 2023 12:10 3m 56s
doc: fix link to EPIC-HP design doc (#4358) Verify the specified codebase #593: Commit 595839f pushed by oncilla
July 2, 2023 19:48 2m 33s master
master
July 2, 2023 19:48 2m 33s
Border router restructure Verify the specified codebase #591: Pull request #4351 synchronize by rohrerj
July 1, 2023 13:46 2m 27s rohrerj:br-restructure-basic
rohrerj:br-restructure-basic
July 1, 2023 13:46 2m 27s
Border router restructure Verify the specified codebase #590: Pull request #4351 synchronize by rohrerj
July 1, 2023 13:25 3m 22s rohrerj:br-restructure-basic
rohrerj:br-restructure-basic
July 1, 2023 13:25 3m 22s
refactor: replace addr.HostAddr hierarchy with tagged union addr.Host Verify the specified codebase #589: Pull request #4346 synchronize by matzf
June 27, 2023 12:26 2m 52s matzf:addr-host-refactor
matzf:addr-host-refactor
June 27, 2023 12:26 2m 52s
refactor: replace addr.HostAddr hierarchy with tagged union addr.Host Verify the specified codebase #588: Pull request #4346 synchronize by matzf
June 27, 2023 09:59 2m 23s matzf:addr-host-refactor
matzf:addr-host-refactor
June 27, 2023 09:59 2m 23s
refactor: replace addr.HostAddr hierarchy with tagged union addr.Host Verify the specified codebase #587: Pull request #4346 synchronize by matzf
June 27, 2023 09:51 3m 25s matzf:addr-host-refactor
matzf:addr-host-refactor
June 27, 2023 09:51 3m 25s