build the pipelines image from Dockerfile

This adds a Dockerfile to build an image for the pipelines, once and for all, until we decide to bump the Rust toolchain.

changelog

• add .gitlab-ci.dockerfile which
  • uses rust:latest as a base (it appears using alpine:latest is both bigger and slower )
  • installs basic system dependencies
  • uses rust-toolchain.toml to install the toolchain of the project
  • installs cargo-script
• use gitlab-registry.isae-supaero.fr/dragoon/komodo:bcb0e6b in the GitLab pipelines and ghcr.io/dragoon-rs/dragoon/komodo:bcb0e6b in the GitHub pipelines and remove the "manual" dependency installation
• add ./make.rs container, ./make.rs container --login and ./make.rs container --push
  • uses nob.rs@7ea6be8 to capture output of commands with + syntax
  • get the current Git SHA as the tag of the image
• instructions have been added to the README.md for later reference

mirror

id	head_sha	status	conclusion	run_started_at
14262324842	c93d9c87928964aa20f347c1302757a06d2da628	completed	success	2025-04-04T11:28:30
14262372440	f905e57633f5e3dc7b1c38faa463daf54fb674bb	completed	cancelled	2025-04-04T11:31:12
14262477396	21b26efd988b2d8d7159d24cae37341135cfb1b9	completed	success	2025-04-04T11:36:59
14263257396	5bdca8cdb96e6ac2c25035513721485bcb08645d	completed	success	2025-04-04T12:22:10
14263314072	bcb0e6b5f73420762f6208700a43291e0066c2c3	completed	success	2025-04-04T12:25:27
14263368772	ddd4a2a9c1c28f4502814065de6aeca00b8b7a2f	completed	success	2025-04-04T12:28:30
14263575177	f9400e619a066294714024174dacd4a0501a369c	completed	success	2025-04-04T12:40:44

speed

the performance appears to be around

• ~ 1min 35sec on GitLab (see 8331, 8332, 8333, 8334, 8335, 8336, 8337, 8338, 8339, 8340, 8341, all after b82e8950)
• ~ 4min on GitHub (see 14263257396, 14263314072, 14263368772, 14263575177, all after 5bdca8c)

added bookkeeping ci labels

assigned to @a.stevan

added 1 commit

• 123000cf - use container registry

Compare with previous version

added 1 commit

• e9ee0f55 - try with `dragoon/komodo`

Compare with previous version

added 1 commit

• fedd20ee - try full name

Compare with previous version

added 2 commits

• d1a6dbc5 - add `./make.rs container`
• 75ccf77a - try to install the toolchain in the container

Compare with previous version

added 1 commit

• cec557da - directly install the toolchain

Compare with previous version

added 1 commit

• d943f2ed - install components

Compare with previous version

added 1 commit

• ceff41d1 - make 1.78 the default toolchain

Compare with previous version

added 1 commit

• 8774da81 - remove "show" and "show active-toolchain"

Compare with previous version

changed the description

added 1 commit

• ccc77376 - use alpine:latest and install Rust

Compare with previous version

added 1 commit

• f88a35ad - use `rust-toolchain.toml` to install Rust

Compare with previous version

marked this merge request as ready

changed title from Draft: add Dockerfile to build the pipelines image from Dockerfile

changed the description

added 1 commit

• b82e8950 - TEST: use `rust:latest` and `apt`

Compare with previous version

changed the description

marked this merge request as draft

added 1 commit

• 734b4cc4 - use the current Git SHA as a Docker tag

Compare with previous version