Skip to content

Actions: LearnLib/automatalib

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
79 workflow runs
79 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add supported formalisms to serializers' documentation CI #353: Commit 1e67aff pushed by mtf90
18m 44s develop
develop
18m 44s
Add DOT parser for CFMPSs (#102) CI #352: Commit a9d0f0d pushed by mtf90
20m 11s develop
develop
20m 11s
Add DOT parser for CFMPSs CI #351: Pull request #102 synchronize by mtf90
17m 51s mtf90:cfmps-parser
mtf90:cfmps-parser
17m 51s
Add DOT parser for CFMPSs CI #350: Pull request #102 opened by mtf90
17m 47s mtf90:cfmps-parser
mtf90:cfmps-parser
17m 47s
bump m3c version CI #349: Commit 429f928 pushed by mtf90
7m 55s develop
develop
7m 55s
Clean up CF definitions (#101) CI #348: Commit fe831dd pushed by mtf90
17m 53s develop
develop
17m 53s
Clean up CF definitions CI #347: Pull request #101 synchronize by mtf90
19m 54s mtf90:cf-assert-rework
mtf90:cf-assert-rework
19m 54s
Clean up CF definitions CI #346: Pull request #101 opened by mtf90
26m 31s mtf90:cf-assert-rework
mtf90:cf-assert-rework
26m 31s
bump logback version CI #345: Commit bcaf380 pushed by mtf90
17m 55s develop
develop
17m 55s
NFAs: add Brzozowski's algorithm CI #344: Commit ef1f778 pushed by mtf90
18m 21s develop
develop
18m 21s
Add conformance test generators based on k-way state/transition cover… CI #343: Commit b8f6e96 pushed by mtf90
18m 31s develop
develop
18m 31s
Add conformance test generators based on k-way state/transition coverage CI #342: Pull request #99 synchronize by mtf90
20m 25s mtf90:kway
mtf90:kway
20m 25s
ci: replace deprecated macos image (#100) CI #341: Commit 4ed436e pushed by mtf90
19m 1s develop
develop
19m 1s
CI: replace deprecated macos image CI #340: Pull request #100 opened by mtf90
18m 28s mtf90:macos-intel
mtf90:macos-intel
18m 28s
Add conformance test generators based on k-way state/transition coverage CI #339: Pull request #99 synchronize by mtf90
4s mtf90:kway
mtf90:kway
4s
Add conformance test generators based on k-way state/transition coverage CI #338: Pull request #99 opened by mtf90
59s mtf90:kway
mtf90:kway
59s
simplify procedural implementations CI #337: Commit 3b61aee pushed by mtf90
19m 5s develop
develop
19m 5s
lassos: cleanup type information CI #336: Commit f283852 pushed by mtf90
20m 54s develop
develop
20m 54s
Add (de-)serializers for (explicit) NFAs in the .mata format CI #335: Pull request #98 synchronize by mtf90
18m 20s mtf90:mata
mtf90:mata
18m 20s
Add (de-)serializers for (explicit) NFAs in the .mata format CI #334: Pull request #98 opened by mtf90
10m 8s mtf90:mata
mtf90:mata
10m 8s
Code for Mealy machines with local timers. (#96) CI #333: Commit 13c4755 pushed by mtf90
20m 5s develop
develop
20m 5s
Code for Mealy machines with local timers. CI #332: Pull request #96 synchronize by mtf90
19m 42s pdev55:develop-local-timer-mealy
pdev55:develop-local-timer-mealy
19m 42s
Bump Java Version to 17/25 (#97) CI #322: Commit f534932 pushed by mtf90
20m 9s develop
develop
20m 9s
Bump Java Version to 17/25 CI #321: Pull request #97 synchronize by mtf90
20m 17s mtf90:java25
mtf90:java25
20m 17s
Bump Java Version to 17/25 CI #320: Pull request #97 synchronize by mtf90
6m 13s mtf90:java25
mtf90:java25
6m 13s