Skip to content

Actions: viperproject/VerifiedSCION

.github/workflows/bors.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,184 workflow runs
1,184 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

backup
.github/workflows/bors.yml #1709: Commit c0118eb pushed by jcp19
November 14, 2024 14:19 Failure minit
November 14, 2024 14:19 Failure
clean-up path packages
.github/workflows/bors.yml #1708: Commit b33b6e8 pushed by jcp19
November 14, 2024 13:55 Failure minit
November 14, 2024 13:55 Failure
backup
.github/workflows/bors.yml #1707: Commit 7a6ea93 pushed by jcp19
November 14, 2024 13:39 Failure minit
November 14, 2024 13:39 Failure
Update .github/workflows/gobra.yml
.github/workflows/bors.yml #1706: Commit b59d2c6 pushed by jcp19
November 14, 2024 10:53 Failure jcp19-patch-2
November 14, 2024 10:53 Failure
Update .github/workflows/gobra.yml
.github/workflows/bors.yml #1705: Commit a1e5d69 pushed by jcp19
November 14, 2024 09:53 Failure jcp19-patch-2
November 14, 2024 09:53 Failure
Merge branch 'master' into joao-scripts2
.github/workflows/bors.yml #1704: Commit 2500fcf pushed by jcp19
November 13, 2024 10:09 Failure joao-scripts2
November 13, 2024 10:09 Failure
Update .github/workflows/gobra.yml
.github/workflows/bors.yml #1703: Commit b619332 pushed by jcp19
November 12, 2024 18:58 Failure jcp19-patch-2
November 12, 2024 18:58 Failure
Upstream
.github/workflows/bors.yml #1702: Pull request #383 by aaronbojarski
November 8, 2024 14:37 Failure aaronbojarski:upstream
November 8, 2024 14:37 Failure
Upstream
.github/workflows/bors.yml #1701: Pull request #383 by aaronbojarski
November 5, 2024 08:39 Failure aaronbojarski:verification
November 5, 2024 08:39 Failure
Merge branch 'master' into temp
.github/workflows/bors.yml #1700: Commit 506e962 pushed by jcp19
October 28, 2024 15:33 Failure temp
October 28, 2024 15:33 Failure
Update verification/jobs/path.json
.github/workflows/bors.yml #1699: Commit 9c5992c pushed by jcp19
October 17, 2024 13:22 Failure gobrago
October 17, 2024 13:22 Failure
Update README.md
.github/workflows/bors.yml #1698: Commit 492c2ba pushed by jcp19
October 17, 2024 13:20 Failure gobrago
October 17, 2024 13:20 Failure
backup
.github/workflows/bors.yml #1697: Commit 5cabb9f pushed by jcp19
October 17, 2024 13:18 Failure gobrago
October 17, 2024 13:18 Failure
backup
.github/workflows/bors.yml #1696: Commit c935b45 pushed by jcp19
October 13, 2024 11:32 Failure minit
October 13, 2024 11:32 Failure
add //+gobra
.github/workflows/bors.yml #1695: Commit ffebf55 pushed by jcp19
October 13, 2024 11:04 Failure minit
October 13, 2024 11:04 Failure
fix package clause
.github/workflows/bors.yml #1694: Commit c7190e3 pushed by jcp19
October 13, 2024 10:58 Failure minit
October 13, 2024 10:58 Failure
backup
.github/workflows/bors.yml #1693: Commit 7cca7f9 pushed by jcp19
October 13, 2024 10:52 Failure minit
October 13, 2024 10:52 Failure
Reenable chopper
.github/workflows/bors.yml #1692: Commit 78b47ac pushed by jcp19
September 28, 2024 17:49 Failure 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
September 19, 2024 08:12 Failure
add missing 'ghost' (#377)
.github/workflows/bors.yml #1690: Commit 2aebfb2 pushed by jcp19
September 16, 2024 13:13 Failure master
September 16, 2024 13:13 Failure
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
September 16, 2024 08:25 Failure
Verify fmtAS (#378)
.github/workflows/bors.yml #1688: Commit b1055a9 pushed by jcp19
September 16, 2024 08:20 Failure master
September 16, 2024 08:20 Failure
Apply suggestions from code review
.github/workflows/bors.yml #1687: Commit 5575874 pushed by jcp19
September 16, 2024 08:19 Failure fmtAS
September 16, 2024 08:19 Failure
tiny changes
.github/workflows/bors.yml #1686: Commit 70855bc pushed by jcp19
September 15, 2024 19:19 Failure fmtAS
September 15, 2024 19:19 Failure
tiny changes
.github/workflows/bors.yml #1685: Commit 2ec5a3b pushed by jcp19
September 15, 2024 19:18 Failure fmtAS
September 15, 2024 19:18 Failure