Skip to content
Snippets Groups Projects

use `gitlab.isae-supaero.fr:a.stevan/nob.rs` to build

Merged STEVAN Antoine requested to merge use-nob-to-build into main

that's an attempt at using Rust to build itself.

this is using gitlab.isae-supaero.fr:a.stevan/nob.rs@e4b03cdd4f1ba9daf3095930911b12fb28b6a248.

:bulb: Note

to be honest, this is not a 100% replacement of the Makefile...

make.rs does a lot more and provides a full CLI with easy-to-use options, e.g. instead of make fmt and make fmt-check, we now have ./make.rs fmt and ./make.rs fmt --check

(see the API below)

the API

Usage: make [OPTIONS] [COMMAND]

Commands:
  fmt      Formats the code
  check    Checks the code
  clippy   Runs Clippy
  test     Runs the tests
  version  Shows the version of all the tools used,
  doc      Builds the documentation
  help     Print this message or the help of the given subcommand(s)

Options:
  -h, --help      Print help
  -V, --version   Print version
Usage: make fmt [OPTIONS]

Options:
  -c, --check  Only checks instead of really formatting
Usage: make check
Usage: make clippy
Usage: make test [OPTIONS]

Options:
  -v, --verbose   Be extra verbose with the output of the tests
  -e, --examples  Run the examples instead of regular tests
Usage: make version
Usage: make doc [OPTIONS]

Options:
  -o, --open      Open the documentation in the browser
  -p, --private   Document private items
  -f, --features  Document all features

running the pipeline in the GitHub mirror

const GH_API_OPTIONS = [
    -H "Accept: application/vnd.github+json"
    -H "X-GitHub-Api-Version: 2022-11-28"
]
let res = gh api ...$GH_API_OPTIONS /repos/dragoon-rs/komodo/actions/runs | from json
let runs = $res.workflow_runs
    | where head_branch == "use-nob-to-build"
    | select id head_sha status conclusion run_started_at
    | into datetime run_started_at
    | sort-by run_started_at
$runs
    | update id { $"[`($in)`]\(https://github.com/($GITHUB_MIRROR)/actions/runs/($in)\)" }
    | update run_started_at { format date "%Y-%m-%dT%H:%M:%S" }
    | to md --pretty
id head_sha status conclusion run_started_at
14237650542 d67f1cfd completed success 2025-04-03T07:44:14
14237741570 9ef598a1 completed success 2025-04-03T07:49:40
14238086977 0a79edf3 completed success 2025-04-03T08:09:13
14238175174 a84b2b12 completed success 2025-04-03T08:13:52
14239395984 8594c9bf completed success 2025-04-03T09:16:00
Edited by STEVAN Antoine

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading