Skip to content

Actions: obchain/MantissaFi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
191 workflow runs
191 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
feat: Frontend React dashboard (#89) CI #150: Commit 77b87b5 pushed by obchain
10m 48s main
main
10m 48s
feat: Frontend React dashboard (#89) .github/workflows/certora.yml #41: Commit 77b87b5 pushed by obchain
Failure main
main
Failure
feat: Frontend React dashboard CI #149: Pull request #89 opened by obchain
10m 57s feat/issue-88-frontend-react-dashboard
feat/issue-88-frontend-react-dashboard
10m 57s
test(FrontendReactdashboard): add fuzz tests .github/workflows/certora.yml #40: Commit f8fed02 pushed by obchain
Failure feat/issue-88-frontend-react-dashboard
feat/issue-88-frontend-react-dashboard
Failure
feat: Multi-chain deployment with cross-chain settlement (#87) CI #148: Commit bab7062 pushed by obchain
10m 17s main
main
10m 17s
feat: Multi-chain deployment with cross-chain settlement (#87) .github/workflows/certora.yml #39: Commit bab7062 pushed by obchain
Failure main
main
Failure
feat: Multi-chain deployment with cross-chain settlement CI #147: Pull request #87 opened by obchain
11m 19s feat/issue-86-multi-chain-deployment-with-cr
feat/issue-86-multi-chain-deployment-with-cr
11m 19s
test(Multichaindeploymentwithcrosschainsettlement): add fuzz tests .github/workflows/certora.yml #38: Commit 98a9495 pushed by obchain
Failure feat/issue-86-multi-chain-deployment-with-cr
feat/issue-86-multi-chain-deployment-with-cr
Failure
feat: Add American-style option support (#85) CI #146: Commit 629c101 pushed by obchain
10m 10s main
main
10m 10s
feat: Add American-style option support (#85) .github/workflows/certora.yml #37: Commit 629c101 pushed by obchain
Failure main
main
Failure
feat: Add American-style option support CI #145: Pull request #85 opened by obchain
9m 53s feat/issue-84-add-american-style-option-supp
feat/issue-84-add-american-style-option-supp
9m 53s
test(AddAmericanstyleoptionsupport): add fuzz tests .github/workflows/certora.yml #36: Commit 6c78df6 pushed by obchain
Failure feat/issue-84-add-american-style-option-supp
feat/issue-84-add-american-style-option-supp
Failure
feat: Explore Heston stochastic volatility model extension CI #144: Pull request #83 opened by obchain
7m 35s feat/issue-82-explore-heston-stochastic-vola
feat/issue-82-explore-heston-stochastic-vola
7m 35s
test(ExploreHestonstochasticvolatilitymodelextension): add fuzz tests .github/workflows/certora.yml #35: Commit 7fd6974 pushed by obchain
Failure feat/issue-82-explore-heston-stochastic-vola
feat/issue-82-explore-heston-stochastic-vola
Failure
docs: Create protocol diagram and documentation assets (#81) CI #143: Commit e71ed7c pushed by obchain
9m 10s main
main
9m 10s
docs: Create protocol diagram and documentation assets (#81) .github/workflows/certora.yml #34: Commit e71ed7c pushed by obchain
Failure main
main
Failure
docs: Create protocol diagram and documentation assets CI #142: Pull request #81 opened by obchain
9m 15s docs/issue-80-create-protocol-diagram-and-do
docs/issue-80-create-protocol-diagram-and-do
9m 15s
test(Createprotocoldiagramanddocumentationassets): add fuzz tests .github/workflows/certora.yml #33: Commit 789ee91 pushed by obchain
Failure docs/issue-80-create-protocol-diagram-and-do
docs/issue-80-create-protocol-diagram-and-do
Failure
docs: Write academic paper (LaTeX) (#79) CI #141: Commit 7639d9a pushed by obchain
7m 58s main
main
7m 58s
docs: Write academic paper (LaTeX) (#79) .github/workflows/certora.yml #32: Commit 7639d9a pushed by obchain
Failure main
main
Failure
docs: Write academic paper (LaTeX) CI #140: Pull request #79 opened by obchain
8m 1s docs/issue-78-write-academic-paper-latex
docs/issue-78-write-academic-paper-latex
8m 1s
test(WriteacademicpaperLaTeX): add fuzz tests .github/workflows/certora.yml #31: Commit 898b874 pushed by obchain
Failure docs/issue-78-write-academic-paper-latex
docs/issue-78-write-academic-paper-latex
Failure
docs: Write error bounds analysis document (#77) CI #139: Commit 17ce478 pushed by obchain
7m 28s main
main
7m 28s
docs: Write error bounds analysis document (#77) .github/workflows/certora.yml #30: Commit 17ce478 pushed by obchain
Failure main
main
Failure
docs: Write error bounds analysis document CI #138: Pull request #77 opened by obchain
7m 38s docs/issue-76-write-error-bounds-analysis-do
docs/issue-76-write-error-bounds-analysis-do
7m 38s