8000 Comparing master...ci · hwmcc/btor2tools · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
8000
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: hwmcc/btor2tools
Failed to load repositories. Confirm that s 10000 elected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: hwmcc/btor2tools
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: ci
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 6 commits
  • 1 file changed
  • 1 contributor

Commits on Jun 28, 2021

  1. Add simple CI workflow.

    @mpreiner
    mpreiner committed Jun 28, 2021
    Configuration menu
    Copy the full SHA
    73d3289 View commit details
    Browse the repository at this point in the history

  2. Checkout.

    @mpreiner
    mpreiner committed Jun 28, 2021
    Configuration menu
    Copy the full SHA
    56f88f1 View commit details
    Browse the repository at this point in the history

  3. Fix.

    @mpreiner
    mpreiner committed Jun 28, 2021
    Configuration menu
    Copy the full SHA
    55f52a7 View commit details
    Browse the repository at this point in the history

  4. Fix.

    @mpreiner
    mpreiner committed Jun 28, 2021
    Configuration menu
    Copy the full SHA
    91f8107 View commit details
    Browse the repository at this point in the history

  5. Try

    @mpreiner
    mpreiner committed Jun 28, 2021
    Configuration menu
    Copy the full SHA
    4ed7b4a View commit details
    Browse the repository at this point in the history

  6. Try

    @mpreiner
    mpreiner committed Jun 28, 2021
    Configuration menu
    Copy the full SHA
    a604cdd View commit details
    Browse the repository at this point in the history
Loading
0