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: solvespace/solvespace
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: ppd/solvespace
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: master
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 12 commits
  • 2 files changed
  • 1 contributor

Commits on Jul 25, 2022

  1. wip: re-enable arm64 snap builds

    ppd committed Jul 25, 2022
    Configuration menu
    Copy the full SHA
    f58c34d View commit details
    Browse the repository at this point in the history
  2. wip

    ppd committed Jul 25, 2022
    Configuration menu
    Copy the full SHA
    d60fcfa View commit details
    Browse the repository at this point in the history
  3. try again with secret

    ppd committed Jul 25, 2022
    Configuration menu
    Copy the full SHA
    82849ec View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    8ec467e View commit details
    Browse the repository at this point in the history
  5. fixes

    ppd committed Jul 25, 2022
    Configuration menu
    Copy the full SHA
    81ed756 View commit details
    Browse the repository at this point in the history
  6. test parallel build

    ppd committed Jul 25, 2022
    Configuration menu
    Copy the full SHA
    c4343a0 View commit details
    Browse the repository at this point in the history
  7. fix

    ppd committed Jul 25, 2022
    Configuration menu
    Copy the full SHA
    59e8a23 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2022

  1. cat logs

    ppd committed Jul 26, 2022
    Configuration menu
    Copy the full SHA
    22c8d6e View commit details
    Browse the repository at this point in the history
  2. fix paths

    ppd committed Jul 26, 2022
    Configuration menu
    Copy the full SHA
    26ac983 View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2022

  1. try without git config

    ppd committed Jul 27, 2022
    Configuration menu
    Copy the full SHA
    3943218 View commit details
    Browse the repository at this point in the history
  2. re-add git user

    ppd committed Jul 27, 2022
    Configuration menu
    Copy the full SHA
    8009f29 View commit details
    Browse the repository at this point in the history
  3. try some things

    ppd committed Jul 27, 2022
    Configuration menu
    Copy the full SHA
    dd14d05 View commit details
    Browse the repository at this point in the history
Loading