d-flex flex-column width-full">

feat: add Certora formal verification for UbiquityPoolFacet

e6dfa2f

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

Spell Check on: pull_request 2

Spell Check

Check For Core Contracts Storage Changes on: pull_request 1

provide_contracts

check_storage_layout

Yarn Audit on: pull_request 1

Audit & Fix

Conventional Commits on: pull_request 1

Conventional Commits

Enforce kebab-case on: pull_request 1

check-filenames

Compare Test Coverage on: pull_request 1

Compare Test Coverage

Check For Diamond Storage Changes on: pull_request 1

provide_contracts

check_storage_layout

Slither Analysis on: pull_request 1

Slither Analysis

CodeQL Analysis on: pull_request 10

CodeQL Analysis (javascript)

CodeQL Analysis (typescript)

Build & Test on: pull_request 1

Build & Test

Run Semgrep on: pull_request 2

Scan

Code scanning results

CodeQL

Semgrep OSS

GitHub Advanced Security / CodeQL succeeded May 22, 2026 in 2s

No new alerts in code changed by this pull request

Loading