Helpers compiler [bot]
|
90ce264992
|
[skip ci] Build helpers on push
|
2026-01-05 15:08:49 +00:00 |
|
|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
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
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
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
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
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?
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
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
Build helpers / build_helpers (push) Successful in 4s
|
2025-12-23 14:23:21 +01:00 |
|
|
|
f1b64e8ddb
|
[CI] More debugging
Build helpers / build_helpers (push) Successful in 5s
|
2025-12-23 14:21:47 +01:00 |
|
|
|
a5cb9bb54d
|
[CI] More debugging
Build helpers / build_helpers (push) Successful in 5s
|
2025-12-23 14:21:04 +01:00 |
|
|
|
432fcb4153
|
Trigger build
Build helpers / build_helpers (push) Successful in 4s
|
2025-12-23 14:19:03 +01:00 |
|
|
|
159b37a3d3
|
[CI] Debug helpers build
Build helpers / build_helpers (push) Successful in 7s
|
2025-12-23 14:17:30 +01:00 |
|
|
|
baf964792a
|
Better logging
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
Build docs / build_docs (push) Successful in 21s
|
2025-12-23 14:02:30 +01:00 |
|
|
|
8346a558c7
|
[CI] Debugging
Build docs / build_docs (push) Successful in 20s
|
2025-12-23 14:01:41 +01:00 |
|
|
|
91cfc52ec8
|
[CI] Download helpers
Build docs / build_docs (push) Successful in 26s
|
2025-12-23 13:59:34 +01:00 |
|
|
|
dba7f93d0d
|
Trigger CI
Build docs / build_docs (push) Failing after 2m20s
|
2025-12-23 13:56:06 +01:00 |
|
|
|
098ffcc618
|
[CI] Use full container
Build docs / build_docs (push) Failing after 2m33s
|
2025-12-23 09:11:21 +01:00 |
|
|
|
4102cafa6e
|
Revert "[CI] Remove docs build"
This reverts commit bdb72b2e2a.
|
2025-12-23 09:00:15 +01:00 |
|
|
|
bdb72b2e2a
|
[CI] Remove docs build
|
2025-12-23 08:40:37 +01:00 |
|
|
|
5169d20bed
|
[CI] Update workflow
Build docs / build_docs (push) Failing after 15s
|
2025-12-23 07:20:58 +01:00 |
|
|
|
86f080a705
|
[CI] Try fix
Build docs / build_docs (push) Failing after 7s
|
2025-12-23 07:09:40 +01:00 |
|
|
|
23037f11f6
|
[CI] Use upstream action
Build docs / build_docs (push) Failing after 10s
|
2025-12-23 07:01:47 +01:00 |
|
