Skip to content

Actions: lfglabs-dev/verity

Actions

Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
1,729 workflow runs
1,729 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix: pin GitHub Actions by SHA (#2464) Docs #1743: Commit 85e0262 pushed by fricoben
1m 16s main
main
1m 16s
fix: pin GitHub Actions by SHA Docs #1742: Pull request #2464 synchronize by fricoben
1m 1s security/pin-actions
security/pin-actions
1m 1s
fix: pin GitHub Actions by SHA Docs #1741: Pull request #2464 opened by fricoben
1m 16s security/pin-actions
security/pin-actions
1m 16s
fix(trust): range-restrict solidityMappingSlot_injective (unrestricte… Docs #1740: Commit cc575b7 pushed by Th0rgal
1m 21s main
main
1m 21s
fix(trust): range-restrict solidityMappingSlot_injective (unrestricted form is inconsistent) Docs #1739: Pull request #2460 synchronize by Th0rgal
1m 5s fix/mapping-slot-axiom-bounds
fix/mapping-slot-axiom-bounds
1m 5s
feat(edsl): symbolic mapChain channel for hashed nested/struct mappin… Docs #1738: Commit 600014d pushed by Th0rgal
1m 19s main
main
1m 19s
[Trust Reduction] Symbolic mapChain channel for hashed nested/struct mappings (G2 residual) Docs #1737: Pull request #2459 opened by Th0rgal
1m 14s fix/g2-symbolic-hashed-mappings
fix/g2-symbolic-hashed-mappings
1m 14s
Merge pull request #2438 from lfglabs-dev/feat/solidity-slice-morpho Docs #1736: Commit 9934dd6 pushed by Th0rgal
1m 21s main
main
1m 21s
Import Solidity function slices with execution coverage and A/B/C validation Docs #1735: Pull request #2438 synchronize by Th0rgal
1m 12s feat/solidity-slice-morpho
feat/solidity-slice-morpho
1m 12s
Import Solidity function slices with execution coverage and A/B/C validation Docs #1734: Pull request #2438 synchronize by Th0rgal
54s feat/solidity-slice-morpho
feat/solidity-slice-morpho
54s
Import Solidity function slices with execution coverage and A/B/C validation Docs #1733: Pull request #2438 synchronize by Th0rgal
1m 3s feat/solidity-slice-morpho
feat/solidity-slice-morpho
1m 3s
Import Solidity function slices with execution coverage and A/B/C validation Docs #1732: Pull request #2438 synchronize by Th0rgal
1m 17s feat/solidity-slice-morpho
feat/solidity-slice-morpho
1m 17s
Import Solidity function slices with execution coverage and A/B/C validation Docs #1731: Pull request #2438 synchronize by Th0rgal
1m 23s feat/solidity-slice-morpho
feat/solidity-slice-morpho
1m 23s
Import Solidity function slices with execution coverage and A/B/C validation Docs #1730: Pull request #2438 synchronize by Th0rgal
1m 19s feat/solidity-slice-morpho
feat/solidity-slice-morpho
1m 19s
Import Solidity function slices with execution coverage and A/B/C validation Docs #1729: Pull request #2438 synchronize by Th0rgal
1m 2s feat/solidity-slice-morpho
feat/solidity-slice-morpho
1m 2s
Import Solidity function slices with execution coverage and A/B/C validation Docs #1728: Pull request #2438 synchronize by Th0rgal
1m 25s feat/solidity-slice-morpho
feat/solidity-slice-morpho
1m 25s
Import Solidity function slices with execution coverage and A/B/C validation Docs #1727: Pull request #2438 synchronize by Th0rgal
1m 16s feat/solidity-slice-morpho
feat/solidity-slice-morpho
1m 16s
Import Solidity function slices with execution coverage and A/B/C validation Docs #1726: Pull request #2438 synchronize by Th0rgal
1m 13s feat/solidity-slice-morpho
feat/solidity-slice-morpho
1m 13s
Import Solidity function slices with execution coverage and A/B/C validation Docs #1725: Pull request #2438 synchronize by Th0rgal
1m 11s feat/solidity-slice-morpho
feat/solidity-slice-morpho
1m 11s
Import Solidity function slices with execution coverage and A/B/C validation Docs #1724: Pull request #2438 synchronize by Th0rgal
1m 16s feat/solidity-slice-morpho
feat/solidity-slice-morpho
1m 16s
Import Solidity function slices with execution coverage and A/B/C validation Docs #1723: Pull request #2438 synchronize by Th0rgal
1m 4s feat/solidity-slice-morpho
feat/solidity-slice-morpho
1m 4s
feat(importer): apply modifiers in order and encode user structs (#2437) Docs #1722: Commit 87aa890 pushed by Th0rgal
55s main
main
55s
feat(importer): apply modifiers in order and encode user structs Docs #1721: Pull request #2437 synchronize by Th0rgal
1m 13s feat/importer-modifiers-structs
feat/importer-modifiers-structs
1m 13s
feat(importer): apply modifiers in order and encode user structs Docs #1720: Pull request #2437 synchronize by Th0rgal
59s feat/importer-modifiers-structs
feat/importer-modifiers-structs
59s
feat(importer): apply modifiers in order and encode user structs Docs #1719: Pull request #2437 synchronize by Th0rgal
1m 19s feat/importer-modifiers-structs
feat/importer-modifiers-structs
1m 19s