Skip to content

Actions: viperproject/VerifiedSCION

Actions

.github/workflows/bors.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

backup .github/workflows/bors.yml #1762: Commit c837096 pushed by jcp19
January 9, 2025 15:26 Failure drop_fractions_functions
drop_fractions_functions
January 9, 2025 15:26 Failure
backup .github/workflows/bors.yml #1761: Commit 5176886 pushed by jcp19
January 9, 2025 14:35 Failure drop_fractions_functions
drop_fractions_functions
January 9, 2025 14:35 Failure
drop unnecessary param in IsValidResultOfDecoding .github/workflows/bors.yml #1760: Commit b37959e pushed by jcp19
January 9, 2025 10:26 Failure simplify-isvalidresultdecoding
simplify-isvalidresultdecoding
January 9, 2025 10:26 Failure
backup .github/workflows/bors.yml #1759: Commit b34f546 pushed by jcp19
January 8, 2025 20:47 Failure drop_fractions_functions
drop_fractions_functions
January 8, 2025 20:47 Failure
Revert "simplify post of SCION.SerializeTo" .github/workflows/bors.yml #1758: Commit 84ea83b pushed by jcp19
January 8, 2025 20:32 Failure master
master
January 8, 2025 20:32 Failure
Merge branch 'master' into drop_fractions_functions .github/workflows/bors.yml #1757: Commit 11eada7 pushed by jcp19
January 7, 2025 17:14 Failure drop_fractions_functions
drop_fractions_functions
January 7, 2025 17:14 Failure
Refactor parts of scion_spec.gobra for proof stability (#389) .github/workflows/bors.yml #1756: Commit ced08ce pushed by jcp19
January 7, 2025 17:14 Failure drop_fractions_functions
drop_fractions_functions
January 7, 2025 17:14 Failure
Update pkg/slayers/scion_spec.gobra .github/workflows/bors.yml #1755: Commit 1226e2b pushed by jcp19
January 7, 2025 17:09 Failure drop_fractions_functions2_test
drop_fractions_functions2_test
January 7, 2025 17:09 Failure
Update pkg/slayers/scion.go .github/workflows/bors.yml #1754: Commit f934d8d pushed by jcp19
January 7, 2025 17:08 Failure drop_fractions_functions2_test
drop_fractions_functions2_test
January 7, 2025 17:08 Failure
Merge branch 'master' into jcp19-patch-2 .github/workflows/bors.yml #1753: Commit 562f4cf pushed by jcp19
January 7, 2025 17:06 Failure jcp19-patch-2
jcp19-patch-2
January 7, 2025 17:06 Failure
cleanup .github/workflows/bors.yml #1752: Commit 19bdc60 pushed by jcp19
January 7, 2025 16:20 Failure drop_fractions_functions2_test
drop_fractions_functions2_test
January 7, 2025 16:20 Failure
.github/workflows/bors.yml .github/workflows/bors.yml #1751: by jcp19
January 7, 2025 15:39 Failure /viperproject/VerifiedSCION
/viperproject/VerifiedSCION
January 7, 2025 15:39 Failure
.github/workflows/bors.yml .github/workflows/bors.yml #1750: by jcp19
January 7, 2025 15:38 Failure /viperproject/VerifiedSCION
/viperproject/VerifiedSCION
January 7, 2025 15:38 Failure
.github/workflows/bors.yml .github/workflows/bors.yml #1749: by jcp19
January 7, 2025 15:31 Failure /viperproject/VerifiedSCION
/viperproject/VerifiedSCION
January 7, 2025 15:31 Failure
.github/workflows/bors.yml .github/workflows/bors.yml #1748: by jcp19
January 7, 2025 15:30 Failure /viperproject/VerifiedSCION
/viperproject/VerifiedSCION
January 7, 2025 15:30 Failure
.github/workflows/bors.yml .github/workflows/bors.yml #1747: by jcp19
January 7, 2025 14:16 Failure /viperproject/VerifiedSCION
/viperproject/VerifiedSCION
January 7, 2025 14:16 Failure
fix bad triggers generated by Gobra .github/workflows/bors.yml #1746: Commit f27ca87 pushed by jcp19
January 7, 2025 10:50 Failure drop_fractions_functions
drop_fractions_functions
January 7, 2025 10:50 Failure
refactor widen lemma for HopField to reuse a previous proof .github/workflows/bors.yml #1745: Commit fd68775 pushed by jcp19
January 7, 2025 09:34 Failure drop_fractions_functions
drop_fractions_functions
January 7, 2025 09:34 Failure
yet another proof obligation fixed .github/workflows/bors.yml #1744: Commit 2c0697c pushed by jcp19
January 6, 2025 19:54 Failure drop_fractions_functions
drop_fractions_functions
January 6, 2025 19:54 Failure
fix yet one more proof obligation; extract code into additional theorem .github/workflows/bors.yml #1743: Commit 4b797ea pushed by jcp19
January 6, 2025 19:24 Failure drop_fractions_functions
drop_fractions_functions
January 6, 2025 19:24 Failure
stabilize verification conditions that now fail .github/workflows/bors.yml #1742: Commit f27bbf1 pushed by jcp19
January 6, 2025 18:26 Failure drop_fractions_functions
drop_fractions_functions
January 6, 2025 18:26 Failure
drop access predicates .github/workflows/bors.yml #1741: Commit bde15be pushed by jcp19
December 20, 2024 22:06 Failure drop_fractions_functions
drop_fractions_functions
December 20, 2024 22:06 Failure
tiny change .github/workflows/bors.yml #1740: Commit 8d6127a pushed by jcp19
December 20, 2024 19:11 Failure drop_fractions_functions
drop_fractions_functions
December 20, 2024 19:11 Failure
drop unnecessary formalization of waitgroups .github/workflows/bors.yml #1739: Commit 00db763 pushed by jcp19
December 20, 2024 17:49 Failure drop_fractions_functions
drop_fractions_functions
December 20, 2024 17:49 Failure
Add MWE for proving SIF .github/workflows/bors.yml #1738: Pull request #386 by jcp19
December 19, 2024 12:37 Failure henriman:master
henriman:master
December 19, 2024 12:37 Failure