Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: Certora/SolanaExamples
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: main
Choose a base ref
...
head repository: Certora/SolanaExamples
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: oz/fix-just
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 6 commits
  • 1 file changed
  • 4 contributors

Commits on Jun 9, 2025

  1. pre-release ci (#26) 

    * pre-release ci

* Fix ci

* Update name

* clean ci

* Docs

* Every new cli release trigger regression on main

* Add main

* Align tz

* Add check and trigger

* OZ review

* Review
    @nivcertora
    nivcertora authored Jun 9, 2025
    Configuration menu
    Copy the full SHA
    1bc2379 View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2025

  1. Update check release command

    @nivcertora
    nivcertora committed Jun 10, 2025
    Configuration menu
    Copy the full SHA
    5ebee7a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' of github.com:Certora/SolanaExamples into pre-rel… 

    …ease
    @nivcertora
    nivcertora committed Jun 10, 2025
    Configuration menu
    Copy the full SHA
    7b468a4 View commit details
    Browse the repository at this point in the history

Commits on Jun 11, 2025

  1. Fix CI job name and cli version

    @nivcertora
    nivcertora committed Jun 11, 2025
    Configuration menu
    Copy the full SHA
    d534b21 View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2025

  1. fix night run (#30)

    @ozcodes
    ozcodes authored Jul 30, 2025
    Configuration menu
    Copy the full SHA
    ea7efa1 View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2025

  1. use just 1.42

    @ozcodes
    ozcodes committed Oct 15, 2025
    Configuration menu
    Copy the full SHA
    21bda95 View commit details
    Browse the repository at this point in the history
Loading