Workflow runs · 1eedaegon/...s · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

106 workflow runs

106 workflow runs

fix: remove escape for env path Nix CI #52: Commit 88ec2ba pushed by 1eedaegon

1m 8s main

main

1m 8s

fix: add OpenSSL/zlib to LD_LIBRARY_PATH for runtime linking Nix CI #51: Commit 8350796 pushed by 1eedaegon

43s main

main

43s

fix: remove dynamic LD_LIBRARY_PATH detection to avoid glibc conflicts Nix CI #50: Commit cd8d9d5 pushed by 1eedaegon

39s main

main

39s

fix: remove hm-session-vars sourcing to avoid library conflicts Nix CI #49: Commit 564ebf2 pushed by 1eedaegon

45s main

main

45s

fix: avoid library conflicts in nix develop on Linux Nix CI #48: Commit 51099af pushed by 1eedaegon

40s main

main

40s

fix: remove stdenv.cc.cc.lib to fix glibc conflicts on Linux Nix CI #47: Commit e508bbe pushed by 1eedaegon

39s main

main

39s

fix: remove devenv Nix CI #46: Commit a0af1b5 pushed by 1eedaegon

5m 24s main

main

5m 24s

fix: change support cuda for linux Nix CI #45: Commit e072a7b pushed by 1eedaegon

39s main

main

39s

chore: apply nix fmt Nix CI #44: Commit d105e75 pushed by 1eedaegon

42s main

main

42s

docs: update how to use 3dots(...s) globally Nix CI #43: Commit 1350837 pushed by 1eedaegon

39s main

main

39s

feat: update 3dots for oneshot script & update nix version Nix CI #42: Commit 300f422 pushed by 1eedaegon

38s main

main

38s

fix: remove default gcc & add dynamic LD_PATH for NVDIA and Others Nix CI #41: Commit fff4396 pushed by 1eedaegon

41s main

main

41s

fix: remove cuda config Nix CI #40: Commit bdf399e pushed by 1eedaegon

38s main

main

38s

fix: move to mac common nvtop Nix CI #39: Commit deffa20 pushed by 1eedaegon

39s main

main

39s

feat: add nvtop full Nix CI #38: Commit 2049f78 pushed by 1eedaegon

39s main

main

39s

fix: delete default m-profiler on macos Nix CI #37: Commit fae927f pushed by 1eedaegon

40s main

main

40s

feat: add m-profiler & nvtop Nix CI #36: Commit c4d4114 pushed by 1eedaegon

27s main

main

27s

fix: update proof assitant settings Nix CI #35: Commit 64da107 pushed by 1eedaegon

39s main

main

39s

feat: add system modules Nix CI #34: Commit 21be40e pushed by 1eedaegon

38s main

main

38s

feat: add proof solvers and prover Nix CI #33: Commit 1baccf4 pushed by 1eedaegon

5m 25s main

main

5m 25s

feat: add awscli2 Nix CI #32: Commit e6fc46d pushed by 1eedaegon

40s main

main

40s

fix: change gdb config to only used on mac Nix CI #31: Commit cbf0805 pushed by 1eedaegon

41s main

main

41s

chore: apply nix formatter - nixpkgs#nixpkgs-fmt -- . Nix CI #30: Commit cddbcc2 pushed by 1eedaegon

39s main

main

39s

feat: add sccache build tool for more faster Nix CI #29: Commit d00f4e6 pushed by 1eedaegon

40s main

main

40s

fix: move to common case for research and debug Nix CI #28: Commit c0748a7 pushed by 1eedaegon

37s main

main

37s