Skip to content

Actions: LearnLib/automatalib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
163 workflow runs
163 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
Scheduled CodeQL #172: by github-advanced-security AI
2m 15s develop
develop
2m 15s
aut: determinize serialization output CI #377: Commit 50168c1 pushed by mtf90
18m 42s develop
develop
18m 42s
Push on develop CodeQL #171: by mtf90
2m 50s develop
develop
2m 50s
serialization: lift constraint on model type CI #376: Commit 5425319 pushed by mtf90
20m 34s develop
develop
20m 34s
Push on develop CodeQL #170: by mtf90
3m 4s develop
develop
3m 4s
Scheduled CodeQL #169: by github-advanced-security AI
2m 43s develop
develop
2m 43s
Scheduled CodeQL #168: by github-advanced-security AI
2m 48s develop
develop
2m 48s
Distinguish between structural and semantic interpretations of automa… CI #375: Commit 14a09c7 pushed by mtf90
20m 12s develop
develop
20m 12s
Push on develop CodeQL #167: by mtf90
2m 43s develop
develop
2m 43s
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
Push on develop CodeQL #166: by mtf90
2m 48s develop
develop
2m 48s
serialization: refactor some unneeded generics CI #372: Commit 52a6cc4 pushed by mtf90
18m 41s develop
develop
18m 41s
Push on develop CodeQL #165: by github-advanced-security AI
3m 4s develop
develop
3m 4s
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
Push on develop CodeQL #164: by mtf90
2m 39s develop
develop
2m 39s
commons/util: add documentation CI #367: Commit 0656167 pushed by mtf90
19m 50s develop
develop
19m 50s
Push on develop CodeQL #163: by mtf90
2m 33s develop
develop
2m 33s
Scheduled CodeQL #162: by github-advanced-security AI
2m 30s develop
develop
2m 30s
Distinguish between structural and semantic interpretations of automata CI #366: Pull request #103 synchronize by mtf90
9m 31s mtf90:semantics
mtf90:semantics
9m 31s
Distinguish between structural and semantic interpretations of automata CI #365: Pull request #103 synchronize by mtf90
19m 59s mtf90:semantics
mtf90:semantics
19m 59s
javadoc: disable metainf-services link CI #364: Commit b68d5cf pushed by mtf90
19m 56s develop
develop
19m 56s