Skip to content

Actions: LearnLib/automatalib

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
140 workflow runs
140 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Serialization Overhaul (#81)
CI #232: Commit 661e5de pushed by mtf90
August 5, 2024 12:21 14m 35s develop
August 5, 2024 12:21 14m 35s
taf cleanups
CI #231: Commit 34e6a5d pushed by mtf90
August 5, 2024 11:46 14m 13s serialization-overhaul
August 5, 2024 11:46 14m 13s
overhaul serizalition code
CI #230: Commit 5b9f3c9 pushed by mtf90
August 2, 2024 18:06 15m 33s serialization-overhaul
August 2, 2024 18:06 15m 33s
serialization/aut: use semantically correct assertEquals order
CI #229: Commit c186e65 pushed by mtf90
July 30, 2024 18:14 15m 29s develop
July 30, 2024 18:14 15m 29s
make symbolic values type-aware
CI #228: Commit 149aad9 pushed by mtf90
July 9, 2024 14:48 1m 32s ralib-reintegration
July 9, 2024 14:48 1m 32s
Add trim and reverse methods for NFAs
CI #227: Pull request #73 synchronize by mtf90
May 26, 2024 20:57 15m 0s jn1z:trim_automata
May 26, 2024 20:57 15m 0s
May 16, 2024 22:50 15m 46s
Improve handling of confluent states in DAG builders
CI #225: Pull request #80 opened by mtf90
May 16, 2024 22:21 15m 4s mtf90:issue79
May 16, 2024 22:21 15m 4s
fix bug in AllCombinationsIterator
CI #224: Commit af4a3af pushed by mtf90
April 30, 2024 23:07 14m 12s develop
April 30, 2024 23:07 14m 12s
ci: bump versions and OSes
CI #223: Commit 6a351cd pushed by mtf90
April 29, 2024 12:36 2m 2s develop
April 29, 2024 12:36 2m 2s
fix bug in SBAView
CI #222: Commit 0320896 pushed by mtf90
April 29, 2024 11:28 2m 28s develop
April 29, 2024 11:28 2m 28s
Overhaul powersetViews (#78)
CI #221: Commit 519d569 pushed by mtf90
March 29, 2024 21:44 14m 13s develop
March 29, 2024 21:44 14m 13s
Overhaul powersetViews
CI #220: Pull request #78 synchronize by mtf90
March 29, 2024 21:17 14m 11s mtf90:powerset-overhaul
March 29, 2024 21:17 14m 11s
Overhaul powersetViews
CI #219: Pull request #78 opened by mtf90
March 29, 2024 20:48 15m 14s mtf90:powerset-overhaul
March 29, 2024 20:48 15m 14s
cleaning up some type definitions
CI #218: Commit 398e863 pushed by mtf90
March 15, 2024 00:08 1m 29s ralib-reintegration
March 15, 2024 00:08 1m 29s
some RMM experimentation
CI #217: Commit 7c09476 pushed by mtf90
March 13, 2024 19:31 1m 29s ralib-reintegration
March 13, 2024 19:31 1m 29s
initial code import
CI #216: Commit 2776240 pushed by mtf90
March 11, 2024 17:31 1m 27s ralib-reintegration
March 11, 2024 17:31 1m 27s
allow non-deterministic targets in FSABuilder
CI #215: Commit c92bc1a pushed by mtf90
March 8, 2024 20:08 15m 6s develop
March 8, 2024 20:08 15m 6s
cleanup optional dependency definitions
CI #214: Commit 1cfe9b3 pushed by mtf90
February 25, 2024 18:14 13m 35s develop
February 25, 2024 18:14 13m 35s
invoker-plugin: install before testing
CI #213: Commit cc2e217 pushed by mtf90
February 25, 2024 17:39 2m 5s develop
February 25, 2024 17:39 2m 5s
Add jlink integration test (#75)
CI #212: Commit ab89037 pushed by mtf90
February 25, 2024 16:00 13m 5s develop
February 25, 2024 16:00 13m 5s
Add jlink integration test
CI #211: Pull request #75 opened by mtf90
February 25, 2024 15:42 14m 24s mtf90:jlink-it
February 25, 2024 15:42 14m 24s
cleanups
CI #210: Commit 484d3bf pushed by mtf90
February 19, 2024 21:15 13m 15s develop
February 19, 2024 21:15 13m 15s
bump ADDlib version
CI #209: Commit 70d2126 pushed by mtf90
February 15, 2024 17:27 14m 26s develop
February 15, 2024 17:27 14m 26s
Cleanup reported javadoc warnings (#72)
CI #208: Commit be533d4 pushed by mtf90
February 9, 2024 19:09 15m 28s develop
February 9, 2024 19:09 15m 28s