Commit Graph

202 Commits

Author SHA1 Message Date
66aee3d780 Trigger CI
All checks were successful
Update helpers / build_helpers (push) Successful in 27s
2026-01-09 14:58:44 +01:00
da4eeebc6d Add indentconfig 2026-01-09 14:54:59 +01:00
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
4f03b8eebc [CI] Trigger
All checks were successful
Update helpers / build_helpers (push) Successful in 29s
2026-01-09 14:50:19 +01:00
3a67a42535 [CI] Trigger
Some checks failed
Update helpers / build_helpers (push) Failing after 27s
2026-01-09 14:25:56 +01:00
bcd7ed17d0 [Core] Improve layout
Some checks failed
Update helpers / build_helpers (push) Failing after 13s
2026-01-09 14:17:27 +01:00
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
579cbd96ca [Tables] Remove labeledTable again
All checks were successful
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
b9d9f6772c [Tables] Add env for labeled table
All checks were successful
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
676bbd9306 Update vector command
All checks were successful
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
fd66333f7a Fix spacing compact theorems
All checks were successful
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
dcb077e116 Remove unnecessary commands
All checks were successful
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
cb173908b4 Add better code support
All checks were successful
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
4eff956d53 New changes
All checks were successful
Build docs / build_docs (push) Successful in 21s
Build helpers / build_helpers (push) Successful in 5s
2026-01-02 07:28:26 +01:00
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
bfc62a37eb Add new commands for vspace removal
Some checks failed
Build docs / build_docs (push) Successful in 21s
Build helpers / build_helpers (push) Failing after 5s
2026-01-02 07:19:58 +01:00
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
4522e88c92 Fix CI
All checks were successful
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
3d6d6234de Add new space remove commands
Some checks failed
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
b1d81bdd06 Improve limit command
All checks were successful
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
c5fccabba9 CI working?
All checks were successful
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
cc3144b170 Trigger build
Some checks failed
Build docs / build_docs (push) Failing after 3m32s
2025-12-23 14:55:05 +01:00
b908ae3b29 Better link docs 2025-12-23 14:32:31 +01:00
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
c6aa4c8d80 [CI] Update
All checks were successful
Build helpers / build_helpers (push) Successful in 4s
2025-12-23 14:23:21 +01:00
f1b64e8ddb [CI] More debugging
All checks were successful
Build helpers / build_helpers (push) Successful in 5s
2025-12-23 14:21:47 +01:00
a5cb9bb54d [CI] More debugging
All checks were successful
Build helpers / build_helpers (push) Successful in 5s
2025-12-23 14:21:04 +01:00
432fcb4153 Trigger build
All checks were successful
Build helpers / build_helpers (push) Successful in 4s
2025-12-23 14:19:03 +01:00
159b37a3d3 [CI] Debug helpers build
All checks were successful
Build helpers / build_helpers (push) Successful in 7s
2025-12-23 14:17:30 +01:00
baf964792a Better logging
All checks were successful
Build helpers / build_helpers (push) Successful in 5s
2025-12-23 14:11:01 +01:00
01047ba385 Add badge 2025-12-23 14:09:13 +01:00
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
6dbcd64ed4 [CI] Fix upload action
All checks were successful
Build docs / build_docs (push) Successful in 21s
2025-12-23 14:02:30 +01:00
8346a558c7 [CI] Debugging
All checks were successful
Build docs / build_docs (push) Successful in 20s
2025-12-23 14:01:41 +01:00