- 18 Apr, 2022 31 commits
-
-
Michał Polański authored
-
Michał Polański authored
-
Michał Polański authored
-
alice authored
-
alice authored
see #13719
-
-
Michał Polański authored
-
-
-
Dominika Liberda authored
-
alice authored
-
alice authored
-
-
alice authored
-
alice authored
-
-
alice authored
see #13716
-
alice authored
-
alice authored
this release doesn't seem to support 8.x fmt (ftbfs), latest master does instead, upgrade later
-
-
-
-
Also adds py3-setuptools as a runtime dependency as it's strictly required.
-
-
alice authored
-
-
alice authored
-
alice authored
-
Kevin Daudt authored
-
- 17 Apr, 2022 9 commits
-
-
-
Hazem authored
https://smlsharp.github.io An SML implementation with Row Polymorphism and DB extensions
-
Hazem authored
https://github.com/massivethreads/massivethreads A lightweight threads library required by smlsharp
-
Kevin Daudt authored
-
Kevin Daudt authored
-
Kevin Daudt authored
-
Kevin Daudt authored
This is now done directly by the lint script
-
Kevin Daudt authored
Due to recent changes in git, the owner of the repository files matter. In CI, the repository is cloned by root, while the CI jobs run as a non-root user. This causes git to fail with an error message. This was already fixed in the ci build script, but the `before_script` is run before that, and now starts to fail because the updated git version is part of the image itself. Because we fetch the commits in the build script anyway, lets just remove the before_script.
-
alice authored
-