Skip to content

Actions: korpling/annis-web

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
208 workflow runs
208 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use ANNIS color for navigation bar Rust #118: Commit cf55e51 pushed by thomaskrause
March 28, 2024 18:46 2m 7s feature/frequency-analysis
feature/frequency-analysis
March 28, 2024 18:46 2m 7s
Do not use the rounded box layout Rust #117: Commit 85ef340 pushed by thomaskrause
March 28, 2024 18:34 3m 16s feature/frequency-analysis
feature/frequency-analysis
March 28, 2024 18:34 3m 16s
Add empty frequency page Rust #116: Commit 04aeefb pushed by thomaskrause
March 28, 2024 13:11 3m 6s feature/frequency-analysis
feature/frequency-analysis
March 28, 2024 13:11 3m 6s
Update to graphANNIS 3.x Rust #115: Commit a06c959 pushed by thomaskrause
March 27, 2024 15:01 2m 39s feature/update-deps
feature/update-deps
March 27, 2024 15:01 2m 39s
Merge pull request #20 from korpling/feature/fix-colors Code Coverage #89: Commit 828f584 pushed by thomaskrause
March 27, 2024 12:55 1m 41s main
main
March 27, 2024 12:55 1m 41s
Merge pull request #20 from korpling/feature/fix-colors Rust #114: Commit 828f584 pushed by thomaskrause
March 27, 2024 12:55 2m 17s main
main
March 27, 2024 12:55 2m 17s
Add more colors to the palette Release #23: Pull request #20 opened by thomaskrause
March 27, 2024 12:52 22s feature/fix-colors
feature/fix-colors
March 27, 2024 12:52 22s
Add more colors to the palette Code Coverage #88: Pull request #20 opened by thomaskrause
March 27, 2024 12:52 2m 37s feature/fix-colors
feature/fix-colors
March 27, 2024 12:52 2m 37s
Add more colors to the palette Rust #113: Commit 5486dbe pushed by thomaskrause
March 27, 2024 12:51 2m 20s feature/fix-colors
feature/fix-colors
March 27, 2024 12:51 2m 20s
Merge pull request #19 from korpling/feature/update-bulma Rust #112: Commit ef2772a pushed by thomaskrause
March 27, 2024 11:48 3m 2s main
main
March 27, 2024 11:48 3m 2s
Merge pull request #19 from korpling/feature/update-bulma Code Coverage #87: Commit ef2772a pushed by thomaskrause
March 27, 2024 11:48 3m 30s main
main
March 27, 2024 11:48 3m 30s
Update Bulma to 1.0.0 Code Coverage #86: Pull request #19 opened by thomaskrause
March 27, 2024 11:43 4m 46s feature/update-bulma
feature/update-bulma
March 27, 2024 11:43 4m 46s
Update Bulma to 1.0.0 Release #22: Pull request #19 opened by thomaskrause
March 27, 2024 11:43 21s feature/update-bulma
feature/update-bulma
March 27, 2024 11:43 21s
Fix warning Rust #111: Commit 4b724f9 pushed by thomaskrause
March 27, 2024 11:43 3m 47s feature/update-bulma
feature/update-bulma
March 27, 2024 11:43 3m 47s
Merge pull request #18 from korpling/feature/fix-github-languages Rust #110: Commit ae6bc10 pushed by thomaskrause
October 31, 2023 10:14 3m 35s main
main
October 31, 2023 10:14 3m 35s
Merge pull request #18 from korpling/feature/fix-github-languages Code Coverage #85: Commit ae6bc10 pushed by thomaskrause
October 31, 2023 10:14 1m 48s main
main
October 31, 2023 10:14 1m 48s
Ignore third party license HTML file in GitHub language overview Code Coverage #84: Pull request #18 synchronize by thomaskrause
October 31, 2023 10:10 2m 1s feature/fix-github-languages
feature/fix-github-languages
October 31, 2023 10:10 2m 1s
Ignore third party license HTML file in GitHub language overview Release #21: Pull request #18 synchronize by thomaskrause
October 31, 2023 10:10 32s feature/fix-github-languages
feature/fix-github-languages
October 31, 2023 10:10 32s
Merge branch 'main' into feature/fix-github-languages Rust #109: Commit 8c0f857 pushed by thomaskrause
October 31, 2023 10:10 3m 12s feature/fix-github-languages
feature/fix-github-languages
October 31, 2023 10:10 3m 12s
Ignore third party license HTML file in GitHub language overview Code Coverage #83: Pull request #18 opened by thomaskrause
October 31, 2023 10:10 2m 10s feature/fix-github-languages
feature/fix-github-languages
October 31, 2023 10:10 2m 10s
Ignore third party license HTML file in GitHub language overview Release #20: Pull request #18 opened by thomaskrause
October 31, 2023 10:10 26s feature/fix-github-languages
feature/fix-github-languages
October 31, 2023 10:10 26s
Ignore third party license HTML file in GitHub language overview Rust #108: Commit 9fa1032 pushed by thomaskrause
October 31, 2023 10:10 3m 26s feature/fix-github-languages
feature/fix-github-languages
October 31, 2023 10:10 3m 26s
Merge pull request #17 from korpling/feature/fix-link Code Coverage #82: Commit d981e5b pushed by thomaskrause
October 31, 2023 09:34 2m 9s main
main
October 31, 2023 09:34 2m 9s
Merge pull request #17 from korpling/feature/fix-link Rust #107: Commit d981e5b pushed by thomaskrause
October 31, 2023 09:34 2m 53s main
main
October 31, 2023 09:34 2m 53s
Fix Link label Code Coverage #81: Pull request #17 opened by thomaskrause
October 31, 2023 09:12 1m 57s feature/fix-link
feature/fix-link
October 31, 2023 09:12 1m 57s