Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make objectives types configurable #204

Merged
merged 36 commits into from
Dec 11, 2023
Merged

Commits on Nov 14, 2023

  1. Configuration menu
    Copy the full SHA
    a632f96 View commit details
    Browse the repository at this point in the history

Commits on Nov 25, 2023

  1. Configuration menu
    Copy the full SHA
    92f84d4 View commit details
    Browse the repository at this point in the history
  2. fix: update link.sh

    dstallenberg committed Nov 25, 2023
    Configuration menu
    Copy the full SHA
    62abdcb View commit details
    Browse the repository at this point in the history
  3. fix: add all objectives

    dstallenberg committed Nov 25, 2023
    Configuration menu
    Copy the full SHA
    70a5d4e View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    444e3ea View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    4f9f475 View commit details
    Browse the repository at this point in the history

Commits on Nov 27, 2023

  1. Configuration menu
    Copy the full SHA
    af1aa1b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    1866b7b View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    f74a2e0 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    e6b236f View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    bb7e66b View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    373f177 View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2023

  1. Configuration menu
    Copy the full SHA
    2f54de8 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    ca9e58b View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    7feb250 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    f34208e View commit details
    Browse the repository at this point in the history
  5. fix: additional progress

    dstallenberg committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    86002bf View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2023

  1. Configuration menu
    Copy the full SHA
    23f880c View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    eb56eb1 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    f7a4e81 View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2023

  1. fix: no path objectives

    dstallenberg committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    54102d2 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    1d5841c View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    2ec6c9c View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    7082eba View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    14fea3a View commit details
    Browse the repository at this point in the history
  6. fix: uncomment code

    dstallenberg committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    36a49ce View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2023

  1. Configuration menu
    Copy the full SHA
    9181864 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    df27bec View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    ea15ada View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2023

  1. Configuration menu
    Copy the full SHA
    707cf14 View commit details
    Browse the repository at this point in the history

Commits on Dec 11, 2023

  1. Configuration menu
    Copy the full SHA
    ece86ac View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    6061473 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    bd24408 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    1bb57ac View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    7871e42 View commit details
    Browse the repository at this point in the history
  6. fix: make configurable

    dstallenberg committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    e075aea View commit details
    Browse the repository at this point in the history