Skip to content

Manylinux#255

Merged
rkaminsk merged 17 commits intowipfrom
manylinux
Jan 10, 2021
Merged

Manylinux#255
rkaminsk merged 17 commits intowipfrom
manylinux

Conversation

@rkaminsk
Copy link
Copy Markdown
Member

@rkaminsk rkaminsk commented Jan 9, 2021

TODO

  • more robust version detection
  • also publish source tarball (including generated lexer/parser)
  • only build on request
  • ppc builds should be limited to releases because they take too long to build (in any case, are they important for anyone?)
    • the necessary workflows for releases will be added later

@rkaminsk rkaminsk changed the base branch from master to wip January 10, 2021 13:46
@rkaminsk rkaminsk merged commit 999e532 into wip Jan 10, 2021
@rkaminsk rkaminsk linked an issue Jan 10, 2021 that may be closed by this pull request
@rkaminsk rkaminsk deleted the manylinux branch January 14, 2021 13:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Packaging clingo with pip

1 participant