Skip to content

Actions: LearnLib/automatalib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
152 workflow runs
152 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[maven-release-plugin] prepare for next development iteration CI #151: Commit de9c53e pushed by mtf90
November 6, 2023 11:56 18m 47s develop
develop
November 6, 2023 11:56 18m 47s
pages build and deployment pages-build-deployment #1: by mtf90
November 6, 2023 11:48 2m 49s gh-pages
gh-pages
November 6, 2023 11:48 2m 49s
CI CI #150: by mtf90
November 6, 2023 11:27 17m 26s automatalib-0.11.0
automatalib-0.11.0
November 6, 2023 11:27 17m 26s
[maven-release-plugin] prepare for next development iteration CI #149: Commit de9c53e pushed by mtf90
November 6, 2023 11:27 21m 33s release
release
November 6, 2023 11:27 21m 33s
cleanups CI #148: Commit 2375f68 pushed by mtf90
November 6, 2023 10:22 19m 3s release
release
November 6, 2023 10:22 19m 3s
cleanups CI #147: Commit 2375f68 pushed by mtf90
November 5, 2023 22:54 19m 56s develop
develop
November 5, 2023 22:54 19m 56s
fix typo CI #146: Commit 265b685 pushed by mtf90
November 5, 2023 19:31 20m 39s develop
develop
November 5, 2023 19:31 20m 39s
bump ADDlib version CI #145: Commit b64619e pushed by mtf90
November 3, 2023 17:24 18m 40s develop
develop
November 3, 2023 17:24 18m 40s
fix assemblies after update CI #144: Commit b963f7a pushed by mtf90
November 1, 2023 00:58 20m 5s develop
develop
November 1, 2023 00:58 20m 5s
share more functionality in PaigeTarjan code CI #143: Commit 4630310 pushed by mtf90
October 31, 2023 21:57 19m 27s develop
develop
October 31, 2023 21:57 19m 27s
Add comments and remove redundant code in PaigeTarjan (#60) CI #142: Commit a447acd pushed by mtf90
October 31, 2023 16:38 21m 18s develop
develop
October 31, 2023 16:38 21m 18s
Add comments and remove redundant code in PaigeTarjan CI #141: Pull request #60 synchronize by jn1z
October 31, 2023 16:13 19m 34s jn1z:develop
jn1z:develop
October 31, 2023 16:13 19m 34s
update javadoc links CI #139: Commit d7b4c35 pushed by mtf90
October 31, 2023 15:21 1m 59s develop
develop
October 31, 2023 15:21 1m 59s
Add comments and remove redundant code in PaigeTarjan CI #138: Pull request #60 synchronize by jn1z
October 31, 2023 14:10 4m 38s jn1z:develop
jn1z:develop
October 31, 2023 14:10 4m 38s
add some more package documentation CI #136: Commit 41a5b7c pushed by mtf90
October 29, 2023 20:38 18m 44s develop
develop
October 29, 2023 20:38 18m 44s
align core packages with api packages CI #135: Commit f2d097a pushed by mtf90
October 29, 2023 18:25 20m 57s develop
develop
October 29, 2023 18:25 20m 57s
use property-based profile activation CI #134: Commit 6c5ab31 pushed by mtf90
October 28, 2023 00:16 22m 11s develop
develop
October 28, 2023 00:16 22m 11s
cleanup release configuration CI #133: Commit 919984d pushed by mtf90
October 27, 2023 23:30 18m 5s develop
develop
October 27, 2023 23:30 18m 5s
[maven-release-plugin] prepare for next development iteration CI #132: Commit 979f274 pushed by mtf90
October 27, 2023 22:49 10m 58s release-test
release-test
October 27, 2023 22:49 10m 58s
[maven-release-plugin] prepare release automatalib-0.11.0-test CI #131: Commit 20508f4 pushed by mtf90
October 27, 2023 22:49 18m 59s automatalib-0.11.0-test
automatalib-0.11.0-test
October 27, 2023 22:49 18m 59s
[maven-release-plugin] prepare release automatalib-0.11.0-test CI #130: Commit 20508f4 pushed by mtf90
October 27, 2023 22:49 21m 45s release-test
release-test
October 27, 2023 22:49 21m 45s
bump ADDLib version CI #129: Commit 921ff80 pushed by mtf90
October 27, 2023 21:48 21m 25s develop
develop
October 27, 2023 21:48 21m 25s
cleanup (Idefinite)Graph interfaces CI #128: Commit af28dfa pushed by mtf90
October 27, 2023 14:48 20m 28s develop
develop
October 27, 2023 14:48 20m 28s
util: handle some more corner-cases in equivalence checks CI #127: Commit f5b56c2 pushed by mtf90
October 26, 2023 13:17 20m 31s develop
develop
October 26, 2023 13:17 20m 31s
cleanup VisualizationHelpers CI #126: Commit a7d40ba pushed by mtf90
October 23, 2023 20:44 21m 27s develop
develop
October 23, 2023 20:44 21m 27s