Skip to content

Actions: KWARC/FLAMS

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

slightly better typescript; temporarily disabled docs generation .github/workflows/build.yaml #85: Commit 875e49f pushed by Jazzpirate
February 9, 2025 17:04 1h 11m 47s main
main
February 9, 2025 17:04 1h 11m 47s
fix .github/workflows/build.yaml #83: Commit 00f5ff6 pushed by Jazzpirate
January 22, 2025 17:03 1h 8m 0s main
main
January 22, 2025 17:03 1h 8m 0s
another windows fix .github/workflows/build.yaml #81: Commit 9f06141 pushed by Jazzpirate
January 8, 2025 13:36 1h 2m 46s main
main
January 8, 2025 13:36 1h 2m 46s
rustex 2.0 changes .github/workflows/build.yaml #78: Commit c8afb71 pushed by Jazzpirate
December 23, 2024 08:19 58m 33s main
main
December 23, 2024 08:19 58m 33s
persistent notation choices; typscript binding returns a cleanup handle .github/workflows/build.yaml #77: Commit dc49735 pushed by Jazzpirate
December 5, 2024 10:37 59m 8s main
main
December 5, 2024 10:37 59m 8s
dynamic notations done \o/ .github/workflows/build.yaml #76: Commit 130ca9a pushed by Jazzpirate
December 4, 2024 18:43 58m 32s main
main
December 4, 2024 18:43 58m 32s
wasm-bindgen update .github/workflows/build.yaml #75: Commit 48c8a7a pushed by Jazzpirate
December 1, 2024 19:56 59m 27s main
main
December 1, 2024 19:56 59m 27s
merged X and UncheckedX into X<State> .github/workflows/build.yaml #73: Commit e1e227f pushed by Jazzpirate
November 22, 2024 15:05 55m 36s main
main
November 22, 2024 15:05 55m 36s
no panic for TODO .github/workflows/build.yaml #72: Commit 999dfff pushed by Jazzpirate
November 20, 2024 16:34 58m 56s main
main
November 20, 2024 16:34 58m 56s
images .github/workflows/build.yaml #71: Commit 4f7f265 pushed by Jazzpirate
November 18, 2024 18:40 53m 38s main
main
November 18, 2024 18:40 53m 38s
version bump .github/workflows/build.yaml #70: Commit 2391186 pushed by Jazzpirate
November 15, 2024 12:14 54m 22s main
main
November 15, 2024 12:14 54m 22s
git version of RusTeX .github/workflows/build.yaml #69: Commit b220fdb pushed by Jazzpirate
November 15, 2024 11:01 25m 58s main
main
November 15, 2024 11:01 25m 58s
lsp things .github/workflows/build.yaml #68: Commit e477889 pushed by Jazzpirate
November 15, 2024 10:40 4m 41s main
main
November 15, 2024 10:40 4m 41s
tmp .github/workflows/build.yaml #67: Commit 43b1252 pushed by Jazzpirate
October 28, 2024 15:52 53m 33s main
main
October 28, 2024 15:52 53m 33s
dox fix .github/workflows/build.yaml #60: Commit 6dc632c pushed by Jazzpirate
October 24, 2024 20:23 50m 49s main
main
October 24, 2024 20:23 50m 49s
leptos version fixes .github/workflows/build.yaml #56: Commit bc74063 pushed by Jazzpirate
October 22, 2024 07:17 51m 4s main
main
October 22, 2024 07:17 51m 4s
gh actions fix .github/workflows/build.yaml #54: Commit 1850573 pushed by Jazzpirate
October 21, 2024 17:13 50m 10s main
main
October 21, 2024 17:13 50m 10s
gh actions fix .github/workflows/build.yaml #53: Commit 8f489c8 pushed by Jazzpirate
October 21, 2024 16:19 46m 42s main
main
October 21, 2024 16:19 46m 42s
doc fix CI #5: Commit ebfb7cc pushed by Jazzpirate
October 21, 2024 15:17 3m 35s main
main
October 21, 2024 15:17 3m 35s
doc fix CI #4: Commit 6372d90 pushed by Jazzpirate
October 21, 2024 15:06 7m 14s main
main
October 21, 2024 15:06 7m 14s
windows fix .github/workflows/build.yaml #46: Commit a2ac712 pushed by Jazzpirate
October 21, 2024 14:08 48m 33s main
main
October 21, 2024 14:08 48m 33s
next .github/workflows/build.yaml #43: Commit faa4a2a pushed by Jazzpirate
October 21, 2024 13:21 6m 10s main
main
October 21, 2024 13:21 6m 10s
some cleanup + fix .github/workflows/build.yaml #42: Commit 8dd83e9 pushed by Jazzpirate
September 11, 2024 05:02 1h 14m 9s main
main
September 11, 2024 05:02 1h 14m 9s
some refactoring .github/workflows/build.yaml #41: Commit 0d6f529 pushed by Jazzpirate
September 10, 2024 07:10 1h 18m 21s main
main
September 10, 2024 07:10 1h 18m 21s
dependency fix .github/workflows/build.yaml #40: Commit c8b6115 pushed by Jazzpirate
September 9, 2024 12:46 1h 17m 53s main
main
September 9, 2024 12:46 1h 17m 53s