Skip to content

Actions: SoftVarE-Group/d-dnnf-reasoner

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
998 workflow runs
998 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(dependencies): update nom CI #234: Commit c36f883 pushed by uulm-janbaudisch
January 31, 2025 18:10 1m 0s main
main
January 31, 2025 18:10 1m 0s
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(dependencies): update nom Kotlin #113: Commit c36f883 pushed by uulm-janbaudisch
January 31, 2025 18:10 14m 46s main
main
January 31, 2025 18:10 14m 46s
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
feat(ci): change nix actions Kotlin #112: Commit c1c0b42 pushed by uulm-janbaudisch
January 31, 2025 12:08 10m 18s main
main
January 31, 2025 12:08 10m 18s
feat(ci): change nix actions CI #233: Commit c1c0b42 pushed by uulm-janbaudisch
January 31, 2025 12:08 29m 21s main
main
January 31, 2025 12:08 29m 21s
feat(ci): change nix actions Container #215: Commit c1c0b42 pushed by uulm-janbaudisch
January 31, 2025 12:08 16m 36s main
main
January 31, 2025 12:08 16m 36s
fix(container): add tmp directory for cnf compilation (#51) CI #232: Commit cd8e640 pushed by uulm-janbaudisch
January 31, 2025 09:09 26m 25s main
main
January 31, 2025 09:09 26m 25s
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 (#51) Container #214: Commit cd8e640 pushed by uulm-janbaudisch
January 31, 2025 09:09 17m 59s main
main
January 31, 2025 09:09 17m 59s
fix(container): add tmp directory for cnf compilation (#51) Kotlin #111: Commit cd8e640 pushed by uulm-janbaudisch
January 31, 2025 09:09 29m 8s main
main
January 31, 2025 09:09 29m 8s
fix(container): add tmp directory for cnf compilation Kotlin #110: Commit 1f4dc59 pushed by uulm-janbaudisch
January 31, 2025 08:37 22m 46s container-tmp
container-tmp
January 31, 2025 08:37 22m 46s
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
fix(container): add tmp directory for cnf compilation CI #231: Commit 1f4dc59 pushed by uulm-janbaudisch
January 31, 2025 08:37 26m 49s container-tmp
container-tmp
January 31, 2025 08:37 26m 49s
fix(container): add tmp directory for cnf compilation Container #213: Commit 1f4dc59 pushed by uulm-janbaudisch
January 31, 2025 08:37 18m 18s container-tmp
container-tmp
January 31, 2025 08:37 18m 18s
feat: refactor statistics to create serialisable data structures (#49) Kotlin #109: Commit 63cdf51 pushed by uulm-janbaudisch
January 30, 2025 08:37 28m 8s main
main
January 30, 2025 08:37 28m 8s
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 (#49) Container #212: Commit 63cdf51 pushed by uulm-janbaudisch
January 30, 2025 08:37 17m 15s main
main
January 30, 2025 08:37 17m 15s
feat: refactor statistics to create serialisable data structures (#49) CI #230: Commit 63cdf51 pushed by uulm-janbaudisch
January 30, 2025 08:37 26m 20s main
main
January 30, 2025 08:37 26m 20s
feat: refactor statistics to create serialisable data structures Kotlin #108: Commit 3822ecb pushed by uulm-janbaudisch
January 27, 2025 21:01 22m 17s heuristics-command
heuristics-command
January 27, 2025 21:01 22m 17s
feat: refactor statistics to create serialisable data structures Container #211: Commit 3822ecb pushed by uulm-janbaudisch
January 27, 2025 21:01 18m 30s heuristics-command
heuristics-command
January 27, 2025 21:01 18m 30s
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 CI #229: Commit 3822ecb pushed by uulm-janbaudisch
January 27, 2025 21:01 32m 6s heuristics-command
heuristics-command
January 27, 2025 21:01 32m 6s
feat: refactor statistics to create serialisable data structures CI #228: Commit d21cfa9 pushed by uulm-janbaudisch
January 27, 2025 20:59 54s heuristics-command
heuristics-command
January 27, 2025 20:59 54s
feat: refactor statistics to create serialisable data structures Container #210: Commit d21cfa9 pushed by uulm-janbaudisch
January 27, 2025 20:59 1m 25s heuristics-command
heuristics-command
January 27, 2025 20:59 1m 25s