Skip to content

Actions: LearnLib/automatalib

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
69 workflow runs
69 workflow runs

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
commons-util: add tests for union-find classes CI #391: Commit bacc410 pushed by mtf90
19m 18s develop
develop
19m 18s
incremental: fix computation of separating words CI #390: Commit ca62eae pushed by mtf90
17m 15s develop
develop
17m 15s
mata: improve handling of newlines CI #389: Commit 99446c1 pushed by mtf90
2m 40s develop
develop
2m 40s
mata: do not require state type for parsing CI #388: Commit c371af4 pushed by mtf90
16m 26s develop
develop
16m 26s
remove 'basic' archetype CI #387: Commit 2b9e179 pushed by mtf90
18m 1s develop
develop
18m 1s
[maven-release-plugin] prepare for next development iteration CI #386: Commit 116e9a6 pushed by mtf90
21m 48s develop
develop
21m 48s
[maven-release-plugin] prepare release automatalib-13.0.0 CI #385: Commit 7fe367c pushed by mtf90
17m 53s master
master
17m 53s
[maven-release-plugin] prepare for next development iteration CI #384: Commit 116e9a6 pushed by mtf90
14m 43s release
release
14m 43s
[maven-release-plugin] prepare release automatalib-13.0.0 CI #383: Commit 7fe367c pushed by mtf90
20m 44s automatalib-13.0.0
automatalib-13.0.0
20m 44s
[maven-release-plugin] prepare release automatalib-13.0.0 CI #382: Commit 7fe367c pushed by mtf90
24m 20s release
release
24m 20s
use new version scheme CI #381: Commit 3e7091b pushed by mtf90
16m 47s release
release
16m 47s
use new version scheme CI #380: Commit 3e7091b pushed by mtf90
17m 33s develop
develop
17m 33s
reduce log levels in VisualizationProvider checks CI #379: Commit e32fc6c pushed by mtf90
19m 16s develop
develop
19m 16s
incremental: return finite structures in asTransitionSystem CI #378: Commit 3fce4f0 pushed by mtf90
19m 15s develop
develop
19m 15s
aut: determinize serialization output CI #377: Commit 50168c1 pushed by mtf90
18m 42s develop
develop
18m 42s
serialization: lift constraint on model type CI #376: Commit 5425319 pushed by mtf90
20m 34s develop
develop
20m 34s
Distinguish between structural and semantic interpretations of automa… CI #375: Commit 14a09c7 pushed by mtf90
20m 12s develop
develop
20m 12s
Distinguish between structural and semantic interpretations of automata CI #374: Pull request #103 synchronize by mtf90
17m 32s mtf90:semantics
mtf90:semantics
17m 32s
serialization: get rid of some more generics CI #373: Commit a136446 pushed by mtf90
21m 7s develop
develop
21m 7s
serialization: refactor some unneeded generics CI #372: Commit 52a6cc4 pushed by mtf90
18m 41s develop
develop
18m 41s
Distinguish between structural and semantic interpretations of automata CI #371: Pull request #103 synchronize by mtf90
18m 56s mtf90:semantics
mtf90:semantics
18m 56s
Distinguish between structural and semantic interpretations of automata CI #370: Pull request #103 synchronize by mtf90
1m 8s mtf90:semantics
mtf90:semantics
1m 8s
Distinguish between structural and semantic interpretations of automata CI #369: Pull request #103 synchronize by mtf90
1m 3s mtf90:semantics
mtf90:semantics
1m 3s
remove DFAs#minimize CI #368: Commit edbbaaa pushed by mtf90
18m 43s develop
develop
18m 43s
commons/util: add documentation CI #367: Commit 0656167 pushed by mtf90
19m 50s develop
develop
19m 50s