add fish alias for ./run_in_container.sh
All checks were successful
/ build-all (push) Successful in 34m19s
All checks were successful
/ build-all (push) Successful in 34m19s
This commit is contained in:
parent
fc4ef4cc4c
commit
675e10b3b8
1 changed files with 2 additions and 0 deletions
|
|
@ -117,6 +117,8 @@
|
||||||
n = "ninja";
|
n = "ninja";
|
||||||
gdb_asan = "gdb -tui -ex='break __asan::ReportGenericError'";
|
gdb_asan = "gdb -tui -ex='break __asan::ReportGenericError'";
|
||||||
gdb_ubsan = "gdb -tui -ex='break __ubsan::ScopedReport::~ScopedReport'";
|
gdb_ubsan = "gdb -tui -ex='break __ubsan::ScopedReport::~ScopedReport'";
|
||||||
|
} // lib.attrsets.optionalAttrs (variant == "allegro") {
|
||||||
|
d = "./run_in_container.sh docker/ci.Dockerfile.signature";
|
||||||
};
|
};
|
||||||
|
|
||||||
plugins = [
|
plugins = [
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue