Commit Graph

203 Commits

Author SHA1 Message Date
Helpers compiler [bot] aaa6a709fc [skip ci] Build helpers on push 2026-01-09 13:59:11 +00:00
janishutz 66aee3d780 Trigger CI
Update helpers / build_helpers (push) Successful in 27s
2026-01-09 14:58:44 +01:00
janishutz da4eeebc6d Add indentconfig 2026-01-09 14:54:59 +01:00
janishutz ab3abb113c Revert "[skip ci] Build helpers on push"
This reverts commit 951458a867.
2026-01-09 14:53:39 +01:00
Helpers compiler [bot] 951458a867 [skip ci] Build helpers on push 2026-01-09 13:52:14 +00:00
janishutz 4f03b8eebc [CI] Trigger
Update helpers / build_helpers (push) Successful in 29s
2026-01-09 14:50:19 +01:00
janishutz 3a67a42535 [CI] Trigger
Update helpers / build_helpers (push) Failing after 27s
2026-01-09 14:25:56 +01:00
janishutz bcd7ed17d0 [Core] Improve layout
Update helpers / build_helpers (push) Failing after 13s
2026-01-09 14:17:27 +01:00
janishutz 2c0db60c7d [CI] Update to also format 2026-01-09 14:15:34 +01:00
Helpers compiler [bot] 90ce264992 [skip ci] Build helpers on push 2026-01-05 15:08:49 +00:00
janishutz 579cbd96ca [Tables] Remove labeledTable again
Build docs / build_docs (push) Successful in 19s
Build helpers / build_helpers (push) Successful in 6s
2026-01-05 16:08:22 +01:00
Helpers compiler [bot] 88e2dc1a70 [skip ci] Build helpers on push 2026-01-05 15:05:43 +00:00
janishutz b9d9f6772c [Tables] Add env for labeled table
Build docs / build_docs (push) Successful in 21s
Build helpers / build_helpers (push) Successful in 5s
2026-01-05 16:05:14 +01:00
Helpers compiler [bot] b0e161e133 [skip ci] Build helpers on push 2026-01-05 10:29:09 +00:00
janishutz 676bbd9306 Update vector command
Build docs / build_docs (push) Successful in 23s
Build helpers / build_helpers (push) Successful in 5s
2026-01-05 11:28:39 +01:00
Helpers compiler [bot] 5f691d9372 [skip ci] Build helpers on push 2026-01-05 09:17:39 +00:00
janishutz fd66333f7a Fix spacing compact theorems
Build helpers / build_helpers (push) Successful in 5s
2026-01-05 10:17:31 +01:00
Helpers compiler [bot] db2fbc4c70 [skip ci] Build helpers on push 2026-01-05 08:05:12 +00:00
janishutz dcb077e116 Remove unnecessary commands
Build helpers / build_helpers (push) Successful in 5s
2026-01-05 09:05:03 +01:00
LaTeX compiler [bot] be655d2387 [skip ci] Build docs on push 2026-01-04 11:01:13 +00:00
janishutz cb173908b4 Add better code support
Build docs / build_docs (push) Successful in 47s
Build helpers / build_helpers (push) Successful in 5s
2026-01-04 11:58:10 +01:00
Helpers compiler [bot] 6803d1f62d [skip ci] Build helpers on push 2026-01-02 06:28:59 +00:00
janishutz 4eff956d53 New changes
Build docs / build_docs (push) Successful in 21s
Build helpers / build_helpers (push) Successful in 5s
2026-01-02 07:28:26 +01:00
janishutz f622e2be55 [CI] Update 2026-01-02 07:21:59 +01:00
LaTeX compiler [bot] 9a19639d10 [skip ci] Build docs on push 2026-01-02 06:20:18 +00:00
janishutz bfc62a37eb Add new commands for vspace removal
Build docs / build_docs (push) Successful in 21s
Build helpers / build_helpers (push) Failing after 5s
2026-01-02 07:19:58 +01:00
janishutz 01e20cef5d [CI] Try to fix breaking on both workflow run 2026-01-02 07:16:56 +01:00
Helpers compiler [bot] eda396d617 [skip ci] Build helpers on push 2026-01-02 06:11:50 +00:00
janishutz 4522e88c92 Fix CI
Build helpers / build_helpers (push) Successful in 5s
2026-01-02 07:11:43 +01:00
LaTeX compiler [bot] 04b388c382 [skip ci] Build docs on push 2026-01-02 06:10:00 +00:00
janishutz 3d6d6234de Add new space remove commands
Build docs / build_docs (push) Successful in 31s
Build helpers / build_helpers (push) Failing after 4s
2026-01-02 07:09:25 +01:00
Helpers compiler [bot] 4344f8f09d [skip ci] Build helpers on push 2025-12-24 06:22:30 +00:00
janishutz b1d81bdd06 Improve limit command
Build helpers / build_helpers (push) Successful in 7s
2025-12-24 07:22:18 +01:00
LaTeX compiler [bot] 1e766b8133 [skip ci] Build docs on push 2025-12-23 15:26:44 +00:00
janishutz c5fccabba9 CI working?
Build docs / build_docs (push) Successful in 1m6s
2025-12-23 16:25:37 +01:00
LaTeX compiler [bot] e2a725bc51 [skip ci] Build docs on push 2025-12-23 13:57:37 +00:00
janishutz cc3144b170 Trigger build
Build docs / build_docs (push) Failing after 3m32s
2025-12-23 14:55:05 +01:00
janishutz b908ae3b29 Better link docs 2025-12-23 14:32:31 +01:00
janishutz 0ea3d9245c [CI] update author 2025-12-23 14:29:36 +01:00
janishutz 27c96d26a0 [skip ci] Build helpers on push 2025-12-23 13:23:28 +00:00
janishutz c6aa4c8d80 [CI] Update
Build helpers / build_helpers (push) Successful in 4s
2025-12-23 14:23:21 +01:00
janishutz f1b64e8ddb [CI] More debugging
Build helpers / build_helpers (push) Successful in 5s
2025-12-23 14:21:47 +01:00
janishutz a5cb9bb54d [CI] More debugging
Build helpers / build_helpers (push) Successful in 5s
2025-12-23 14:21:04 +01:00
janishutz 432fcb4153 Trigger build
Build helpers / build_helpers (push) Successful in 4s
2025-12-23 14:19:03 +01:00
janishutz 159b37a3d3 [CI] Debug helpers build
Build helpers / build_helpers (push) Successful in 7s
2025-12-23 14:17:30 +01:00
janishutz baf964792a Better logging
Build helpers / build_helpers (push) Successful in 5s
2025-12-23 14:11:01 +01:00
janishutz 01047ba385 Add badge 2025-12-23 14:09:13 +01:00
janishutz c321acd063 [CI] Only update on push to docs 2025-12-23 14:06:04 +01:00
janishutz 1462cc0198 [skip ci] Build docs on push 2025-12-23 13:02:52 +00:00
janishutz 6dbcd64ed4 [CI] Fix upload action
Build docs / build_docs (push) Successful in 21s
2025-12-23 14:02:30 +01:00