Skip to content

Actions: LearnLib/ralib

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
186 workflow runs
186 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add test case revealing non-determinacy issue CI #530: Commit 2943926 pushed by FredrikTaquist
January 21, 2025 12:18 2m 28s inequality-theory
inequality-theory
January 21, 2025 12:18 2m 28s
Bump com.diffplug.spotless:spotless-maven-plugin from 2.44.1 to 2.44.2 CI #529: Commit c0be691 pushed by kostis
January 15, 2025 13:01 2m 26s main
main
January 15, 2025 13:01 2m 26s
Bump com.google.code.gson:gson from 2.8.0 to 2.11.0 CI #528: Commit 6288864 pushed by kostis
January 13, 2025 13:06 2m 30s main
main
January 13, 2025 13:06 2m 30s
Bump com.google.code.gson:gson from 2.8.0 to 2.11.0 CI #527: Pull request #92 opened by dependabot bot
January 13, 2025 13:01 2m 28s dependabot/maven/com.google.code.gson-gson-2.11.0
dependabot/maven/com.google.code.gson-gson-2.11.0
January 13, 2025 13:01 2m 28s
Bump com.google.code.gson:gson from 2.8.0 to 2.11.0 CI #526: Commit 35c2bc0 pushed by dependabot bot
January 13, 2025 13:01 2m 28s dependabot/maven/com.google.code.gson-gson-2.11.0
dependabot/maven/com.google.code.gson-gson-2.11.0
January 13, 2025 13:01 2m 28s
Change suffix optimization to use theory-based restrictions (#81) CI #525: Commit 060382a pushed by pfg666
January 8, 2025 10:20 2m 26s main
main
January 8, 2025 10:20 2m 26s
Change suffix optimization to use theory-based restrictions CI #524: Pull request #81 synchronize by pfg666
January 8, 2025 10:13 2m 30s restricted-suffixes
restricted-suffixes
January 8, 2025 10:13 2m 30s
Merge branch 'main' into restricted-suffixes CI #523: Commit b5b8725 pushed by pfg666
January 8, 2025 10:13 2m 38s restricted-suffixes
restricted-suffixes
January 8, 2025 10:13 2m 38s
Support for constants in class analyzer (#82) CI #522: Commit 6a34069 pushed by pfg666
January 8, 2025 09:52 2m 29s main
main
January 8, 2025 09:52 2m 29s
Change suffix optimization to use theory-based restrictions CI #521: Pull request #81 synchronize by pfg666
January 8, 2025 09:46 2m 36s restricted-suffixes
restricted-suffixes
January 8, 2025 09:46 2m 36s
Merge branch 'main' into restricted-suffixes CI #520: Commit aa48c0d pushed by pfg666
January 8, 2025 09:46 2m 34s restricted-suffixes
restricted-suffixes
January 8, 2025 09:46 2m 34s
Support for constants in class analyzer CI #519: Pull request #82 synchronize by pfg666
January 8, 2025 09:45 2m 24s class-analyzer-constants
class-analyzer-constants
January 8, 2025 09:45 2m 24s
Merge branch 'main' into class-analyzer-constants CI #518: Commit ce494ff pushed by pfg666
January 8, 2025 09:45 2m 27s class-analyzer-constants
class-analyzer-constants
January 8, 2025 09:45 2m 27s
Bump com.diffplug.spotless:spotless-maven-plugin from 2.44.0 to 2.44.1 CI #517: Commit 99f6d08 pushed by kostis
January 7, 2025 19:42 2m 20s main
main
January 7, 2025 19:42 2m 20s
Bump com.diffplug.spotless:spotless-maven-plugin from 2.43.0 to 2.44.0 CI #516: Commit cfd767a pushed by kostis
January 7, 2025 13:27 2m 40s main
main
January 7, 2025 13:27 2m 40s
Bump com.google.guava:guava from 33.3.1-jre to 33.4.0-jre CI #515: Commit 170c72d pushed by kostis
December 18, 2024 00:02 2m 28s main
main
December 18, 2024 00:02 2m 28s
Bump com.github.spotbugs:spotbugs-maven-plugin from 4.8.6.5 to 4.8.6.6 CI #514: Commit bb0a16d pushed by kostis
November 12, 2024 19:01 2m 38s main
main
November 12, 2024 19:01 2m 38s
Bump org.apache.maven.plugins:maven-dependency-plugin from 3.8.0 to 3… CI #513: Commit 97b3623 pushed by kostis
October 25, 2024 20:39 2m 26s main
main
October 25, 2024 20:39 2m 26s
Bump com.github.spotbugs:spotbugs-maven-plugin from 4.8.6.4 to 4.8.6.5 CI #512: Commit d28e912 pushed by kostis
October 22, 2024 18:50 2m 19s main
main
October 22, 2024 18:50 2m 19s
Bump com.google.guava:guava from 33.3.0-jre to 33.3.1-jre CI #511: Commit 26eeedd pushed by kostis
September 24, 2024 23:33 2m 24s main
main
September 24, 2024 23:33 2m 24s
Bump com.github.spotbugs:spotbugs-maven-plugin from 4.8.6.3 to 4.8.6.4 CI #510: Commit 1935685 pushed by kostis
September 23, 2024 12:36 2m 32s main
main
September 23, 2024 12:36 2m 32s
Instantiate query stats. CI #509: Commit 583615e pushed by pfg666
September 6, 2024 20:39 1m 55s dtls-exp
dtls-exp
September 6, 2024 20:39 1m 55s
Log also on failure. CI #508: Commit ec5148b pushed by pfg666
September 6, 2024 15:13 1m 56s dtls-exp
dtls-exp
September 6, 2024 15:13 1m 56s
Bump com.github.spotbugs:spotbugs-maven-plugin from 4.8.6.2 to 4.8.6.3 CI #507: Commit c31abfd pushed by kostis
September 5, 2024 12:56 2m 32s main
main
September 5, 2024 12:56 2m 32s
Bump org.apache.commons:commons-lang3 from 3.16.0 to 3.17.0 CI #506: Commit ceb2329 pushed by kostis
August 30, 2024 13:21 2m 43s main
main
August 30, 2024 13:21 2m 43s