Skip to content

Actions: SoftVarE-Group/d-dnnf-reasoner

Actions

Container

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Container.yaml
222 workflow runs
222 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(nix): disable clippy check for now Container #22: Commit ae02e32 pushed by uulm-janbaudisch
May 30, 2024 23:27 1m 56s improve-t-wise
improve-t-wise
May 30, 2024 23:27 1m 56s
fix(t-wise): add missing literal in zipping merger test Container #21: Commit 28b1ce4 pushed by uulm-janbaudisch
May 30, 2024 23:11 10m 18s improve-t-wise
improve-t-wise
May 30, 2024 23:11 10m 18s
fix(t-wise): add missing literal in zipping merger test Container #20: Commit e26ed9e pushed by uulm-janbaudisch
May 30, 2024 23:08 4m 44s improve-t-wise
improve-t-wise
May 30, 2024 23:08 4m 44s
feat(t-wise): only consider valid interactions Container #19: Commit f6a1b80 pushed by uulm-janbaudisch
May 30, 2024 12:58 4m 37s improve-t-wise
improve-t-wise
May 30, 2024 12:58 4m 37s
feat(t-wise): only consider valid interactions Container #18: Commit 39962e6 pushed by uulm-janbaudisch
May 29, 2024 23:49 4m 48s improve-t-wise
improve-t-wise
May 29, 2024 23:49 4m 48s
feat(t-wise): only consider valid interactions Container #17: Commit 308e9c3 pushed by uulm-janbaudisch
May 27, 2024 22:35 10m 11s improve-t-wise
improve-t-wise
May 27, 2024 22:35 10m 11s
feat(t-wise): only consider valid interactions Container #16: Commit 1711915 pushed by uulm-janbaudisch
May 27, 2024 22:32 1m 57s improve-t-wise
improve-t-wise
May 27, 2024 22:32 1m 57s
feat(t-wise): only consider valid interactions Container #15: Commit dc7f720 pushed by uulm-janbaudisch
May 27, 2024 22:26 2m 32s improve-t-wise
improve-t-wise
May 27, 2024 22:26 2m 32s
feat(ci): add portable workflow Container #14: Commit 11af252 pushed by uulm-janbaudisch
May 21, 2024 13:53 43m 55s main
main
May 21, 2024 13:53 43m 55s
feat(ci): add portable workflow Container #13: Commit c6a8fc9 pushed by uulm-janbaudisch
May 21, 2024 13:52 16m 53s main
main
May 21, 2024 13:52 16m 53s
feat(ci): add portable workflow Container #12: Commit 6559496 pushed by uulm-janbaudisch
May 21, 2024 12:04 34m 55s main
main
May 21, 2024 12:04 34m 55s
fix(doc): ddnnife spelling Container #11: Commit c66d2cd pushed by uulm-janbaudisch
May 13, 2024 16:58 4m 40s main
main
May 13, 2024 16:58 4m 40s
refactor(nix): disable checks only once Container #10: Commit b53d0bb pushed by uulm-janbaudisch
May 7, 2024 11:55 4m 40s main
main
May 7, 2024 11:55 4m 40s
Merge pull request #11 from SoftVarE-Group/issue_10 Container #9: Commit ce1c2ad pushed by SundermannC
May 7, 2024 09:30 2m 1s main
main
May 7, 2024 09:30 2m 1s
Merge branch 'main' into issue_10 Container #8: Commit 5b55433 pushed by SundermannC
May 7, 2024 08:19 2m 2s issue_10
issue_10
May 7, 2024 08:19 2m 2s
fix(ci): do not replace rust toolchain on windows Container #7: Commit cf8564f pushed by uulm-janbaudisch
May 7, 2024 07:31 1m 17s main
main
May 7, 2024 07:31 1m 17s
fix(ci): do not replace rust toolchain on windows Container #6: Commit d0938ea pushed by uulm-janbaudisch
May 7, 2024 07:21 1m 13s main
main
May 7, 2024 07:21 1m 13s
Fixes #10: Atomic-cross now discard inverted duplicates Container #5: Commit b130044 pushed by SundermannC
May 6, 2024 20:36 2m 46s issue_10
issue_10
May 6, 2024 20:36 2m 46s
Merge pull request #9 from SoftVarE-Group/nix Container #4: Commit ad90472 pushed by SundermannC
May 6, 2024 09:33 10m 54s main
main
May 6, 2024 09:33 10m 54s
Update x86_64-darwin-d4.md Container #3: Commit 689bb7c pushed by SundermannC
May 6, 2024 09:07 1m 5s nix
nix
May 6, 2024 09:07 1m 5s
feat: enable nix build Container #2: Commit 38647a3 pushed by uulm-janbaudisch
May 4, 2024 20:53 1m 8s nix
nix
May 4, 2024 20:53 1m 8s
feat: enable nix build Container #1: Commit 6f9c81d pushed by uulm-janbaudisch
May 4, 2024 20:40 1m 13s nix
nix
May 4, 2024 20:40 1m 13s