Skip to content

Actions: LearnLib/ralib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
994 workflow runs
994 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix some bugs and tests codespell #948: Commit e360a58 pushed by FredrikTaquist
14s suffix-opt-eq
suffix-opt-eq
14s
fix some bugs and tests CI #943: Commit e360a58 pushed by FredrikTaquist
2m 39s suffix-opt-eq
suffix-opt-eq
2m 39s
improvements and fixes to ce analysis restrictions codespell #947: Commit f83b287 pushed by FredrikTaquist
15s suffix-opt-eq
suffix-opt-eq
15s
improvements and fixes to ce analysis restrictions CI #942: Commit f83b287 pushed by FredrikTaquist
2m 44s suffix-opt-eq
suffix-opt-eq
2m 44s
Add error prone support and perform code cleanups CI #941: Pull request #127 synchronize by kostis
3m 55s error-prone-cleanups
error-prone-cleanups
3m 55s
Add error prone support and perform code cleanups codespell #946: Pull request #127 synchronize by kostis
14s error-prone-cleanups
error-prone-cleanups
14s
Adjust a comment CI #940: Commit d35216b pushed by kostis
3m 50s error-prone-cleanups
error-prone-cleanups
3m 50s
Adjust a comment codespell #945: Commit d35216b pushed by kostis
16s error-prone-cleanups
error-prone-cleanups
16s
Consistently use SUL instead of Sul in field and most var names (#136) codespell #944: Commit ab4a817 pushed by FredrikTaquist
13s main
main
13s
Consistently use SUL instead of Sul in field and most var names (#136) CI #939: Commit ab4a817 pushed by FredrikTaquist
3m 41s main
main
3m 41s
maven in /. - Update #1245476149 Dependabot Updates #182: by dependabot bot
48s main
main
48s
github_actions in /. - Update #1245476148 Dependabot Updates #181: by dependabot bot
26s main
main
26s
spotless CI #938: Commit a4bcf96 pushed by FredrikTaquist
2m 37s suffix-opt-eq
suffix-opt-eq
2m 37s
spotless codespell #943: Commit a4bcf96 pushed by FredrikTaquist
14s suffix-opt-eq
suffix-opt-eq
14s
Consistently use SUL instead of Sul in field and most var names codespell #942: Pull request #136 opened by kostis
15s SUL
SUL
15s
Consistently use SUL instead of Sul in field and most var names CI #937: Pull request #136 opened by kostis
3m 30s SUL
SUL
3m 30s
Consistently use SUL instead of Sul in field and most var names codespell #941: Commit 46729e7 pushed by kostis
15s SUL
SUL
15s
Consistently use SUL instead of Sul in field and most var names CI #936: Commit 46729e7 pushed by kostis
3m 33s SUL
SUL
3m 33s
Bump jakarta.xml.bind:jakarta.xml.bind-api from 4.0.4 to 4.0.5 (#134) codespell #940: Commit 0c5a736 pushed by kostis
34s main
main
34s
Bump jakarta.xml.bind:jakarta.xml.bind-api from 4.0.4 to 4.0.5 (#134) CI #935: Commit 0c5a736 pushed by kostis
3m 33s main
main
3m 33s
Bump org.checkerframework:checker-qual from 3.53.0 to 3.53.1 (#135) codespell #939: Commit 06adcfc pushed by kostis
1m 55s main
main
1m 55s
Bump org.checkerframework:checker-qual from 3.53.0 to 3.53.1 (#135) CI #934: Commit 06adcfc pushed by kostis
3m 40s main
main
3m 40s
Bump org.checkerframework:checker-qual from 3.53.0 to 3.53.1 codespell #938: Pull request #135 opened by dependabot bot
12s dependabot/maven/org.checkerframework-checker-qual-3.53.1
dependabot/maven/org.checkerframework-checker-qual-3.53.1
12s
Bump org.checkerframework:checker-qual from 3.53.0 to 3.53.1 CI #933: Pull request #135 opened by dependabot bot
3m 34s dependabot/maven/org.checkerframework-checker-qual-3.53.1
dependabot/maven/org.checkerframework-checker-qual-3.53.1
3m 34s
Bump org.checkerframework:checker-qual from 3.53.0 to 3.53.1 CI #932: Commit aaa52eb pushed by dependabot bot
3m 33s dependabot/maven/org.checkerframework-checker-qual-3.53.1
dependabot/maven/org.checkerframework-checker-qual-3.53.1
3m 33s