Skip to content

Actions: SoftVarE-Group/d4v2

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
113 workflow runs
113 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add projected compilation
CI #89: Commit 50bc3ff pushed by uulm-janbaudisch
October 8, 2024 16:46 2m 30s projected-dpll
October 8, 2024 16:46 2m 30s
feat: add projected compilation
CI #88: Commit 8ca618e pushed by uulm-janbaudisch
October 8, 2024 16:44 31s projected-dpll
October 8, 2024 16:44 31s
feat(nix): add pd4 dependencies
CI #87: Commit 70d83ae pushed by uulm-janbaudisch
October 8, 2024 13:33 2m 17s projected-dpll
October 8, 2024 13:33 2m 17s
feat(nix): add pd4 dependencies
CI #86: Commit 945927b pushed by uulm-janbaudisch
September 30, 2024 08:00 1h 12m 22s projected-dpll
September 30, 2024 08:00 1h 12m 22s
August 15, 2024 13:44 1h 14m 38s
Merge pull request #14 from SoftVarE-Group/aarch64
CI #84: Commit 5b0016f pushed by uulm-janbaudisch
August 15, 2024 13:34 1h 10m 48s mt-kahypar
August 15, 2024 13:34 1h 10m 48s
feat: enable aarch64 build
CI #83: Commit ce2c755 pushed by uulm-janbaudisch
August 15, 2024 13:20 12m 55s aarch64
August 15, 2024 13:20 12m 55s
feat(ci): use binfmt for aarch64
CI #82: Commit de01cc3 pushed by uulm-janbaudisch
August 15, 2024 10:37 1h 10m 27s aarch64
August 15, 2024 10:37 1h 10m 27s
feat(ci): use binfmt for aarch64
CI #81: Commit f973516 pushed by uulm-janbaudisch
August 15, 2024 10:33 4m 2s aarch64
August 15, 2024 10:33 4m 2s
feat(ci): use binfmt for aarch64
CI #80: Commit d51f8f9 pushed by uulm-janbaudisch
August 15, 2024 10:32 51s aarch64
August 15, 2024 10:32 51s
feat(ci): use binfmt for aarch64
CI #79: Commit 485170b pushed by uulm-janbaudisch
August 15, 2024 10:30 2m 33s aarch64
August 15, 2024 10:30 2m 33s
feat(ci): use binfmt for aarch64
CI #78: Commit b1f9189 pushed by uulm-janbaudisch
August 15, 2024 10:28 3m 4s aarch64
August 15, 2024 10:28 3m 4s
fix(mt-kahypar): include patches for aarch64
CI #77: Commit 771c4b9 pushed by uulm-janbaudisch
August 15, 2024 10:03 1h 11m 33s aarch64
August 15, 2024 10:03 1h 11m 33s
fix(mt-kahypar): include patches for aarch64
CI #76: Commit 004319d pushed by uulm-janbaudisch
August 15, 2024 10:03 55s aarch64
August 15, 2024 10:03 55s
feat(dependencies): update
CI #75: Commit 92e6665 pushed by uulm-janbaudisch
August 15, 2024 07:34 20m 38s mt-kahypar
August 15, 2024 07:34 20m 38s
August 15, 2024 07:24 7m 14s
fix(mt-kahypar): include growt patch for int128
CI #73: Commit 248f08f pushed by uulm-janbaudisch
August 15, 2024 07:13 7m 30s aarch64
August 15, 2024 07:13 7m 30s
feat(ci): add aarch64 build
CI #72: Commit b84aa13 pushed by uulm-janbaudisch
August 15, 2024 06:25 19m 19s aarch64
August 15, 2024 06:25 19m 19s
feat(nix): add mt-kahypar output
CI #71: Commit b7ae95c pushed by uulm-janbaudisch
June 24, 2024 21:54 2m 56s mt-kahypar
June 24, 2024 21:54 2m 56s
June 24, 2024 16:10 3m 47s
feat: use nix for windows build
CI #69: Commit 8fc34a1 pushed by uulm-janbaudisch
June 24, 2024 16:08 3m 9s mt-kahypar
June 24, 2024 16:08 3m 9s
feat: use nix for windows build
CI #68: Commit 1c15472 pushed by uulm-janbaudisch
June 24, 2024 15:20 20m 37s mt-kahypar
June 24, 2024 15:20 20m 37s
feat(nix): update to 24.05
CI #66: Commit 76c30cb pushed by uulm-janbaudisch
May 31, 2024 10:04 7m 48s update-nix
May 31, 2024 10:04 7m 48s
feat(nix): update to 24.05
CI #65: Commit 37cd5bf pushed by uulm-janbaudisch
May 31, 2024 10:00 7m 18s update-nix
May 31, 2024 10:00 7m 18s