Skip to content

Actions: SoftVarE-Group/d-dnnf-reasoner

Actions

Container

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Container.yaml
185 workflow runs
185 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
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(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): 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
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
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} 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
fix(nix): disable doc-tests on aarch64-darwin Container #178: Commit e0d309e pushed by uulm-janbaudisch
December 2, 2024 22:49 3h 0m 53s macos-15
macos-15
December 2, 2024 22:49 3h 0m 53s
fix(nix): disable doc-tests on aarch64-darwin Container #177: Commit 8188126 pushed by uulm-janbaudisch
December 2, 2024 16:59 2h 57m 7s macos-15
macos-15
December 2, 2024 16:59 2h 57m 7s
feat(ci): use macos-15 runner Container #176: Commit ce403ff pushed by uulm-janbaudisch
December 2, 2024 16:47 14s macos-15
macos-15
December 2, 2024 16:47 14s
feat(kotlin): export projected compilation to java Container #175: Commit a4dea83 pushed by uulm-janbaudisch
December 2, 2024 14:45 4h 14m 16s pd4
pd4
December 2, 2024 14:45 4h 14m 16s
Merge pull request #41 from SoftVarE-Group/update-nix Container #174: Commit 0a4576a pushed by uulm-janbaudisch
December 1, 2024 20:33 3h 0m 57s main
main
December 1, 2024 20:33 3h 0m 57s
feat(nix): update Container #173: Commit d1b7dd9 pushed by uulm-janbaudisch
December 1, 2024 17:51 2h 43m 22s update-nix
update-nix
December 1, 2024 17:51 2h 43m 22s
feat(ci): update actions Container #172: Commit c79f630 pushed by uulm-janbaudisch
December 1, 2024 17:49 2h 45m 23s main
main
December 1, 2024 17:49 2h 45m 23s
fix(licenses): allow unicode license Container #171: Commit 3a748f0 pushed by uulm-janbaudisch
December 1, 2024 15:25 4h 14m 33s pd4
pd4
December 1, 2024 15:25 4h 14m 33s
feat(dependencies): update Container #170: Commit 231bbfa pushed by uulm-janbaudisch
December 1, 2024 15:01 24m 2s pd4
pd4
December 1, 2024 15:01 24m 2s
feat: enable projected compilation via new d4 Container #169: Commit 11862fa pushed by uulm-janbaudisch
November 29, 2024 23:33 54s pd4
pd4
November 29, 2024 23:33 54s
feat: enable projected compilation via new d4 Container #168: Commit 9aee3d5 pushed by uulm-janbaudisch
November 29, 2024 23:26 7m 58s pd4
pd4
November 29, 2024 23:26 7m 58s
feat: enable projected compilation via new d4 Container #167: Commit 8436874 pushed by uulm-janbaudisch
November 29, 2024 23:14 8m 59s pd4
pd4
November 29, 2024 23:14 8m 59s
Fixes #38 Container #166: Commit e5d5f43 pushed by SundermannC
October 27, 2024 17:27 2h 39m 18s main
main
October 27, 2024 17:27 2h 39m 18s
Merge pull request #33 from SoftVarE-Group/refactor-io Container #165: Commit ac115b7 pushed by uulm-janbaudisch
September 22, 2024 08:41 2h 38m 2s 0.8.0
0.8.0
September 22, 2024 08:41 2h 38m 2s
Merge pull request #33 from SoftVarE-Group/refactor-io Container #164: Commit ac115b7 pushed by uulm-janbaudisch
September 20, 2024 20:22 2h 45m 18s main
main
September 20, 2024 20:22 2h 45m 18s
refactor: unify input/output files Container #163: Commit 9b11332 pushed by uulm-janbaudisch
September 20, 2024 20:21 1m 10s refactor-io
refactor-io
September 20, 2024 20:21 1m 10s
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
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