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.

Sign up for GitHub

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

Jump to bottom

fix ci #37

Open
wants to merge 18 commits into
base: main
Choose a base branch
from
Open

fix ci #37

wants to merge 18 commits into from

Commits on May 6, 2024

  1. fix ci

    @haampie
    haampie committed May 6, 2024
    Configuration menu
    Copy the full SHA
    dac4e1d View commit details
    Browse the repository at this point in the history

Commits on May 7, 2024

  1. ...

    @haampie
    haampie committed May 7, 2024
    Configuration menu
    Copy the full SHA
    ea9c280 View commit details
    Browse the repository at this point in the history

  2. ...

    @haampie
    haampie committed May 7, 2024
    Configuration menu
    Copy the full SHA
    79a0132 View commit details
    Browse the repository at this point in the history

  3. env

    @haampie
    haampie committed May 7, 2024
    Configuration menu
    Copy the full SHA
    5a6c576 View commit details
    Browse the repository at this point in the history

  4. remove

    @haampie
    haampie committed May 7, 2024
    Configuration menu
    Copy the full SHA
    33e98fe View commit details
    Browse the repository at this point in the history

  5. remove

    @haampie
    haampie committed May 7, 2024
    Configuration menu
    Copy the full SHA
    6ff59f2 View commit details
    Browse the repository at this point in the history

  6. style

    @haampie
    haampie committed May 7, 2024
    Configuration menu
    Copy the full SHA
    4597fe0 View commit details
    Browse the repository at this point in the history

  7. typo

    @haampie
    haampie committed May 7, 2024
    Configuration menu
    Copy the full SHA
    6e7968d View commit details
    Browse the repository at this point in the history

  8. sigh

    @haampie
    haampie committed May 7, 2024
    Configuration menu
    Copy the full SHA
    0a08206 View commit details
    Browse the repository at this point in the history

  9. restore target

    @haampie
    haampie committed May 7, 2024
    Configuration menu
    Copy the full SHA
    f0178a5 View commit details
    Browse the repository at this point in the history

  10. use __main__

    @haampie
    haampie committed May 7, 2024
    Configuration menu
    Copy the full SHA
    12e2222 View commit details
    Browse the repository at this point in the history

  11. lastfixup

    @haampie
    haampie committed May 7, 2024
    Configuration menu
    Copy the full SHA
    13050b9 View commit details
    Browse the repository at this point in the history

  12. oops

    @haampie
    haampie committed May 7, 2024
    Configuration menu
    Copy the full SHA
    4653d26 View commit details
    Browse the repository at this point in the history

  13. fix

    @haampie
    haampie committed May 7, 2024
    Configuration menu
    Copy the full SHA
    586b5f4 View commit details
    Browse the repository at this point in the history

  14. ...

    @haampie
    haampie committed May 7, 2024
    Configuration menu
    Copy the full SHA
    891f6bc View commit details
    Browse the repository at this point in the history

  15. not available

    @haampie
    haampie committed May 7, 2024
    Configuration menu
    Copy the full SHA
    7c84e4b View commit details
    Browse the repository at this point in the history

  16. use clingo

    @haampie
    haampie committed May 7, 2024
    Configuration menu
    Copy the full SHA
    bf3e650 View commit details
    Browse the repository at this point in the history

  17. drop externals i guess

    @haampie
    haampie committed May 7, 2024
    Configuration menu
    Copy the full SHA
    83f81f5 View commit details
    Browse the repository at this point in the history