Skip to content

Actions: SoftVarE-Group/d-dnnf-reasoner

Actions

Python

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Python.yaml
122 workflow runs
122 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(nix): enable checks on aarch64 Python #122: Commit 89801b2 pushed by uulm-janbaudisch
February 2, 2025 13:17 6m 26s enable-checks
enable-checks
February 2, 2025 13:17 6m 26s
feat(nix): enable checks on aarch64 Python #121: Commit 44cd4c6 pushed by uulm-janbaudisch
February 2, 2025 13:05 6m 15s enable-checks
enable-checks
February 2, 2025 13:05 6m 15s
refactor(t-wise): switch from csv to newline seperated config seriali… Python #120: Commit 1488527 pushed by uulm-janbaudisch
February 1, 2025 13:31 3m 41s main
main
February 1, 2025 13:31 3m 41s
refactor(t-wise): switch from csv to newline seperated config seriali… Python #119: Commit 39e0ef1 pushed by uulm-janbaudisch
February 1, 2025 13:09 3m 49s refactort-wise-output
refactort-wise-output
February 1, 2025 13:09 3m 49s
feat(dependencies): remove serial_test (#52) Python #118: Commit af2b1d4 pushed by uulm-janbaudisch
January 31, 2025 19:08 3m 33s main
main
January 31, 2025 19:08 3m 33s
feat(dependencies): remove serial_test Python #117: Commit a3b7d8c pushed by uulm-janbaudisch
January 31, 2025 18:45 7m 5s remove-serial-test
remove-serial-test
January 31, 2025 18:45 7m 5s
feat(dependencies): update nom Python #116: Commit c36f883 pushed by uulm-janbaudisch
January 31, 2025 18:10 6m 54s main
main
January 31, 2025 18:10 6m 54s
feat(ci): change nix actions Python #115: Commit c1c0b42 pushed by uulm-janbaudisch
January 31, 2025 12:08 9m 42s main
main
January 31, 2025 12:08 9m 42s
fix(container): add tmp directory for cnf compilation (#51) Python #114: Commit cd8e640 pushed by uulm-janbaudisch
January 31, 2025 09:09 14m 7s main
main
January 31, 2025 09:09 14m 7s
fix(container): add tmp directory for cnf compilation Python #113: Commit 1f4dc59 pushed by uulm-janbaudisch
January 31, 2025 08:37 12m 25s container-tmp
container-tmp
January 31, 2025 08:37 12m 25s
feat: refactor statistics to create serialisable data structures (#49) Python #112: Commit 63cdf51 pushed by uulm-janbaudisch
January 30, 2025 08:37 4m 41s main
main
January 30, 2025 08:37 4m 41s
feat: refactor statistics to create serialisable data structures Python #111: Commit 3822ecb pushed by uulm-janbaudisch
January 27, 2025 21:01 13m 26s heuristics-command
heuristics-command
January 27, 2025 21:01 13m 26s
feat: refactor statistics to create serialisable data structures Python #110: Commit d21cfa9 pushed by uulm-janbaudisch
January 27, 2025 20:59 1m 24s heuristics-command
heuristics-command
January 27, 2025 20:59 1m 24s
feat: refactor statistics to create serialisable data structures Python #109: Commit 2942620 pushed by uulm-janbaudisch
January 27, 2025 20:20 14m 38s heuristics-command
heuristics-command
January 27, 2025 20:20 14m 38s
Merge pull request #48 from SoftVarE-Group/attribute-twise Python #108: Commit ed56a74 pushed by SundermannC
January 27, 2025 19:47 14m 9s main
main
January 27, 2025 19:47 14m 9s
feat: refactor statistics to create serialisable data structures Python #107: Commit 66d708a pushed by uulm-janbaudisch
January 27, 2025 18:14 12m 41s heuristics-command
heuristics-command
January 27, 2025 18:14 12m 41s
feat: refactor statistics to create serialisable data structures Python #106: Commit 8c4138e pushed by uulm-janbaudisch
January 27, 2025 18:09 7m 58s heuristics-command
heuristics-command
January 27, 2025 18:09 7m 58s
feat(ddnnife): add attributed d-DNNF t-wise sampling Python #105: Commit e66851b pushed by uulm-janbaudisch
January 27, 2025 13:49 29m 38s attribute-twise
attribute-twise
January 27, 2025 13:49 29m 38s
Merge pull request #45 from SoftVarE-Group/incremental Python #104: Commit 6e2b3a4 pushed by SundermannC
January 27, 2025 12:44 20m 51s main
main
January 27, 2025 12:44 20m 51s
feat(cli): add heuristics command Python #103: Commit f133cb2 pushed by uulm-janbaudisch
January 26, 2025 22:41 12m 51s heuristics-command
heuristics-command
January 26, 2025 22:41 12m 51s
feat(ddnnife): add attributed d-DNNF t-wise sampling Python #102: Commit 908712c pushed by uulm-janbaudisch
January 26, 2025 22:10 13m 55s attribute-twise
attribute-twise
January 26, 2025 22:10 13m 55s
feat(ci): use aarch64-linux runnner Python #101: Commit 02d5695 pushed by uulm-janbaudisch
January 26, 2025 20:19 10m 48s main
main
January 26, 2025 20:19 10m 48s
fix(ci): copy skopeos default container policy Python #100: Commit 0add9eb pushed by uulm-janbaudisch
January 26, 2025 19:28 24s actions-aarch64-linux
actions-aarch64-linux
January 26, 2025 19:28 24s
fix(ci): copy skopeos default container policy Python #99: Commit 04a0aee pushed by uulm-janbaudisch
January 26, 2025 19:14 11m 22s actions-aarch64-linux
actions-aarch64-linux
January 26, 2025 19:14 11m 22s
feat(ci): use aarch64-linux runnner Python #98: Commit 73ccdf3 pushed by uulm-janbaudisch
January 26, 2025 18:33 14m 54s actions-aarch64-linux
actions-aarch64-linux
January 26, 2025 18:33 14m 54s