Skip to content

Actions: viperproject/VerifiedSCION

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,576 workflow runs
3,576 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move "MAC assumption" deeper Run 'go test' #1884: Pull request #399 synchronize by henriman
April 9, 2025 14:40 Action required henriman:mac-assumption
henriman:mac-assumption
April 9, 2025 14:40 Action required
Move "MAC assumption" deeper Verify bitwise operations in Dafny #1268: Pull request #399 synchronize by henriman
April 9, 2025 14:40 Action required henriman:mac-assumption
henriman:mac-assumption
April 9, 2025 14:40 Action required
Move "MAC assumption" deeper Verify the router and its dependencies #2390: Pull request #399 synchronize by henriman
April 9, 2025 14:40 Action required henriman:mac-assumption
henriman:mac-assumption
April 9, 2025 14:40 Action required
Move "MAC assumption" deeper .github/workflows/bors.yml #1834: Pull request #399 by henriman
April 9, 2025 14:40 Failure henriman:mac-assumption
henriman:mac-assumption
April 9, 2025 14:40 Failure
Specify package-level invariants Verify the router and its dependencies #2389: Pull request #380 synchronize by jcp19
March 25, 2025 23:51 1m 45s minit
minit
March 25, 2025 23:51 1m 45s
Specify package-level invariants Verify bitwise operations in Dafny #1267: Pull request #380 synchronize by jcp19
March 25, 2025 23:51 26s minit
minit
March 25, 2025 23:51 26s
Specify package-level invariants Run 'go test' #1883: Pull request #380 synchronize by jcp19
March 25, 2025 23:51 53s minit
minit
March 25, 2025 23:51 53s
forgot import pres .github/workflows/bors.yml #1833: Commit b9cfca1 pushed by jcp19
March 25, 2025 23:51 Failure minit
minit
March 25, 2025 23:51 Failure
Specify package-level invariants Verify bitwise operations in Dafny #1266: Pull request #380 synchronize by jcp19
March 25, 2025 23:44 21s minit
minit
March 25, 2025 23:44 21s
Specify package-level invariants Verify the router and its dependencies #2388: Pull request #380 synchronize by jcp19
March 25, 2025 23:44 1m 49s minit
minit
March 25, 2025 23:44 1m 49s
Specify package-level invariants Run 'go test' #1882: Pull request #380 synchronize by jcp19
March 25, 2025 23:44 54s minit
minit
March 25, 2025 23:44 54s
merge with master .github/workflows/bors.yml #1832: Commit 6c4a0d4 pushed by jcp19
March 25, 2025 23:44 Failure minit
minit
March 25, 2025 23:44 Failure
[WIP] SIF Verify the router and its dependencies #2387: Pull request #394 synchronize by henriman
March 13, 2025 10:08 Action required henriman:sif-io-spec
henriman:sif-io-spec
March 13, 2025 10:08 Action required
[WIP] SIF Run 'go test' #1881: Pull request #394 synchronize by henriman
March 13, 2025 10:08 Action required henriman:sif-io-spec
henriman:sif-io-spec
March 13, 2025 10:08 Action required
[WIP] SIF Verify bitwise operations in Dafny #1265: Pull request #394 synchronize by henriman
March 13, 2025 10:08 Action required henriman:sif-io-spec
henriman:sif-io-spec
March 13, 2025 10:08 Action required
[WIP] SIF .github/workflows/bors.yml #1831: Pull request #394 by henriman
March 13, 2025 10:08 Failure henriman:sif-io-spec
henriman:sif-io-spec
March 13, 2025 10:08 Failure
[WIP] SIF .github/workflows/bors.yml #1830: Pull request #394 by henriman
March 10, 2025 18:08 Failure henriman:sif-io-spec
henriman:sif-io-spec
March 10, 2025 18:08 Failure
Move "MAC assumption" deeper Run 'go test' #1879: Pull request #399 synchronize by henriman
March 8, 2025 19:05 54s henriman:mac-assumption
henriman:mac-assumption
March 8, 2025 19:05 54s
Move "MAC assumption" deeper Verify the router and its dependencies #2385: Pull request #399 synchronize by henriman
March 8, 2025 19:05 1h 4m 38s henriman:mac-assumption
henriman:mac-assumption
March 8, 2025 19:05 1h 4m 38s
Move "MAC assumption" deeper Verify bitwise operations in Dafny #1263: Pull request #399 synchronize by henriman
March 8, 2025 19:05 24s henriman:mac-assumption
henriman:mac-assumption
March 8, 2025 19:05 24s
Move "MAC assumption" deeper .github/workflows/bors.yml #1829: Pull request #399 by henriman
March 8, 2025 19:05 Failure henriman:mac-assumption
henriman:mac-assumption
March 8, 2025 19:05 Failure
Move "MAC assumption" deeper Run 'go test' #1878: Pull request #399 synchronize by henriman
March 6, 2025 13:34 56s henriman:mac-assumption
henriman:mac-assumption
March 6, 2025 13:34 56s
Move "MAC assumption" deeper Verify the router and its dependencies #2384: Pull request #399 synchronize by henriman
March 6, 2025 13:34 1h 2m 13s henriman:mac-assumption
henriman:mac-assumption
March 6, 2025 13:34 1h 2m 13s
Move "MAC assumption" deeper Verify bitwise operations in Dafny #1262: Pull request #399 synchronize by henriman
March 6, 2025 13:34 37s henriman:mac-assumption
henriman:mac-assumption
March 6, 2025 13:34 37s
Move "MAC assumption" deeper .github/workflows/bors.yml #1828: Pull request #399 by henriman
March 6, 2025 13:34 Failure henriman:mac-assumption
henriman:mac-assumption
March 6, 2025 13:34 Failure