Přeskočit na obsah

Tato stránka byla automaticky přeložena z angličtiny, jediného jazyka, ve kterém se tento web píše. Číst originál.

Uzavření závazků

Úloha, která deklaruje závazky, dosáhne výsledku completed jen tehdy, když je každý z nich zajištěn nástrojem nebo má důkaz a tento důkaz stále popisuje strom či commit, nad nímž vznikl.

blokující Porušení zastaví příkaz s kódem 10.

Řetězec

Pravidlo je vynucováno, jen když platí každý článek níže. majordomus doctor každý z nich při každém běhu řeší ze zdroje; tato stránka ukazuje, co vyřešil.

  1. 1 Deklarováno majordomus.obligation-closure
  2. 2 Validátor mj_validate_obligations
  3. 3 Běží pod check, finish
  4. 4 Při porušení exit 10
  5. 5 Dokázáno test/cases/103_obligations.sh
  6. 6 Spouští CI .github/workflows/validate.yml

Kde běží

Repozitář si tuto linii kontraktu dokončení zvolí tím, že uvede obligations_met v verification.finish_requires. Požadavek, který politika jmenuje a žádná doktrína ho nedefinuje, se ohlásí a je odmítnut.

Co nám umožňuje slíbit

Čti zde

přečíst jedno pravidlo
majordomus doctrine show majordomus.obligation-closure
majordomus check --rule majordomus.obligation-closure

Prohledává názvy a popisy všech stránek, které tento web publikuje.