Skip to content

Actions: viperproject/VerifiedSCION

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,567 workflow runs
4,567 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move ownership of underlying slice of SerializableBuffer to outside of Mem() Verify the router and its dependencies #2224: Pull request #374 synchronize by mlimbeck
August 23, 2024 10:59 1h 13m 1s markus-packscmp-new-inv
markus-packscmp-new-inv
August 23, 2024 10:59 1h 13m 1s
test: remove unnecessary invariants in run() .github/workflows/bors.yml #1659: Commit 2233984 pushed by mlimbeck
August 23, 2024 10:59 Failure markus-packscmp-new-inv
markus-packscmp-new-inv
August 23, 2024 10:59 Failure
Stabilize path/scion Verify bitwise operations in Dafny #1101: Pull request #370 synchronize by mlimbeck
August 22, 2024 22:44 21s try-diff-trigger-scion-path
try-diff-trigger-scion-path
August 22, 2024 22:44 21s
Stabilize path/scion Run 'go test' #1717: Pull request #370 synchronize by mlimbeck
August 22, 2024 22:44 55s try-diff-trigger-scion-path
try-diff-trigger-scion-path
August 22, 2024 22:44 55s
Stabilize path/scion Verify the router and its dependencies #2223: Pull request #370 synchronize by mlimbeck
August 22, 2024 22:44 37m 43s try-diff-trigger-scion-path
try-diff-trigger-scion-path
August 22, 2024 22:44 37m 43s
Merge branch 'master' into try-diff-trigger-scion-path .github/workflows/bors.yml #1658: Commit f1c5ae6 pushed by mlimbeck
August 22, 2024 22:44 Failure try-diff-trigger-scion-path
try-diff-trigger-scion-path
August 22, 2024 22:44 Failure
Move ownership of underlying slice of SerializableBuffer to outside of Mem() Run 'go test' #1716: Pull request #374 synchronize by mlimbeck
August 22, 2024 21:53 59s markus-packscmp-new-inv
markus-packscmp-new-inv
August 22, 2024 21:53 59s
Move ownership of underlying slice of SerializableBuffer to outside of Mem() Verify the router and its dependencies #2222: Pull request #374 synchronize by mlimbeck
August 22, 2024 21:53 1h 15m 19s markus-packscmp-new-inv
markus-packscmp-new-inv
August 22, 2024 21:53 1h 15m 19s
Move ownership of underlying slice of SerializableBuffer to outside of Mem() Verify bitwise operations in Dafny #1100: Pull request #374 synchronize by mlimbeck
August 22, 2024 21:53 31s markus-packscmp-new-inv
markus-packscmp-new-inv
August 22, 2024 21:53 31s
proves injectivity for message buffer directly without sets .github/workflows/bors.yml #1657: Commit 7ee8a80 pushed by mlimbeck
August 22, 2024 21:53 Failure markus-packscmp-new-inv
markus-packscmp-new-inv
August 22, 2024 21:53 Failure
Stabilize path/scion Run 'go test' #1715: Pull request #370 synchronize by mlimbeck
August 22, 2024 15:02 1m 0s try-diff-trigger-scion-path
try-diff-trigger-scion-path
August 22, 2024 15:02 1m 0s
Stabilize path/scion Verify the router and its dependencies #2221: Pull request #370 synchronize by mlimbeck
August 22, 2024 15:02 34m 45s try-diff-trigger-scion-path
try-diff-trigger-scion-path
August 22, 2024 15:02 34m 45s
Stabilize path/scion Verify bitwise operations in Dafny #1099: Pull request #370 synchronize by mlimbeck
August 22, 2024 15:02 25s try-diff-trigger-scion-path
try-diff-trigger-scion-path
August 22, 2024 15:02 25s
replace hopFieldsBytePositions and by recursive functions .github/workflows/bors.yml #1656: Commit 2995837 pushed by mlimbeck
August 22, 2024 15:02 Failure try-diff-trigger-scion-path
try-diff-trigger-scion-path
August 22, 2024 15:02 Failure
Move ownership of underlying slice of SerializableBuffer to outside of Mem() Run 'go test' #1714: Pull request #374 synchronize by mlimbeck
August 17, 2024 05:54 52s markus-packscmp-new-inv
markus-packscmp-new-inv
August 17, 2024 05:54 52s
Move ownership of underlying slice of SerializableBuffer to outside of Mem() Verify the router and its dependencies #2220: Pull request #374 synchronize by mlimbeck
August 17, 2024 05:54 1h 30m 48s markus-packscmp-new-inv
markus-packscmp-new-inv
August 17, 2024 05:54 1h 30m 48s
Move ownership of underlying slice of SerializableBuffer to outside of Mem() Verify bitwise operations in Dafny #1098: Pull request #374 synchronize by mlimbeck
August 17, 2024 05:54 25s markus-packscmp-new-inv
markus-packscmp-new-inv
August 17, 2024 05:54 25s
different trigger .github/workflows/bors.yml #1655: Commit 439c0e8 pushed by mlimbeck
August 17, 2024 05:54 Failure markus-packscmp-new-inv
markus-packscmp-new-inv
August 17, 2024 05:54 Failure
Move ownership of underlying slice of SerializableBuffer to outside of Mem() Verify the router and its dependencies #2219: Pull request #374 synchronize by mlimbeck
August 16, 2024 18:07 1h 25m 42s markus-packscmp-new-inv
markus-packscmp-new-inv
August 16, 2024 18:07 1h 25m 42s
Move ownership of underlying slice of SerializableBuffer to outside of Mem() Verify bitwise operations in Dafny #1097: Pull request #374 synchronize by mlimbeck
August 16, 2024 18:07 23s markus-packscmp-new-inv
markus-packscmp-new-inv
August 16, 2024 18:07 23s
Move ownership of underlying slice of SerializableBuffer to outside of Mem() Run 'go test' #1713: Pull request #374 synchronize by mlimbeck
August 16, 2024 18:07 1m 3s markus-packscmp-new-inv
markus-packscmp-new-inv
August 16, 2024 18:07 1m 3s
fix injectivity issue in run() and verification error in newPacketPro… .github/workflows/bors.yml #1654: Commit 155909d pushed by mlimbeck
August 16, 2024 18:07 Failure markus-packscmp-new-inv
markus-packscmp-new-inv
August 16, 2024 18:07 Failure
Proof of SetHopField (#361) .github/workflows/bors.yml #1653: Commit 97c98ff pushed by jcp19
August 16, 2024 14:47 Failure master
master
August 16, 2024 14:47 Failure
Move ownership of underlying slice of SerializableBuffer to outside of Mem() Run 'go test' #1712: Pull request #374 synchronize by mlimbeck
August 16, 2024 13:55 57s markus-packscmp-new-inv
markus-packscmp-new-inv
August 16, 2024 13:55 57s
Move ownership of underlying slice of SerializableBuffer to outside of Mem() Verify bitwise operations in Dafny #1096: Pull request #374 synchronize by mlimbeck
August 16, 2024 13:55 25s markus-packscmp-new-inv
markus-packscmp-new-inv
August 16, 2024 13:55 25s