Skip to content

Actions: SoftVarE-Group/d4-oxide

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(gpmc): add mpfr include CI #76: Commit 6320117 pushed by uulm-janbaudisch
December 8, 2024 20:52 8m 43s main
main
December 8, 2024 20:52 8m 43s
feat(build): link gmp dynamically Publish #18: Commit deb26de pushed by uulm-janbaudisch
December 8, 2024 19:01 10m 47s 0.5.6
0.5.6
December 8, 2024 19:01 10m 47s
feat(build): link gmp dynamically CI #75: Commit deb26de pushed by uulm-janbaudisch
December 8, 2024 19:01 4m 12s 0.5.6
0.5.6
December 8, 2024 19:01 4m 12s
feat(build): link gmp dynamically CI #74: Commit deb26de pushed by uulm-janbaudisch
December 8, 2024 19:00 4m 45s main
main
December 8, 2024 19:00 4m 45s
feat(build): link gmp dynamically Publish #17: Commit 0852c73 pushed by uulm-janbaudisch
December 8, 2024 18:38 7m 23s 0.5.5
0.5.5
December 8, 2024 18:38 7m 23s
feat(build): link gmp dynamically CI #73: Commit 0852c73 pushed by uulm-janbaudisch
December 8, 2024 18:38 4m 50s 0.5.5
0.5.5
December 8, 2024 18:38 4m 50s
feat(build): link gmp dynamically CI #72: Commit 0852c73 pushed by uulm-janbaudisch
December 8, 2024 18:34 4m 36s main
main
December 8, 2024 18:34 4m 36s
fix(gpmc): add mpfr include CI #71: Commit 6320117 pushed by uulm-janbaudisch
December 7, 2024 16:50 4m 32s main
main
December 7, 2024 16:50 4m 32s
feat(arjun): do not build binaries CI #70: Commit 6d710d0 pushed by uulm-janbaudisch
December 7, 2024 16:36 4m 4s main
main
December 7, 2024 16:36 4m 4s
feat(arjun): do not build binaries CI #69: Commit 0ddd3da pushed by uulm-janbaudisch
December 7, 2024 16:27 4m 34s main
main
December 7, 2024 16:27 4m 34s
feat(dependencies): update Publish #16: Commit c1388ba pushed by uulm-janbaudisch
December 7, 2024 15:26 10m 35s 0.5.4
0.5.4
December 7, 2024 15:26 10m 35s
feat(dependencies): update CI #68: Commit c1388ba pushed by uulm-janbaudisch
December 7, 2024 15:26 9m 33s 0.5.4
0.5.4
December 7, 2024 15:26 9m 33s
feat(dependencies): update CI #67: Commit c1388ba pushed by uulm-janbaudisch
December 7, 2024 15:23 10m 44s main
main
December 7, 2024 15:23 10m 44s
feat: create gmp and mpfr crates CI #66: Commit f2b3a83 pushed by uulm-janbaudisch
December 7, 2024 15:16 5m 51s main
main
December 7, 2024 15:16 5m 51s
feat: create gmp and mpfr crates CI #65: Commit 6b82109 pushed by uulm-janbaudisch
December 7, 2024 14:58 1m 7s main
main
December 7, 2024 14:58 1m 7s
fix: cmake gmp paths Publish #15: Commit d4f81b5 pushed by uulm-janbaudisch
December 2, 2024 13:53 10m 53s 0.5.3
0.5.3
December 2, 2024 13:53 10m 53s
fix: cmake gmp paths CI #64: Commit d4f81b5 pushed by uulm-janbaudisch
December 2, 2024 13:53 5m 27s 0.5.3
0.5.3
December 2, 2024 13:53 5m 27s
fix: cmake gmp paths CI #63: Commit d4f81b5 pushed by uulm-janbaudisch
December 2, 2024 13:39 5m 8s main
main
December 2, 2024 13:39 5m 8s
fix(cryptominisat): depend on gmp CI #62: Commit e7d08f9 pushed by uulm-janbaudisch
December 2, 2024 12:52 3m 42s main
main
December 2, 2024 12:52 3m 42s
feat(nix): remove gmp from shell CI #61: Commit 43b1dbb pushed by uulm-janbaudisch
December 2, 2024 12:45 3m 39s main
main
December 2, 2024 12:45 3m 39s
feat: create gmp and mpfr crates CI #60: Commit 7b1c4b0 pushed by uulm-janbaudisch
December 2, 2024 12:37 5m 9s main
main
December 2, 2024 12:37 5m 9s
fix: cmake prefix definitions CI #59: Commit 23a33d0 pushed by uulm-janbaudisch
December 1, 2024 14:59 6m 54s main
main
December 1, 2024 14:59 6m 54s
fix(arjun): provide sbva prefix for cmake build CI #58: Commit a568285 pushed by uulm-janbaudisch
December 1, 2024 13:08 6m 49s main
main
December 1, 2024 13:08 6m 49s
fix(cryptominisat): new version with fixed cmake config CI #57: Commit fe359f9 pushed by uulm-janbaudisch
December 1, 2024 12:48 7m 8s main
main
December 1, 2024 12:48 7m 8s
feat: use rust zlib bindings CI #56: Commit b5055f5 pushed by uulm-janbaudisch
November 29, 2024 22:33 6m 35s main
main
November 29, 2024 22:33 6m 35s