Repository navigation

fix(ci): repair the permissions block indentation (invalid YAML) #227

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Derive matrix from echidna provers.a2ml	19s
Smoke (affine_type_checker)	48s
Smoke (acl2)	54s
Smoke (agda)	46s
Smoke (acl2s)	53s
Smoke (athena)	1m 1s
Smoke (alt_ergo)	1m 0s
Smoke (abella)	49s
Smoke (ca_di_ca_l)	43s
Smoke (boogie)	51s
Smoke (arend)	1m 8s
Smoke (abc)	52s
Smoke (bunched_type_checker)	48s
Smoke (alloy)	45s
Smoke (capability_type_checker)	51s
Smoke (cameleer)	46s
Smoke (choreographic_type_checker)	48s
Smoke (cbmc)	1m 18s
Smoke (coq)	50s
Smoke (coeffect_type_checker)	45s
Smoke (chuffed)	1m 25s
Smoke (cubical_type_checker)	42s
Smoke (cubical_agda)	40s
Smoke (cvc5)	47s
Smoke (dedukti)	47s
Smoke (dafny)	53s
Smoke (dyadic_type_checker)	40s
Smoke (dependent_type_checker)	45s
Smoke (d_real)	50s
Smoke (effect_row_type_checker)	40s
Smoke (epistemic_type_checker)	39s
Smoke (echo_type_checker)	44s
Smoke (e_prover)	49s
Smoke (existential_type_checker)	46s
Smoke (frama_c)	43s
Smoke (f_star)	47s
Smoke (glpk)	47s
Smoke (higher_kinded_type_checker)	38s
Smoke (gradual_type_checker)	43s
Smoke (hol4)	50s
Smoke (hoare_type_checker)	45s
Smoke (hol_light)	43s
Smoke (homotopy_type_checker)	40s
Smoke (immutable_type_checker)	43s
Smoke (idris2)	47s
Smoke (imandra)	43s
Smoke (impure_type_checker)	37s
Smoke (intersection_type_checker)	42s
Smoke (indexed_type_checker)	43s
Smoke (katagoria_verifier)	42s
Smoke (isabelle_zf)	47s
Smoke (isabelle)	44s
Smoke (ke_y)	42s
Smoke (kissat)	43s
Smoke (lambda_prolog)	48s
Smoke (lean3)	52s
Smoke (lean)	37s
Smoke (linear_type_checker)	38s
Smoke (mercury)	40s
Smoke (matita)	47s
Smoke (mini_sat)	31s
Smoke (metamath)	44s
Smoke (mini_zinc)	36s
Smoke (minlog)	53s
Smoke (mizar)	42s
Smoke (modal_type_checker)	47s
Smoke (miz_ar)	46s
Smoke (naproche)	44s
Smoke (nitpick)	45s
Smoke (nominal_type_checker)	48s
Smoke (nunchaku)	52s
Smoke (nuprl)	55s
Smoke (nu_smv)	48s
Smoke (open_smt)	45s
Smoke (ordered_type_checker)	56s
Smoke (or_tools)	1m 0s
Smoke (ordinary_type_checker)	41s
Smoke (phantom_type_checker)	46s
Smoke (polymorphic_type_checker)	47s
Smoke (prism)	49s
Smoke (probabilistic_type_checker)	45s
Smoke (prover9)	46s
Smoke (provability_type_checker)	39s
Smoke (pro_verif)	43s
Smoke (pvs)	35s
Smoke (refinement_type_checker)	43s
Smoke (qtt_type_checker)	50s
Smoke (rocq)	41s
Smoke (relevant_type_checker)	41s
Smoke (row_type_checker)	45s
Smoke (scip)	40s
Smoke (session_type_checker)	48s
Smoke (sea_horn)	39s
Smoke (smt_rat)	33s
Smoke (spass)	46s
Smoke (spin)	53s
Smoke (subtyping_type_checker)	45s
Smoke (tamarin)	50s
Smoke (temporal_type_checker)	50s
Smoke (tlaps)	47s
Smoke (tlc)	42s
Smoke (tropical_type_checker)	44s
Smoke (twelf)	46s
Smoke (typed_wasm)	42s
Smoke (type_ll)	39s
Smoke (union_type_checker)	1m 1s
Smoke (uppaal_stratego)	40s
Smoke (uppaal)	40s
Smoke (viper)	41s
Smoke (vampire)	42s
Smoke (why3)	48s
Smoke (uniqueness_type_checker)	52s
Smoke (z3)	43s
Smoke (zipperposition)	42s
	1h 27m 29s

Navigation Menu

Repository navigation

fix(ci): repair the permissions block indentation (invalid YAML) #227

Usage

fix(ci): repair the permissions block indentation (invalid YAML) #227

Uh oh!

Run time