Skip to content

Actions: SoftVarE-Group/d-dnnf-reasoner

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
861 workflow runs
861 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: unify input/output files Portable #152: Commit 9b11332 pushed by uulm-janbaudisch
September 20, 2024 20:21 1m 14s refactor-io
refactor-io
September 20, 2024 20:21 1m 14s
refactor: unify input/output files Container #162: Commit 92cf68e pushed by uulm-janbaudisch
August 28, 2024 17:19 2h 38m 2s refactor-io
refactor-io
August 28, 2024 17:19 2h 38m 2s
refactor: unify input/output files CI #180: Commit 92cf68e pushed by uulm-janbaudisch
August 28, 2024 17:19 2h 45m 47s refactor-io
refactor-io
August 28, 2024 17:19 2h 45m 47s
refactor: unify input/output files Portable #151: Commit 92cf68e pushed by uulm-janbaudisch
August 28, 2024 17:19 17m 27s refactor-io
refactor-io
August 28, 2024 17:19 17m 27s
refactor: unify input/output files Python #62: Commit 92cf68e pushed by uulm-janbaudisch
August 28, 2024 17:19 36m 48s refactor-io
refactor-io
August 28, 2024 17:19 36m 48s
refactor: unify input/output files Kotlin #59: Commit 92cf68e pushed by uulm-janbaudisch
August 28, 2024 17:19 2h 11m 6s refactor-io
refactor-io
August 28, 2024 17:19 2h 11m 6s
Merge pull request #37 from SoftVarE-Group/fix-parallel-compiling Python #61: Commit c4ba0ba pushed by uulm-janbaudisch
August 28, 2024 17:11 26m 58s main
main
August 28, 2024 17:11 26m 58s
Merge pull request #37 from SoftVarE-Group/fix-parallel-compiling Portable #150: Commit c4ba0ba pushed by uulm-janbaudisch
August 28, 2024 17:11 15m 17s main
main
August 28, 2024 17:11 15m 17s
Merge pull request #37 from SoftVarE-Group/fix-parallel-compiling Kotlin #58: Commit c4ba0ba pushed by uulm-janbaudisch
August 28, 2024 17:11 1h 52m 29s main
main
August 28, 2024 17:11 1h 52m 29s
Merge pull request #37 from SoftVarE-Group/fix-parallel-compiling Container #161: Commit c4ba0ba pushed by uulm-janbaudisch
August 28, 2024 17:11 2h 31m 26s main
main
August 28, 2024 17:11 2h 31m 26s
Merge pull request #37 from SoftVarE-Group/fix-parallel-compiling CI #179: Commit c4ba0ba pushed by uulm-janbaudisch
August 28, 2024 17:11 2h 34m 22s main
main
August 28, 2024 17:11 2h 34m 22s
fix(parser): use temporary file for compiling CNFs to d-DNNFs CI #178: Commit e16d064 pushed by uulm-janbaudisch
August 28, 2024 14:05 2h 33m 44s fix-parallel-compiling
fix-parallel-compiling
August 28, 2024 14:05 2h 33m 44s
fix(parser): use temporary file for compiling CNFs to d-DNNFs Kotlin #57: Commit e16d064 pushed by uulm-janbaudisch
August 28, 2024 14:05 1h 58m 9s fix-parallel-compiling
fix-parallel-compiling
August 28, 2024 14:05 1h 58m 9s
fix(parser): use temporary file for compiling CNFs to d-DNNFs Container #160: Commit e16d064 pushed by uulm-janbaudisch
August 28, 2024 14:05 2h 38m 42s fix-parallel-compiling
fix-parallel-compiling
August 28, 2024 14:05 2h 38m 42s
fix(parser): use temporary file for compiling CNFs to d-DNNFs Python #60: Commit e16d064 pushed by uulm-janbaudisch
August 28, 2024 14:05 11m 48s fix-parallel-compiling
fix-parallel-compiling
August 28, 2024 14:05 11m 48s
fix(parser): use temporary file for compiling CNFs to d-DNNFs Portable #149: Commit e16d064 pushed by uulm-janbaudisch
August 28, 2024 14:05 14m 13s fix-parallel-compiling
fix-parallel-compiling
August 28, 2024 14:05 14m 13s
refactor: unify input/output files Container #159: Commit 6b0a1c9 pushed by uulm-janbaudisch
August 27, 2024 20:48 14m 43s refactor-io
refactor-io
August 27, 2024 20:48 14m 43s
refactor: unify input/output files Python #59: Commit 6b0a1c9 pushed by uulm-janbaudisch
August 27, 2024 20:48 11m 27s refactor-io
refactor-io
August 27, 2024 20:48 11m 27s
refactor: unify input/output files Portable #148: Commit 6b0a1c9 pushed by uulm-janbaudisch
August 27, 2024 20:48 15m 55s refactor-io
refactor-io
August 27, 2024 20:48 15m 55s
refactor: unify input/output files Kotlin #56: Commit 6b0a1c9 pushed by uulm-janbaudisch
August 27, 2024 20:48 15m 45s refactor-io
refactor-io
August 27, 2024 20:48 15m 45s
refactor: unify input/output files CI #177: Commit 6b0a1c9 pushed by uulm-janbaudisch
August 27, 2024 20:48 23m 16s refactor-io
refactor-io
August 27, 2024 20:48 23m 16s
refactor: unify input/output files Python #58: Commit 649b9fa pushed by uulm-janbaudisch
August 27, 2024 20:43 3m 33s refactor-io
refactor-io
August 27, 2024 20:43 3m 33s
refactor: unify input/output files Kotlin #55: Commit 649b9fa pushed by uulm-janbaudisch
August 27, 2024 20:43 3m 26s refactor-io
refactor-io
August 27, 2024 20:43 3m 26s
refactor: unify input/output files Portable #147: Commit 649b9fa pushed by uulm-janbaudisch
August 27, 2024 20:43 2m 21s refactor-io
refactor-io
August 27, 2024 20:43 2m 21s
refactor: unify input/output files Container #158: Commit 649b9fa pushed by uulm-janbaudisch
August 27, 2024 20:43 1m 33s refactor-io
refactor-io
August 27, 2024 20:43 1m 33s