Jonatan Kłosko

Was thinking about that, although dark mode is something you usually set just once. Having the switch on other pages sounds fine, but I'm not sure where would be the...

@jfly and I have discussed this, and cumulative time limits get quite tricky because it requires knowing how long someone spent on a DNF (as usually not all attempts are...

When it comes to storing DNF times, I kinda feel that storing them in WCA Live only doesn't bring enough value compared to the need of entering them. So if...

Duplicate of #16, but as this is a bit more elaborated I'm gonna close that one.

Closing, as this is tracked in #133.

We currently push the build result into the `build` branch, so maybe we could figure out a way to push to PR-specific branches, although we would still need to figure...

Hmm, I think it'd be hard to archive this way. Adding an `outdated` note would require the old documents to be rebuilt, not even sure at which point would that...

@gregorbg probably the same as #7735?

Only the theory I commented on the other issue.

Hey @Awlexus, this could be an issue with the build environment. To be sure, you can alternatively use the [Docker scripts](https://github.com/elixir-nx/xla/tree/main/builds) (`./build.sh rocm`), then use `XLA_ARCHIVE_URL=file:///path/to/build.tzr.gz` accordingly. In case your...