Skip to content

Actions: SoftVarE-Group/d4v2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
190 workflow runs
190 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(nix): remove GMP from bundled dependencies CI #106: Commit 5e50933 pushed by uulm-janbaudisch
October 20, 2024 16:16 1m 23s projected-dpll
projected-dpll
October 20, 2024 16:16 1m 23s
fix(ci): disable windows workflow for now Container #60: Commit 76e6c86 pushed by uulm-janbaudisch
October 20, 2024 15:51 22m 5s projected-dpll
projected-dpll
October 20, 2024 15:51 22m 5s
fix(ci): disable windows workflow for now CI #105: Commit 76e6c86 pushed by uulm-janbaudisch
October 20, 2024 15:51 21m 8s projected-dpll
projected-dpll
October 20, 2024 15:51 21m 8s
fix(cadical): use patches insteads of own repos Container #59: Commit e2022eb pushed by uulm-janbaudisch
October 15, 2024 10:02 44m 16s projected-dpll
projected-dpll
October 15, 2024 10:02 44m 16s
fix(cadical): use patches insteads of own repos CI #104: Commit e2022eb pushed by uulm-janbaudisch
October 15, 2024 10:02 41m 51s projected-dpll
projected-dpll
October 15, 2024 10:02 41m 51s
fix(ci): remove portable workflow Container #58: Commit bf051cc pushed by uulm-janbaudisch
October 13, 2024 20:50 21s projected-dpll
projected-dpll
October 13, 2024 20:50 21s
fix(ci): remove portable workflow CI #103: Commit bf051cc pushed by uulm-janbaudisch
October 13, 2024 20:50 34m 42s projected-dpll
projected-dpll
October 13, 2024 20:50 34m 42s
fix(nix): add zlib as build dependency Container #57: Commit 73ca37f pushed by uulm-janbaudisch
October 13, 2024 20:49 1m 41s projected-dpll
projected-dpll
October 13, 2024 20:49 1m 41s
fix(nix): add zlib as build dependency CI #102: Commit 73ca37f pushed by uulm-janbaudisch
October 13, 2024 20:49 1m 31s projected-dpll
projected-dpll
October 13, 2024 20:49 1m 31s
feat: add projected compilation CI #101: Commit 9e5d2e7 pushed by uulm-janbaudisch
October 13, 2024 20:40 9m 25s projected-dpll
projected-dpll
October 13, 2024 20:40 9m 25s
feat: add projected compilation Container #56: Commit 9e5d2e7 pushed by uulm-janbaudisch
October 13, 2024 20:40 58s projected-dpll
projected-dpll
October 13, 2024 20:40 58s
feat: add projected compilation CI #100: Commit 6c430b3 pushed by uulm-janbaudisch
October 13, 2024 20:35 5m 25s projected-dpll
projected-dpll
October 13, 2024 20:35 5m 25s
feat: add projected compilation Container #55: Commit 6c430b3 pushed by uulm-janbaudisch
October 13, 2024 20:35 12s projected-dpll
projected-dpll
October 13, 2024 20:35 12s
feat: add projected compilation CI #99: Commit 0d404a0 pushed by uulm-janbaudisch
October 13, 2024 20:28 7m 43s projected-dpll
projected-dpll
October 13, 2024 20:28 7m 43s
feat: add projected compilation Container #54: Commit 0d404a0 pushed by uulm-janbaudisch
October 13, 2024 20:28 20s projected-dpll
projected-dpll
October 13, 2024 20:28 20s
feat: add projected compilation CI #98: Commit 5db615a pushed by uulm-janbaudisch
October 13, 2024 20:22 6m 8s projected-dpll
projected-dpll
October 13, 2024 20:22 6m 8s
feat: add projected compilation Container #53: Commit 5db615a pushed by uulm-janbaudisch
October 13, 2024 20:22 24s projected-dpll
projected-dpll
October 13, 2024 20:22 24s
feat: add projected compilation CI #97: Commit a1b6130 pushed by uulm-janbaudisch
October 13, 2024 20:15 7m 34s projected-dpll
projected-dpll
October 13, 2024 20:15 7m 34s
feat: add projected compilation Container #52: Commit a1b6130 pushed by uulm-janbaudisch
October 13, 2024 20:15 17s projected-dpll
projected-dpll
October 13, 2024 20:15 17s
feat: add projected compilation Container #51: Commit dee0757 pushed by uulm-janbaudisch
October 12, 2024 21:47 14s projected-dpll
projected-dpll
October 12, 2024 21:47 14s
feat: add projected compilation CI #96: Commit dee0757 pushed by uulm-janbaudisch
October 12, 2024 21:47 2h 2m 40s projected-dpll
projected-dpll
October 12, 2024 21:47 2h 2m 40s
feat: add projected compilation CI #95: Commit 57d1721 pushed by uulm-janbaudisch
October 12, 2024 21:43 3m 43s projected-dpll
projected-dpll
October 12, 2024 21:43 3m 43s
feat: add projected compilation Container #50: Commit 57d1721 pushed by uulm-janbaudisch
October 12, 2024 21:43 17s projected-dpll
projected-dpll
October 12, 2024 21:43 17s
feat: add projected compilation CI #94: Commit f896ad9 pushed by uulm-janbaudisch
October 12, 2024 21:41 3m 6s projected-dpll
projected-dpll
October 12, 2024 21:41 3m 6s
feat: add projected compilation Container #49: Commit f896ad9 pushed by uulm-janbaudisch
October 12, 2024 21:41 3m 8s projected-dpll
projected-dpll
October 12, 2024 21:41 3m 8s