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: Selebrator/ColorUnfolder
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: main
Choose a base ref
...
head repository: Selebrator/ColorUnfolder
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.
  • 8 commits
  • 6 files changed
  • 1 contributor

Commits on Jul 26, 2023

  1. Attempt to set up GitHub CI 

    I provide my own cvc5, because their release does not contain the java bindings
    @Selebrator
    Selebrator committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    3a904dc View commit details
    Browse the repository at this point in the history

  2. Increase logging, so I can maybe see why linking does not work

    @Selebrator
    Selebrator committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    bd584eb View commit details
    Browse the repository at this point in the history

  3. Install gcc 

    Trying to solve
/lib/x86_64-linux-gnu/libstdc++.so.6: version `GLIBCXX_3.4.32' not found (required by lib/libcvc5.so.1)
    @Selebrator
    Selebrator committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    652a06c View commit details
    Browse the repository at this point in the history

  4. Revert "Install gcc" 

    It was already installed

This reverts commit 652a06c.
    @Selebrator
    Selebrator committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    b4b6ae3 View commit details
    Browse the repository at this point in the history

  5. Try compiling with gcc12 

    Why does Ubuntu with outdated packages have to be the standard? :(
    @Selebrator
    Selebrator committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    cf53f1f View commit details
    Browse the repository at this point in the history

  6. Revert "Try compiling with gcc12" 

    This reverts commit cf53f1f.
    @Selebrator
    Selebrator committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    9d8b257 View commit details
    Browse the repository at this point in the history

  7. Install newer gcc

    @Selebrator
    Selebrator committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    d98366c View commit details
    Browse the repository at this point in the history

  8. Don't crash if xclip not installed

    @Selebrator
    Selebrator committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    d3aacfc View commit details
    Browse the repository at this point in the history
Loading