Skip to content

Actions: LearnLib/ralib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
945 workflow runs
945 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add strat to ignore-words list CI #1142: Commit 8d49d1e pushed by FredrikTaquist
2m 36s rawp
rawp
2m 36s
Add strat to ignore-words list codespell #1147: Commit 8d49d1e pushed by FredrikTaquist
18s rawp
rawp
18s
Add Wp equivalence oracle and fix bugs codespell #1146: Commit 38d6aa1 pushed by FredrikTaquist
15s rawp
rawp
15s
Add Wp equivalence oracle and fix bugs CI #1141: Commit 38d6aa1 pushed by FredrikTaquist
3m 16s rawp
rawp
3m 16s
Bump org.checkerframework:checker-qual from 4.2.3 to 4.3.0 (#155) CI #1140: Commit 27c96dc pushed by kostis
3m 53s main
main
3m 53s
Bump org.checkerframework:checker-qual from 4.2.3 to 4.3.0 (#155) codespell #1145: Commit 27c96dc pushed by kostis
17s main
main
17s
Bump org.checkerframework:checker-qual from 4.2.3 to 4.3.0 CI #1139: Pull request #155 opened by dependabot Bot
2m 48s dependabot/maven/org.checkerframework-checker-qual-4.3.0
dependabot/maven/org.checkerframework-checker-qual-4.3.0
2m 48s
Bump org.checkerframework:checker-qual from 4.2.3 to 4.3.0 codespell #1144: Pull request #155 opened by dependabot Bot
21s dependabot/maven/org.checkerframework-checker-qual-4.3.0
dependabot/maven/org.checkerframework-checker-qual-4.3.0
21s
Bump org.checkerframework:checker-qual from 4.2.3 to 4.3.0 codespell #1143: Commit b8e4537 pushed by dependabot Bot
17s dependabot/maven/org.checkerframework-checker-qual-4.3.0
dependabot/maven/org.checkerframework-checker-qual-4.3.0
17s
Bump org.checkerframework:checker-qual from 4.2.3 to 4.3.0 CI #1138: Commit b8e4537 pushed by dependabot Bot
2m 51s dependabot/maven/org.checkerframework-checker-qual-4.3.0
dependabot/maven/org.checkerframework-checker-qual-4.3.0
2m 51s
maven in /. - Update #1610243201 Dependabot Updates #248: by dependabot Bot
55s main
main
55s
github_actions in /. - Update #1610243206 Dependabot Updates #247: by dependabot Bot
44s main
main
44s
Bump com.google.guava:guava from 33.7.1-jre to 33.7.2-jre CI #1137: Commit 9aac428 pushed by kostis
2m 37s main
main
2m 37s
Bump com.google.guava:guava from 33.7.1-jre to 33.7.2-jre codespell #1142: Commit 9aac428 pushed by kostis
15s main
main
15s
Add parition refinement algorithm and fix bugs CI #1136: Commit ca89493 pushed by FredrikTaquist
3m 23s rawp
rawp
3m 23s
Add parition refinement algorithm and fix bugs codespell #1141: Commit ca89493 pushed by FredrikTaquist
20s rawp
rawp
20s
Add IO stack automata examples CI #1135: Commit 2538887 pushed by FredrikTaquist
3m 30s rawp
rawp
3m 30s
Add IO stack automata examples codespell #1140: Commit 2538887 pushed by FredrikTaquist
12s rawp
rawp
12s
Add splitting tree implementation codespell #1139: Commit 5694f91 pushed by FredrikTaquist
19s rawp
rawp
19s
Add splitting tree implementation CI #1134: Commit 5694f91 pushed by FredrikTaquist
33s rawp
rawp
33s
Bump com.diffplug.spotless:spotless-maven-plugin from 3.10.2 to 3.10.3 CI #1133: Commit b7c7629 pushed by kostis
3m 20s main
main
3m 20s
Bump com.diffplug.spotless:spotless-maven-plugin from 3.10.2 to 3.10.3 codespell #1138: Commit b7c7629 pushed by kostis
15s main
main
15s
maven in /. - Update #1595255323 Dependabot Updates #246: by dependabot Bot
43s main
main
43s
github_actions in /. - Update #1595255314 Dependabot Updates #245: by dependabot Bot
35s main
main
35s
Fix spelling mistake codespell #1137: Commit c01e63d pushed by FredrikTaquist
15s rawp
rawp
15s