fix: Build failure on macOS due to LLVM version #53

Merged
aniva merged 4 commits from misc/toolchain into dev 2024-03-30 00:07:27 -07:00
Owner

We should not have this as an input for Lean:

      inputs.nixpkgs.follows = "nixpkgs";
We should not have this as an input for Lean: ```nix inputs.nixpkgs.follows = "nixpkgs"; ```
aniva added this to the 0.3 milestone 2024-03-29 23:50:16 -07:00
aniva added the
priority
high
category
bug
labels 2024-03-29 23:50:16 -07:00
aniva self-assigned this 2024-03-29 23:50:16 -07:00
aniva added 1 commit 2024-03-29 23:50:46 -07:00
aniva added 1 commit 2024-03-29 23:59:21 -07:00
aniva added 1 commit 2024-03-30 00:01:34 -07:00
aniva added 1 commit 2024-03-30 00:03:49 -07:00
aniva merged commit ff8a462bcd into dev 2024-03-30 00:07:27 -07:00
Sign in to join this conversation.
No description provided.