João Santos Reis

https://www.joaosreis.eu

@MinaFoundation Functional programmer. Interested in programming languages and program verification.

Results 19 comments of


                                            João Santos Reis

[berkeley] Fix nix build in macOS

!ci-build-me

[berkeley] Fix nix build in macOS

!ci-build-me

[berkeley] Fix nix build in macOS

This seems related to the issue @emberian is observing https://github.com/rust-lang/rustlings/issues/1430

[berkeley] Fix nix build in macOS

!ci-build-me

[develop] Add indexer feature to Rosetta

!ci-toolchain-me

[develop] Add indexer feature to Rosetta

!ci-toolchain-me

[develop] Add indexer feature to Rosetta

!ci-build-me

[develop] Add indexer feature to Rosetta

!ci-build-me

[develop] Add indexer feature to Rosetta

!ci-build-me

Add indexer feature to Rosetta

!ci-toolchain-me

1
2
›