Skip to content

Actions: KWARC/FLAMS

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

search, counter fixes, minor bugs, streaming zipped archives .github/workflows/build.yaml #99: Commit 7eaf2af pushed by Jazzpirate
March 13, 2025 07:57 1h 35m 16s main
main
March 13, 2025 07:57 1h 35m 16s
stupidity fix .github/workflows/build.yaml #98: Commit 3268722 pushed by Jazzpirate
March 10, 2025 19:00 1h 33m 53s main
main
March 10, 2025 19:00 1h 33m 53s
stupidity fix .github/workflows/build.yaml #96: Commit f940f97 pushed by Jazzpirate
March 3, 2025 21:39 1h 31m 59s main
main
March 3, 2025 21:39 1h 31m 59s
ftml/ts (mainly) .github/workflows/build.yaml #94: Commit 5aa5c43 pushed by Jazzpirate
March 3, 2025 16:27 1h 31m 27s main
main
March 3, 2025 16:27 1h 31m 27s
minor .github/workflows/build.yaml #93: Commit 600a32d pushed by Jazzpirate
March 1, 2025 19:47 1h 33m 15s main
main
March 1, 2025 19:47 1h 33m 15s
disambiguation fix .github/workflows/build.yaml #92: Commit 1c04d7a pushed by Jazzpirate
February 28, 2025 13:21 1h 28m 57s main
main
February 28, 2025 13:21 1h 28m 57s
Merge branch 'main' of github.com:KWARC/FLAMS .github/workflows/build.yaml #90: Commit b6dc14a pushed by Jazzpirate
February 26, 2025 18:44 1h 32m 13s main
main
February 26, 2025 18:44 1h 32m 13s
Update build.yaml .github/workflows/build.yaml #89: Commit 062d5ec pushed by Jazzpirate
February 19, 2025 01:38 1h 21m 47s main
main
February 19, 2025 01:38 1h 21m 47s
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
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 #4: Commit 6372d90 pushed by Jazzpirate
October 21, 2024 15:06 7m 14s main
main
October 21, 2024 15:06 7m 14s