ci: fix spindle CI workflows #3

+1 -2

5 changed files

Interdiff #0 → #1

expand all

.tangled

workflows

build.yml

codeqa-clippy.yml

codeqa-rustfmt.yml

test-miri.yml

test.yml

.tangled/workflows/build.yml

This file has not been changed.

.tangled/workflows/codeqa-clippy.yml

This file has not been changed.

.tangled/workflows/codeqa-rustfmt.yml

This file has not been changed.

-1

.tangled/workflows/test-miri.yml

··· 7 7 dependencies: 8 8 nixpkgs: 9 9 - cargo 10 - - cargo-llvm-codecov 11 10 - rustup 12 11 13 12 steps:

+1 -1

.tangled/workflows/test.yml

··· 7 7 dependencies: 8 8 nixpkgs: 9 9 - cargo 10 - - cargo-llvm-codecov 10 + - cargo-llvm-cov 11 11 - rustup 12 12 13 13 steps:

History

2 rounds 0 comments

samanthanguyen.me submitted #1 2mo

diff

2 commits

expand

c714d439

ci: fix spindle CI workflows

222dafef

ci: fix dependencies

expand 0 comments

pull request successfully merged

samanthanguyen.me submitted #0 2mo

diff

1 commit

expand

c714d439

ci: fix spindle CI workflows

2/5 failed, 3/5 success

expand

expand 0 comments