aboutsummaryrefslogtreecommitdiff
path: root/.mumi
ModeNameSize
-rw-r--r--config122logplainabout
generated by cgit
31 23:25:24 +0200'>2023-05-31tests: pypi: Rewrite tests using a local HTTP server....Ludovic Courtès 2023-05-31tests: pypi: Factorize tarball and wheel file creation....Ludovic Courtès 2023-04-30import: pypi: Adjust tests for new build system....Ludovic Courtès 2022-02-11tests: Adjust pypi test to recent changes....Ludovic Courtès 2022-01-26import: pypi: Convert hyphens to underscores in PyPI URLs if needed....Vivien Kraus 2021-11-18tests: Adjust opam and pypi tests to simplified inputs....Ludovic Courtès 2021-11-17Merge branch 'master' into core-updates-frozenLudovic Courtès 2021-11-11import: pypi: Allow imports of a specific version....Ludovic Courtès 2021-10-12Merge remote-tracking branch 'origin/master' into core-updates-frozen.Mathieu Othacehe 2021-09-30import: pypi: Honor the 'upstream-name' package property....Xinglu Chen 2021-07-11import: pypi: Emit new-style package inputs....Ludovic Courtès