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

Reenable chopper Run 'go test' #1748: Pull request #379 opened by jcp19
September 28, 2024 17:49 53s jcp19-patch-2
jcp19-patch-2
September 28, 2024 17:49 53s
Reenable chopper Verify bitwise operations in Dafny #1132: Pull request #379 opened by jcp19
September 28, 2024 17:49 30s jcp19-patch-2
jcp19-patch-2
September 28, 2024 17:49 30s
Reenable chopper Verify the router and its dependencies #2254: Pull request #379 opened by jcp19
September 28, 2024 17:49 58m 37s jcp19-patch-2
jcp19-patch-2
September 28, 2024 17:49 58m 37s
Reenable chopper .github/workflows/bors.yml #1692: Commit 78b47ac pushed by jcp19
September 28, 2024 17:49 Failure jcp19-patch-2
jcp19-patch-2
September 28, 2024 17:49 Failure
backup .github/workflows/bors.yml #1691: Commit b34186e pushed by jcp19
September 19, 2024 08:12 Failure joao-crypto-weaken
joao-crypto-weaken
September 19, 2024 08:12 Failure
add missing 'ghost' (#377) Verify bitwise operations in Dafny #1131: Commit 2aebfb2 pushed by jcp19
September 16, 2024 13:13 25s master
master
September 16, 2024 13:13 25s
add missing 'ghost' (#377) Run 'go test' #1747: Commit 2aebfb2 pushed by jcp19
September 16, 2024 13:13 57s master
master
September 16, 2024 13:13 57s
add missing 'ghost' (#377) Verify the router and its dependencies #2253: Commit 2aebfb2 pushed by jcp19
September 16, 2024 13:13 1h 12m 0s master
master
September 16, 2024 13:13 1h 12m 0s
add missing 'ghost' (#377) .github/workflows/bors.yml #1690: Commit 2aebfb2 pushed by jcp19
September 16, 2024 13:13 Failure master
master
September 16, 2024 13:13 Failure
add missing 'ghost' Verify the router and its dependencies #2252: Pull request #377 synchronize by jcp19
September 16, 2024 08:25 1h 16m 14s fix-missing-ghost
fix-missing-ghost
September 16, 2024 08:25 1h 16m 14s
add missing 'ghost' Verify bitwise operations in Dafny #1130: Pull request #377 synchronize by jcp19
September 16, 2024 08:25 27s fix-missing-ghost
fix-missing-ghost
September 16, 2024 08:25 27s
add missing 'ghost' Run 'go test' #1746: Pull request #377 synchronize by jcp19
September 16, 2024 08:25 55s fix-missing-ghost
fix-missing-ghost
September 16, 2024 08:25 55s
Merge branch 'master' into fix-missing-ghost .github/workflows/bors.yml #1689: Commit 32791d6 pushed by jcp19
September 16, 2024 08:25 Failure fix-missing-ghost
fix-missing-ghost
September 16, 2024 08:25 Failure
Verify fmtAS (#378) Run 'go test' #1745: Commit b1055a9 pushed by jcp19
September 16, 2024 08:20 58s master
master
September 16, 2024 08:20 58s
Verify fmtAS (#378) Verify bitwise operations in Dafny #1129: Commit b1055a9 pushed by jcp19
September 16, 2024 08:20 27s master
master
September 16, 2024 08:20 27s
Verify fmtAS (#378) Verify the router and its dependencies #2251: Commit b1055a9 pushed by jcp19
September 16, 2024 08:20 1h 14m 48s master
master
September 16, 2024 08:20 1h 14m 48s
Verify fmtAS (#378) .github/workflows/bors.yml #1688: Commit b1055a9 pushed by jcp19
September 16, 2024 08:20 Failure master
master
September 16, 2024 08:20 Failure
fmtAS Verify bitwise operations in Dafny #1128: Pull request #378 synchronize by jcp19
September 16, 2024 08:19 28s fmtAS
fmtAS
September 16, 2024 08:19 28s
fmtAS Run 'go test' #1744: Pull request #378 synchronize by jcp19
September 16, 2024 08:19 57s fmtAS
fmtAS
September 16, 2024 08:19 57s
fmtAS Verify the router and its dependencies #2250: Pull request #378 synchronize by jcp19
September 16, 2024 08:19 1h 9m 19s fmtAS
fmtAS
September 16, 2024 08:19 1h 9m 19s
Apply suggestions from code review .github/workflows/bors.yml #1687: Commit 5575874 pushed by jcp19
September 16, 2024 08:19 Failure fmtAS
fmtAS
September 16, 2024 08:19 Failure
fmtAS Verify bitwise operations in Dafny #1127: Pull request #378 synchronize by jcp19
September 15, 2024 19:19 34s fmtAS
fmtAS
September 15, 2024 19:19 34s
fmtAS Verify the router and its dependencies #2249: Pull request #378 synchronize by jcp19
September 15, 2024 19:19 1h 7m 40s fmtAS
fmtAS
September 15, 2024 19:19 1h 7m 40s
fmtAS Run 'go test' #1743: Pull request #378 synchronize by jcp19
September 15, 2024 19:19 1m 2s fmtAS
fmtAS
September 15, 2024 19:19 1m 2s
tiny changes .github/workflows/bors.yml #1686: Commit 70855bc pushed by jcp19
September 15, 2024 19:19 Failure fmtAS
fmtAS
September 15, 2024 19:19 Failure