Skip to content

Actions: SoftVarE-Group/d-dnnf-reasoner

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
819 workflow runs
819 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat(ci): re-enable macos python builds CI #459: Commit 0c6160d pushed by uulm-janbaudisch
10m 47s main
main
10m 47s
feat(ci): re-enable macos python builds Benchmark #92: Commit 0c6160d pushed by uulm-janbaudisch
11m 38s main
main
11m 38s
Update Nix to 26.05 Benchmark #91: Pull request #108 closed by uulm-janbaudisch
14s update
update
14s
Update Nix to 26.05 Benchmark #90: Pull request #108 opened by uulm-janbaudisch
10m 21s update
update
10m 21s
feat(ci): re-enable macos python builds CI #458: Commit e57ec57 pushed by uulm-janbaudisch
9m 6s update
update
9m 6s
feat(nix): update to 26.05 CI #457: Commit 525fbb6 pushed by uulm-janbaudisch
25m 20s update
update
25m 20s
feat(nix): update to 26.05 CI #456: Commit 869de1c pushed by uulm-janbaudisch
4m 13s update
update
4m 13s
Make Determinism a Runtime Option Benchmark #89: Pull request #104 synchronize by uulm-janbaudisch
11m 20s deterministic-flag
deterministic-flag
11m 20s
feat: make determinism a runtime flag CI #455: Commit fd3cebf pushed by uulm-janbaudisch
18m 25s deterministic-flag
deterministic-flag
18m 25s
Make Determinism a Runtime Option Benchmark #88: Pull request #104 synchronize by uulm-janbaudisch
9m 40s deterministic-flag
deterministic-flag
9m 40s
feat: make determinism a runtime flag Container #430: Commit 2fc0e0e pushed by uulm-janbaudisch
2m 46s deterministic-flag
deterministic-flag
2m 46s
feat: make determinism a runtime flag Python #330: Commit 2fc0e0e pushed by uulm-janbaudisch
3m 57s deterministic-flag
deterministic-flag
3m 57s
feat: make determinism a runtime flag CI #454: Commit 2fc0e0e pushed by uulm-janbaudisch
4m 5s deterministic-flag
deterministic-flag
4m 5s
feat: make determinism a runtime flag Kotlin #327: Commit 2fc0e0e pushed by uulm-janbaudisch
4m 15s deterministic-flag
deterministic-flag
4m 15s
Unify CI Workflows Benchmark #87: Pull request #107 closed by uulm-janbaudisch
9s ci-unify
ci-unify
9s
refactor(ci): unify workflows Benchmark #86: Commit 3a40c41 pushed by uulm-janbaudisch
2m 22s main
main
2m 22s
refactor(ci): unify workflows CI #453: Commit 3a40c41 pushed by uulm-janbaudisch
4m 0s main
main
4m 0s
Unify CI Workflows Benchmark #85: Pull request #107 synchronize by uulm-janbaudisch
7m 2s ci-unify
ci-unify
7m 2s
refactor(ci): unify workflows CI #452: Commit 075b8c2 pushed by uulm-janbaudisch
3m 45s ci-unify
ci-unify
3m 45s
Make Determinism a Runtime Option Benchmark #84: Pull request #104 synchronize by uulm-janbaudisch
14m 0s deterministic-flag
deterministic-flag
14m 0s
feat: make determinism a runtime flag Python #329: Commit 9265768 pushed by uulm-janbaudisch
2m 54s deterministic-flag
deterministic-flag
2m 54s
feat: make determinism a runtime flag CI #451: Commit 9265768 pushed by uulm-janbaudisch
12m 32s deterministic-flag
deterministic-flag
12m 32s
feat: make determinism a runtime flag Container #429: Commit 9265768 pushed by uulm-janbaudisch
3m 30s deterministic-flag
deterministic-flag
3m 30s
feat: make determinism a runtime flag Kotlin #326: Commit 9265768 pushed by uulm-janbaudisch
22m 8s deterministic-flag
deterministic-flag
22m 8s
Unify CI Workflows Benchmark #83: Pull request #107 synchronize by uulm-janbaudisch
1m 47s ci-unify
ci-unify
1m 47s