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

Update to new d4 version with projected d-DNNF compilation (#43) Container #185: Commit b1ea2e0 pushed by uulm-janbaudisch
December 9, 2024 11:07 3h 38m 57s main
main
December 9, 2024 11:07 3h 38m 57s
Update to new d4 version with projected d-DNNF compilation (#43) Kotlin #82: Commit b1ea2e0 pushed by uulm-janbaudisch
December 9, 2024 11:07 2h 45m 26s main
main
December 9, 2024 11:07 2h 45m 26s
Update to new d4 version with projected d-DNNF compilation (#43) Python #85: Commit b1ea2e0 pushed by uulm-janbaudisch
December 9, 2024 11:07 13m 37s main
main
December 9, 2024 11:07 13m 37s
Update to new d4 version with projected d-DNNF compilation (#43) CI #203: Commit b1ea2e0 pushed by uulm-janbaudisch
December 9, 2024 11:07 3h 33m 33s main
main
December 9, 2024 11:07 3h 33m 33s
fix(kotlin): export projected file loading for both variants Python #84: Commit 8970abd pushed by uulm-janbaudisch
December 9, 2024 08:05 13m 27s pd4
pd4
December 9, 2024 08:05 13m 27s
fix(kotlin): export projected file loading for both variants CI #202: Commit 8970abd pushed by uulm-janbaudisch
December 9, 2024 08:05 3h 26m 10s pd4
pd4
December 9, 2024 08:05 3h 26m 10s
fix(kotlin): export projected file loading for both variants Container #184: Commit 8970abd pushed by uulm-janbaudisch
December 9, 2024 08:05 3h 24m 27s pd4
pd4
December 9, 2024 08:05 3h 24m 27s
fix(kotlin): export projected file loading for both variants Kotlin #81: Commit 8970abd pushed by uulm-janbaudisch
December 9, 2024 08:05 2h 41m 40s pd4
pd4
December 9, 2024 08:05 2h 41m 40s
fix(nix): macos static gmp CI #201: Commit d761e3c pushed by uulm-janbaudisch
December 8, 2024 21:16 3h 36m 54s pd4
pd4
December 8, 2024 21:16 3h 36m 54s
fix(nix): macos static gmp Kotlin #80: Commit d761e3c pushed by uulm-janbaudisch
December 8, 2024 21:16 2h 48m 35s pd4
pd4
December 8, 2024 21:16 2h 48m 35s
fix(nix): macos static gmp Container #183: Commit d761e3c pushed by uulm-janbaudisch
December 8, 2024 21:16 3h 25m 25s pd4
pd4
December 8, 2024 21:16 3h 25m 25s
fix(nix): macos static gmp Python #83: Commit d761e3c pushed by uulm-janbaudisch
December 8, 2024 21:16 13m 23s pd4
pd4
December 8, 2024 21:16 13m 23s
fix(nix): windows d4 build CI #200: Commit d856d1d pushed by uulm-janbaudisch
December 8, 2024 20:51 25m 20s pd4
pd4
December 8, 2024 20:51 25m 20s
fix(nix): windows d4 build Container #182: Commit d856d1d pushed by uulm-janbaudisch
December 8, 2024 20:51 25m 24s pd4
pd4
December 8, 2024 20:51 25m 24s
fix(nix): windows d4 build Python #82: Commit d856d1d pushed by uulm-janbaudisch
December 8, 2024 20:51 14m 10s pd4
pd4
December 8, 2024 20:51 14m 10s
fix(nix): windows d4 build Kotlin #79: Commit d856d1d pushed by uulm-janbaudisch
December 8, 2024 20:51 25m 29s pd4
pd4
December 8, 2024 20:51 25m 29s
Merge pull request #42 from SoftVarE-Group/macos-15 Python #81: Commit e43f7c6 pushed by uulm-janbaudisch
December 3, 2024 10:39 15m 23s main
main
December 3, 2024 10:39 15m 23s
Merge pull request #42 from SoftVarE-Group/macos-15 Kotlin #78: Commit e43f7c6 pushed by uulm-janbaudisch
December 3, 2024 10:39 1h 52m 2s main
main
December 3, 2024 10:39 1h 52m 2s
Merge pull request #42 from SoftVarE-Group/macos-15 Container #181: Commit e43f7c6 pushed by uulm-janbaudisch
December 3, 2024 10:39 2h 48m 46s main
main
December 3, 2024 10:39 2h 48m 46s
Merge pull request #42 from SoftVarE-Group/macos-15 CI #199: Commit e43f7c6 pushed by uulm-janbaudisch
December 3, 2024 10:39 2h 33m 44s main
main
December 3, 2024 10:39 2h 33m 44s
fix(nix): disable doc-tests on aarch64-{darwin, linux} CI #198: Commit 9e33985 pushed by uulm-janbaudisch
December 3, 2024 06:49 2h 38m 34s macos-15
macos-15
December 3, 2024 06:49 2h 38m 34s
fix(nix): disable doc-tests on aarch64-{darwin, linux} Python #80: Commit 9e33985 pushed by uulm-janbaudisch
December 3, 2024 06:49 12m 17s macos-15
macos-15
December 3, 2024 06:49 12m 17s
fix(nix): disable doc-tests on aarch64-{darwin, linux} Container #180: Commit 9e33985 pushed by uulm-janbaudisch
December 3, 2024 06:49 2h 31m 5s macos-15
macos-15
December 3, 2024 06:49 2h 31m 5s
fix(nix): disable doc-tests on aarch64-{darwin, linux} Kotlin #77: Commit 9e33985 pushed by uulm-janbaudisch
December 3, 2024 06:49 1h 52m 0s macos-15
macos-15
December 3, 2024 06:49 1h 52m 0s
fix(nix): disable doc-tests on aarch64-{darwin, linux} Container #179: Commit 144954b pushed by uulm-janbaudisch
December 3, 2024 06:32 17m 12s macos-15
macos-15
December 3, 2024 06:32 17m 12s