ci-files
Public
Source
| Source | Size | ||
|---|---|---|---|
| .. | |||
| bootstrap_autotools.sh | 1.35 KB | ||
| make_and_make_install.sh | 3.45 KB | ||
| make_clippy.sh | 1.75 KB | ||
| run_configure.sh | 2.69 KB | ||
| run_topotests.sh | 12.34 KB | ||
| Source | Size | ||
|---|---|---|---|
| .. | |||
| bootstrap_autotools.sh | 1.35 KB | ||
| make_and_make_install.sh | 3.45 KB | ||
| make_clippy.sh | 1.75 KB | ||
| run_configure.sh | 2.69 KB | ||
| run_topotests.sh | 12.34 KB | ||