Skip to content

Actions: logic-ng/LogicNG

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 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
prevent unnecessary formula creation in UnsatCoreComputation build #501: Commit 4724546 pushed by SHildebrandt
18m 34s feature/performance-optimizations
feature/performance-optimizations
18m 34s
prevent unnecessary formula creation in UnsatCoreComputation build #500: Commit e9f6b8a pushed by SHildebrandt
20m 31s feature/performance-optimizations
feature/performance-optimizations
20m 31s
fix workflow step name build #499: Commit 29a8dc5 pushed by SHildebrandt
19m 2s development
development
19m 2s
fix workflow step name build #498: Commit 29a8dc5 pushed by SHildebrandt
17m 43s master
master
17m 43s
Updated README build #497: Commit 8e56509 pushed by czengler
17m 41s v2.6.1
v2.6.1
17m 41s
Updated README build #496: Commit 8e56509 pushed by czengler
16m 31s master
master
16m 31s
update publish profile build #495: Commit 667d871 pushed by SHildebrandt
15m 46s master
master
15m 46s
update some dependencies + version 2.6.1 build #494: Commit 8bcea81 pushed by SHildebrandt
17m 44s master
master
17m 44s
update codecov action version build #493: Commit b3c242d pushed by SHildebrandt
16m 50s master
master
16m 50s
update build workflow build #492: Commit bf42b8b pushed by SHildebrandt
16m 42s master
master
16m 42s
change log for 2.6.1 build #491: Commit 29c2c54 pushed by SHildebrandt
31s master
master
31s
bugfix for some edge case cardinality constraint which caused DRUP to… build #490: Commit 09fd0ea pushed by SHildebrandt
1m 12s development
development
1m 12s
Fix problematic literal hashing function build #489: Commit 6023d0b pushed by matthias-jugan
31m 54s development
development
31m 54s
Bump org.assertj:assertj-core from 3.25.3 to 3.27.7 build #488: Pull request #57 opened by dependabot Bot
37m 53s dependabot/maven/org.assertj-assertj-core-3.27.7
dependabot/maven/org.assertj-assertj-core-3.27.7
37m 53s
Bump org.assertj:assertj-core from 3.25.3 to 3.27.7 build #487: Commit 4509376 pushed by dependabot Bot
35m 46s dependabot/maven/org.assertj-assertj-core-3.27.7
dependabot/maven/org.assertj-assertj-core-3.27.7
35m 46s
maven in /. for org.assertj:assertj-core - Update #1221628586 Dependabot Updates #1: by dependabot Bot
29s master
master
29s
remove some superfluous code in the DTree generation build #486: Commit 0851706 pushed by SHildebrandt
50m 16s development
development
50m 16s
remove some superfluous code in the DTree generation build #485: Commit 4a628a1 pushed by SHildebrandt
46m 17s development
development
46m 17s
Merge pull request #55 from logic-ng/development build #484: Commit 47d1db3 pushed by czengler
26m 26s development
development
26m 26s