Skip to content

Actions: IPS-LMU/octra

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
305 workflow runs
305 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #35: by github-pages bot
October 24, 2023 15:37 40s gh-pages
gh-pages
October 24, 2023 15:37 40s
feat(octra): dynamically move transcription units document generator #40: Commit 0af071e pushed by julianpoemp
October 24, 2023 15:36 1m 18s main
main
October 24, 2023 15:36 1m 18s
feat(octra): dynamically move transcription units Static Packages #38: Commit 0af071e pushed by julianpoemp
October 24, 2023 15:36 2m 28s main
main
October 24, 2023 15:36 2m 28s
pages build and deployment pages-build-deployment #34: by github-pages bot
October 23, 2023 17:42 39s gh-pages
gh-pages
October 23, 2023 17:42 39s
fix(octra): shibboleth not working since refactoring Static Packages #37: Commit 73c3f28 pushed by julianpoemp
October 23, 2023 17:41 3m 20s main
main
October 23, 2023 17:41 3m 20s
fix(octra): shibboleth not working since refactoring document generator #39: Commit 73c3f28 pushed by julianpoemp
October 23, 2023 17:41 1m 14s main
main
October 23, 2023 17:41 1m 14s
pages build and deployment pages-build-deployment #33: by github-pages bot
October 20, 2023 14:15 40s gh-pages
gh-pages
October 20, 2023 14:15 40s
feta(octra): link to translation page in language dropdown document generator #38: Commit 96263ea pushed by julianpoemp
October 20, 2023 14:14 1m 30s main
main
October 20, 2023 14:14 1m 30s
feta(octra): link to translation page in language dropdown Static Packages #36: Commit 96263ea pushed by julianpoemp
October 20, 2023 14:14 2m 52s main
main
October 20, 2023 14:14 2m 52s
pages build and deployment pages-build-deployment #32: by github-pages bot
October 20, 2023 11:52 35s gh-pages
gh-pages
October 20, 2023 11:52 35s
feat(octra): save task data before quit Static Packages #35: Commit e669468 pushed by julianpoemp
October 20, 2023 11:50 2m 31s main
main
October 20, 2023 11:50 2m 31s
feat(octra): save task data before quit document generator #37: Commit e669468 pushed by julianpoemp
October 20, 2023 11:50 1m 32s main
main
October 20, 2023 11:50 1m 32s
pages build and deployment pages-build-deployment #31: by github-pages bot
October 18, 2023 15:24 38s gh-pages
gh-pages
October 18, 2023 15:24 38s
feat(octra): overview table from 1.4.x Static Packages #34: Commit 3ba5e38 pushed by julianpoemp
October 18, 2023 15:23 2m 31s main
main
October 18, 2023 15:23 2m 31s
feat(octra): overview table from 1.4.x document generator #36: Commit 3ba5e38 pushed by julianpoemp
October 18, 2023 15:23 1m 19s main
main
October 18, 2023 15:23 1m 19s
pages build and deployment pages-build-deployment #30: by github-pages bot
October 18, 2023 05:52 38s gh-pages
gh-pages
October 18, 2023 05:52 38s
feat(octra): font selection for text editor document generator #35: Commit eface40 pushed by julianpoemp
October 18, 2023 05:51 1m 18s main
main
October 18, 2023 05:51 1m 18s
feat(octra): font selection for text editor Static Packages #33: Commit eface40 pushed by julianpoemp
October 18, 2023 05:51 2m 42s main
main
October 18, 2023 05:51 2m 42s
pages build and deployment pages-build-deployment #29: by github-pages bot
October 13, 2023 10:59 42s gh-pages
gh-pages
October 13, 2023 10:59 42s
feat(octra): relative timestamps for logging Static Packages #32: Commit ca84630 pushed by julianpoemp
October 13, 2023 10:57 3m 52s main
main
October 13, 2023 10:57 3m 52s
feat(octra): relative timestamps for logging document generator #34: Commit ca84630 pushed by julianpoemp
October 13, 2023 10:57 1m 27s main
main
October 13, 2023 10:57 1m 27s
pages build and deployment pages-build-deployment #28: by github-pages bot
October 12, 2023 20:11 40s gh-pages
gh-pages
October 12, 2023 20:11 40s
feat(octra): add maus language selection from v1.4.next document generator #33: Commit ec432a6 pushed by julianpoemp
October 12, 2023 20:10 1m 29s main
main
October 12, 2023 20:10 1m 29s
feat(octra): add maus language selection from v1.4.next Static Packages #31: Commit ec432a6 pushed by julianpoemp
October 12, 2023 20:10 2m 59s main
main
October 12, 2023 20:10 2m 59s
pages build and deployment pages-build-deployment #27: by github-pages bot
October 12, 2023 10:02 38s gh-pages
gh-pages
October 12, 2023 10:02 38s
ProTip! You can narrow down the results and go further in time using created:<2023-10-12 or the other filters available.