Skip to content

Actions: LearnLib/learnlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
183 workflow runs
183 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add equivalence oracles based on k-way state/transition coverage CI #249: Pull request #156 opened by mtf90
22m 19s mtf90:kway
mtf90:kway
22m 19s
Sparse Learner CI #248: Pull request #152 synchronize by mtf90
20m 49s stateMachinist:sparse
stateMachinist:sparse
20m 49s
Sparse Learner CI #247: Pull request #152 synchronize by mtf90
20m 17s stateMachinist:sparse
stateMachinist:sparse
20m 17s
Implementation for learning MMLTs, new model for collecting statistic… CI #244: Commit f278465 pushed by mtf90
21m 50s develop
develop
21m 50s
Push on develop CodeQL #86: by mtf90
2m 4s develop
develop
2m 4s
Implementation for learning MMLTs, new model for collecting statistics CI #243: Pull request #153 synchronize by mtf90
21m 12s pdev55:local_timer_mealy
pdev55:local_timer_mealy
21m 12s
Implementation for learning MMLTs, new model for collecting statistics CI #242: Pull request #153 synchronize by mtf90
21m 14s pdev55:local_timer_mealy
pdev55:local_timer_mealy
21m 14s
Implementation for learning MMLTs, new model for collecting statistics CI #241: Pull request #153 synchronize by mtf90
13m 22s pdev55:local_timer_mealy
pdev55:local_timer_mealy
13m 22s
Implementation for learning MMLTs, new model for collecting statistics CI #240: Pull request #153 synchronize by mtf90
3m 9s pdev55:local_timer_mealy
pdev55:local_timer_mealy
3m 9s
Scheduled CodeQL #85: by github-advanced-security bot
2m 3s develop
develop
2m 3s
Push on develop CodeQL #84: by mtf90
2m 8s develop
develop
2m 8s
adjust to AutomataLib refactorings CI #237: Commit 8799589 pushed by mtf90
21m 29s develop
develop
21m 29s
Scheduled CodeQL #83: by github-advanced-security bot
1m 59s develop
develop
1m 59s
Scheduled CodeQL #82: by github-advanced-security bot
2m 1s develop
develop
2m 1s
Bump ch.qos.logback:logback-core from 1.5.15 to 1.5.19 (#154) CI #223: Commit 6f85301 pushed by mtf90
21m 13s develop
develop
21m 13s
Push on develop CodeQL #81: by mtf90
1m 58s develop
develop
1m 58s
Bump ch.qos.logback:logback-core from 1.5.15 to 1.5.19 CI #222: Pull request #154 synchronize by dependabot bot
24m 39s dependabot/maven/ch.qos.logback-logback-core-1.5.19
dependabot/maven/ch.qos.logback-logback-core-1.5.19
24m 39s
Bump ch.qos.logback:logback-core from 1.5.15 to 1.5.19 CI #221: Commit 00bdc42 pushed by dependabot bot
20m 29s dependabot/maven/ch.qos.logback-logback-core-1.5.19
dependabot/maven/ch.qos.logback-logback-core-1.5.19
20m 29s
maven in / for ch.qos.logback:logback-core - Update #1161007881 Dependabot Updates #11: by dependabot bot
39s develop
develop
39s
maven in /. for ch.qos.logback:logback-core - Update #1161002101 Dependabot Updates #10: by dependabot bot
36s develop
develop
36s
Bump Java Version to 17/25 (#155) CI #220: Commit d43669b pushed by mtf90
24m 29s develop
develop
24m 29s
Push on develop CodeQL #80: by mtf90
2m 0s develop
develop
2m 0s
Bump Java Version to 17/25 CI #219: Pull request #155 synchronize by mtf90
21m 4s mtf90:java25
mtf90:java25
21m 4s
Bump Java Version to 17/25 CI #218: Pull request #155 opened by mtf90
1m 55s mtf90:java25
mtf90:java25
1m 55s
Bump ch.qos.logback:logback-core from 1.5.15 to 1.5.19 CI #217: Pull request #154 synchronize by dependabot bot
29m 27s dependabot/maven/ch.qos.logback-logback-core-1.5.19
dependabot/maven/ch.qos.logback-logback-core-1.5.19
29m 27s