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

fmtAS Verify the router and its dependencies #2248: Pull request #378 synchronize by jcp19
September 15, 2024 19:18 1h 18m 26s fmtAS
fmtAS
September 15, 2024 19:18 1h 18m 26s
fmtAS Verify bitwise operations in Dafny #1126: Pull request #378 synchronize by jcp19
September 15, 2024 19:18 26s fmtAS
fmtAS
September 15, 2024 19:18 26s
fmtAS Run 'go test' #1742: Pull request #378 synchronize by jcp19
September 15, 2024 19:18 1m 0s fmtAS
fmtAS
September 15, 2024 19:18 1m 0s
tiny changes .github/workflows/bors.yml #1685: Commit 2ec5a3b pushed by jcp19
September 15, 2024 19:18 Failure fmtAS
fmtAS
September 15, 2024 19:18 Failure
fmtAS Verify bitwise operations in Dafny #1125: Pull request #378 opened by jcp19
September 15, 2024 17:16 20s fmtAS
fmtAS
September 15, 2024 17:16 20s
fmtAS Verify the router and its dependencies #2247: Pull request #378 opened by jcp19
September 15, 2024 17:16 2m 42s fmtAS
fmtAS
September 15, 2024 17:16 2m 42s
fmtAS Run 'go test' #1741: Pull request #378 opened by jcp19
September 15, 2024 17:16 56s fmtAS
fmtAS
September 15, 2024 17:16 56s
fmtAS .github/workflows/bors.yml #1684: Commit 925889d pushed by jcp19
September 15, 2024 17:15 Failure fmtAS
fmtAS
September 15, 2024 17:15 Failure
Drop explicit underlying buffer parameters Verify the router and its dependencies #2246: Pull request #358 synchronize by jcp19
September 11, 2024 18:04 2m 25s remove-ubs
remove-ubs
September 11, 2024 18:04 2m 25s
Drop explicit underlying buffer parameters Verify bitwise operations in Dafny #1124: Pull request #358 synchronize by jcp19
September 11, 2024 18:04 25s remove-ubs
remove-ubs
September 11, 2024 18:04 25s
Drop explicit underlying buffer parameters Run 'go test' #1740: Pull request #358 synchronize by jcp19
September 11, 2024 18:04 53s remove-ubs
remove-ubs
September 11, 2024 18:04 53s
Merge branch 'master' into remove-ubs .github/workflows/bors.yml #1683: Commit b26935f pushed by jcp19
September 11, 2024 18:03 Failure remove-ubs
remove-ubs
September 11, 2024 18:03 Failure
Scripts Verify bitwise operations in Dafny #1123: Pull request #375 synchronize by jcp19
September 11, 2024 18:03 24s temp
temp
September 11, 2024 18:03 24s
Scripts Verify the router and its dependencies #2245: Pull request #375 synchronize by jcp19
September 11, 2024 18:03 1h 12m 55s temp
temp
September 11, 2024 18:03 1h 12m 55s
Scripts Run 'go test' #1739: Pull request #375 synchronize by jcp19
September 11, 2024 18:03 54s temp
temp
September 11, 2024 18:03 54s
Merge branch 'master' into temp .github/workflows/bors.yml #1682: Commit 68e566c pushed by jcp19
September 11, 2024 18:03 Failure temp
temp
September 11, 2024 18:03 Failure
add missing 'ghost' Verify the router and its dependencies #2244: Pull request #377 synchronize by jcp19
September 11, 2024 18:03 1h 6m 9s fix-missing-ghost
fix-missing-ghost
September 11, 2024 18:03 1h 6m 9s
add missing 'ghost' Run 'go test' #1738: Pull request #377 synchronize by jcp19
September 11, 2024 18:03 51s fix-missing-ghost
fix-missing-ghost
September 11, 2024 18:03 51s
add missing 'ghost' Verify bitwise operations in Dafny #1122: Pull request #377 synchronize by jcp19
September 11, 2024 18:03 20s fix-missing-ghost
fix-missing-ghost
September 11, 2024 18:03 20s
Merge branch 'master' into fix-missing-ghost .github/workflows/bors.yml #1681: Commit ef44659 pushed by jcp19
September 11, 2024 18:03 Failure fix-missing-ghost
fix-missing-ghost
September 11, 2024 18:03 Failure
Fix failing CI due to outdated upload action (#376) Verify the router and its dependencies #2243: Commit 12552e8 pushed by jcp19
September 11, 2024 18:02 1h 12m 49s master
master
September 11, 2024 18:02 1h 12m 49s
Fix failing CI due to outdated upload action (#376) Verify bitwise operations in Dafny #1121: Commit 12552e8 pushed by jcp19
September 11, 2024 18:02 31s master
master
September 11, 2024 18:02 31s
Fix failing CI due to outdated upload action (#376) Run 'go test' #1737: Commit 12552e8 pushed by jcp19
September 11, 2024 18:02 54s master
master
September 11, 2024 18:02 54s
Fix failing CI due to outdated upload action (#376) .github/workflows/bors.yml #1680: Commit 12552e8 pushed by jcp19
September 11, 2024 18:02 Failure master
master
September 11, 2024 18:02 Failure
add missing 'ghost' Verify bitwise operations in Dafny #1120: Pull request #377 opened by jcp19
September 11, 2024 12:54 28s fix-missing-ghost
fix-missing-ghost
September 11, 2024 12:54 28s