ci-files
Public
Source
| Source | Size | ||
|---|---|---|---|
| .. | |||
| bootstrap_autotools.sh | 1.35 KB | ||
| make_and_make_install.sh | 3.27 KB | ||
| make_clippy.sh | 1.75 KB | ||
| run_configure.sh | 2.61 KB | ||
| run_topotests.sh | 11.77 KB | ||
| Source | Size | ||
|---|---|---|---|
| .. | |||
| bootstrap_autotools.sh | 1.35 KB | ||
| make_and_make_install.sh | 3.27 KB | ||
| make_clippy.sh | 1.75 KB | ||
| run_configure.sh | 2.61 KB | ||
| run_topotests.sh | 11.77 KB | ||