Sebastian Ullrich

feat: basic `#lang`

2

Makes the entire Lean frontend substitutable with a custom implementation, directly inspired by [Racket `#lang`](https://docs.racket-lang.org/guide/hash-languages.html).  This is an **early proof of concept**; as a basis for design discussions, it...

Did something change again on Hetzner's side? ``` $ nixops deploy runner1..> creating an exclusive robot admin sub-account for ‘runner1’... Traceback (most recent call last): File "/nix/store/n82y5s41cqv05iq9ik4ryc1z28vvnwzn-python3.10-nixops-2.0.0-pre-fc9b55c/bin/.nixops-wrapped", line 9, in...

Eagerly resolve toolchains to canonical, fixed reference

2

This also gets rid of the `update-hashes/` directory (it won't literally get rid of it on existing installs but the contents do not matter anymore).

Requests fail with NotSupported, depending on $TERM

5

I can reproduce https://github.com/iron/logger/issues/79, even with 007aa628: ``` $ TERM=dumb cargo test Running target/debug/lib-9e020053bfe738e2 running 9 tests ERROR:iron::iron: Error handling: Request { url: Url { scheme: "http", host: Ipv4(127.0.0.1), port:...

The readme mentions Windows support is planned and a few commits suggest that at least some parts already work. Could I ask for a quick status summary? I didn't see...

Recipe for caching untrusted PRs?

4

As the readme rightly points out, > Pull requests do not have access to secrets so read access to a public binary cache will work, but pushing will be disabled...

Adding documents to the cart would add a single item for the selected lecture (the 'primary lecture' in fsmi/odie-server#11) showing some simple info like (written/oral) document count and summed print...