Skip to content

Actions: viperproject/VerifiedSCION

Actions

.github/workflows/bors.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bors.yml
1,213 workflow runs
1,213 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

proof of IsSupportedPkt (#363) .github/workflows/bors.yml #1554: Commit 1a4feed pushed by jcp19
July 8, 2024 09:00 Failure master
master
July 8, 2024 09:00 Failure
proof of IsSupportedPkt (#363) .github/workflows/bors.yml #1553: Commit 1a4feed pushed by jcp19
July 3, 2024 14:42 Failure master
master
July 3, 2024 14:42 Failure
proof of IsSupportedPkt (#363) .github/workflows/bors.yml #1552: Commit 1a4feed pushed by jcp19
July 2, 2024 13:52 Failure master
master
July 2, 2024 13:52 Failure
proof of IsSupportedPkt (#363) .github/workflows/bors.yml #1551: Commit 1a4feed pushed by jcp19
July 1, 2024 13:06 Failure master
master
July 1, 2024 13:06 Failure
proof of IsSupportedPkt .github/workflows/bors.yml #1550: Commit 07a0853 pushed by mlimbeck
July 1, 2024 12:26 Failure markus-issupportedPkt
markus-issupportedPkt
July 1, 2024 12:26 Failure
fix verification error .github/workflows/bors.yml #1549: Commit 9d8d5a7 pushed by mlimbeck
June 27, 2024 22:27 Failure markus-io-spec-setHopField-proof
markus-io-spec-setHopField-proof
June 27, 2024 22:27 Failure
increase timeout of path/scion .github/workflows/bors.yml #1548: Commit 6f7a7fd pushed by mlimbeck
June 27, 2024 21:59 Failure markus-io-spec-setHopField-proof
markus-io-spec-setHopField-proof
June 27, 2024 21:59 Failure
space between arithmetic operands .github/workflows/bors.yml #1547: Commit d7ad54a pushed by mlimbeck
June 27, 2024 21:27 Failure markus-io-spec-setHopField-proof
markus-io-spec-setHopField-proof
June 27, 2024 21:27 Failure
renaming .github/workflows/bors.yml #1546: Commit c408dbc pushed by mlimbeck
June 27, 2024 21:13 Failure markus-io-spec-setHopField-proof
markus-io-spec-setHopField-proof
June 27, 2024 21:13 Failure
Merge branch 'master' into remove-ubs .github/workflows/bors.yml #1545: Commit 181a99a pushed by Dspil
June 27, 2024 15:20 Failure remove-ubs
remove-ubs
June 27, 2024 15:20 Failure
fix verification error .github/workflows/bors.yml #1544: Commit 3c10372 pushed by mlimbeck
June 27, 2024 15:16 Failure markus-io-spec-setHopField-proof
markus-io-spec-setHopField-proof
June 27, 2024 15:16 Failure
preserves .github/workflows/bors.yml #1543: Commit df41cbc pushed by Dspil
June 27, 2024 14:51 Failure remove-ubs
remove-ubs
June 27, 2024 14:51 Failure
feedback .github/workflows/bors.yml #1542: Commit ca32450 pushed by mlimbeck
June 27, 2024 14:36 Failure markus-io-spec-setHopField-proof
markus-io-spec-setHopField-proof
June 27, 2024 14:36 Failure
path ready .github/workflows/bors.yml #1541: Commit 271bb5a pushed by Dspil
June 27, 2024 13:42 Failure remove-ubs
remove-ubs
June 27, 2024 13:42 Failure
backup .github/workflows/bors.yml #1540: Commit 6570b45 pushed by jcp19
June 24, 2024 10:50 Failure abstract-decode-layers
abstract-decode-layers
June 24, 2024 10:50 Failure
backup .github/workflows/bors.yml #1539: Commit 81ca970 pushed by jcp19
June 24, 2024 10:00 Failure joao-uncomment-packSCMP
joao-uncomment-packSCMP
June 24, 2024 10:00 Failure
non-termination again .github/workflows/bors.yml #1538: Commit 2b178e8 pushed by jcp19
June 21, 2024 10:14 Failure joao-uncomment-packSCMP
joao-uncomment-packSCMP
June 21, 2024 10:14 Failure
fix syntax error .github/workflows/bors.yml #1537: Commit 1aee59c pushed by mlimbeck
June 20, 2024 21:32 Failure markus-io-spec-setHopField-proof
markus-io-spec-setHopField-proof
June 20, 2024 21:32 Failure
simplifications and comments .github/workflows/bors.yml #1536: Commit 3252934 pushed by mlimbeck
June 20, 2024 21:17 Failure markus-io-spec-setHopField-proof
markus-io-spec-setHopField-proof
June 20, 2024 21:17 Failure
fix verification errors .github/workflows/bors.yml #1535: Commit ec1769e pushed by mlimbeck
June 19, 2024 20:54 Failure markus-io-spec-setHopField-proof
markus-io-spec-setHopField-proof
June 19, 2024 20:54 Failure
fix termination measure .github/workflows/bors.yml #1534: Commit 10f95f0 pushed by mlimbeck
June 19, 2024 16:40 Failure markus-io-spec-setHopField-proof
markus-io-spec-setHopField-proof
June 19, 2024 16:40 Failure
proof of sethopfield and io-assumptions .github/workflows/bors.yml #1533: Commit dcd5cca pushed by mlimbeck
June 19, 2024 16:29 Failure markus-io-spec-setHopField-proof
markus-io-spec-setHopField-proof
June 19, 2024 16:29 Failure
backup .github/workflows/bors.yml #1532: Commit 4c2464d pushed by jcp19
June 18, 2024 21:48 Failure joao-uncomment-packSCMP
joao-uncomment-packSCMP
June 18, 2024 21:48 Failure
simplify spec .github/workflows/bors.yml #1531: Commit c6194d1 pushed by jcp19
June 18, 2024 21:27 Failure joao-uncomment-packSCMP
joao-uncomment-packSCMP
June 18, 2024 21:27 Failure
backup .github/workflows/bors.yml #1530: Commit dc25b29 pushed by jcp19
June 18, 2024 16:05 Failure joao-uncomment-packSCMP
joao-uncomment-packSCMP
June 18, 2024 16:05 Failure