Skip to content

Actions: logic-ng/LogicNG

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

preparations for release 2.4.3 + removed mattermost workflow build #433: Commit d7742af pushed by SHildebrandt
January 29, 2024 15:09 10m 12s v2.4.3-j11
v2.4.3-j11
January 29, 2024 15:09 10m 12s
preparations for release 2.4.3 + removed mattermost workflow build #432: Commit d7742af pushed by SHildebrandt
January 29, 2024 14:02 10m 38s release/j11
release/j11
January 29, 2024 14:02 10m 38s
Merge pull request #50 from franzmathauser/release/j11-bump-antlr-ver… build #431: Commit c7459d1 pushed by SHildebrandt
January 29, 2024 13:53 13m 4s release/j11
release/j11
January 29, 2024 13:53 13m 4s
remove mattermost workflow build #430: Commit 37807bc pushed by SHildebrandt
January 29, 2024 13:49 14m 49s development
development
January 29, 2024 13:49 14m 49s
Updated antlr dependencies from 4.9.3 to 4.13.1. build #429: Pull request #50 opened by franzmathauser
January 25, 2024 13:46 19m 12s franzmathauser:release/j11-bump-antlr-version
franzmathauser:release/j11-bump-antlr-version
January 25, 2024 13:46 19m 12s
finished first version of DNNF projected model enumeration build #427: Commit ef1a693 pushed by SHildebrandt
January 22, 2024 16:28 16m 48s feature/dnnf-model-enumeration
feature/dnnf-model-enumeration
January 22, 2024 16:28 16m 48s
WIP Model Enumeration of DNNF build #426: Commit 66bec63 pushed by SHildebrandt
January 18, 2024 17:00 24m 25s feature/dnnf-model-enumeration
feature/dnnf-model-enumeration
January 18, 2024 17:00 24m 25s