Skip to content

Actions: LearnLib/ralib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
899 workflow runs
899 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
Remove enum for restriction builder version codespell #1032: Commit 808765d pushed by FredrikTaquist
18s suffix-opt-eq
suffix-opt-eq
18s
Remove enum for restriction builder version CI #1027: Commit 808765d pushed by FredrikTaquist
3m 12s suffix-opt-eq
suffix-opt-eq
3m 12s
Remove code for handling suffixes that are not equality theory codespell #1031: Commit 69176b8 pushed by FredrikTaquist
15s suffix-opt-eq
suffix-opt-eq
15s
Remove code for handling suffixes that are not equality theory CI #1026: Commit 69176b8 pushed by FredrikTaquist
3m 25s suffix-opt-eq
suffix-opt-eq
3m 25s
Fix Javadoc errors codespell #1030: Commit 3e3c2b2 pushed by FredrikTaquist
14s suffix-opt-eq
suffix-opt-eq
14s
Fix Javadoc errors CI #1025: Commit 3e3c2b2 pushed by FredrikTaquist
3m 14s suffix-opt-eq
suffix-opt-eq
3m 14s
Fix minor formatting issue CI #1024: Commit b7ebb94 pushed by FredrikTaquist
2m 47s suffix-opt-eq
suffix-opt-eq
2m 47s
Fix minor formatting issue codespell #1029: Commit b7ebb94 pushed by FredrikTaquist
15s suffix-opt-eq
suffix-opt-eq
15s
Fix workflow CI #1023: Commit a883ad8 pushed by FredrikTaquist
2m 48s suffix-opt-eq
suffix-opt-eq
2m 48s
Fix workflow codespell #1028: Commit a883ad8 pushed by FredrikTaquist
14s suffix-opt-eq
suffix-opt-eq
14s
Bump org.checkerframework:checker-qual from 4.1.0 to 4.2.0 (#144) codespell #1027: Commit 438015d pushed by kostis
17s main
main
17s
Bump org.checkerframework:checker-qual from 4.1.0 to 4.2.0 (#144) CI #1022: Commit 438015d pushed by kostis
3m 58s main
main
3m 58s
Bump org.checkerframework:checker-qual from 4.1.0 to 4.2.0 CI #1021: Pull request #144 opened by dependabot Bot
4m 18s dependabot/maven/org.checkerframework-checker-qual-4.2.0
dependabot/maven/org.checkerframework-checker-qual-4.2.0
4m 18s
Bump org.checkerframework:checker-qual from 4.1.0 to 4.2.0 codespell #1026: Pull request #144 opened by dependabot Bot
16s dependabot/maven/org.checkerframework-checker-qual-4.2.0
dependabot/maven/org.checkerframework-checker-qual-4.2.0
16s
Bump org.checkerframework:checker-qual from 4.1.0 to 4.2.0 codespell #1025: Commit aa35187 pushed by dependabot Bot
14s dependabot/maven/org.checkerframework-checker-qual-4.2.0
dependabot/maven/org.checkerframework-checker-qual-4.2.0
14s
Bump org.checkerframework:checker-qual from 4.1.0 to 4.2.0 CI #1020: Commit aa35187 pushed by dependabot Bot
3m 41s dependabot/maven/org.checkerframework-checker-qual-4.2.0
dependabot/maven/org.checkerframework-checker-qual-4.2.0
3m 41s
github_actions in /. - Update #1393918461 Dependabot Updates #212: by dependabot Bot
24s main
main
24s
maven in /. - Update #1393918453 Dependabot Updates #211: by dependabot Bot
45s main
main
45s
Remove unused final codespell #1024: Commit ac3e7f8 pushed by FredrikTaquist
16s suffix-opt-eq
suffix-opt-eq
16s
Remove unused final CI #1019: Commit ac3e7f8 pushed by FredrikTaquist
Failure suffix-opt-eq
suffix-opt-eq
Failure
Remove commented out test codespell #1023: Commit f42dd25 pushed by FredrikTaquist
17s suffix-opt-eq
suffix-opt-eq
17s
Remove commented out test CI #1018: Commit f42dd25 pushed by FredrikTaquist
2m 52s suffix-opt-eq
suffix-opt-eq
2m 52s
Remove prints from palindrome test codespell #1022: Commit a678151 pushed by FredrikTaquist
15s suffix-opt-eq
suffix-opt-eq
15s
Remove prints from palindrome test CI #1017: Commit a678151 pushed by FredrikTaquist
2m 46s suffix-opt-eq
suffix-opt-eq
2m 46s
Add Palindrome unit test codespell #1021: Pull request #143 opened by pfg666
15s test/palindrome
test/palindrome
15s