Detecting GITHUB_ENV and autoprinting github messages #113

Job	Run time
stale-hints / check_stale_hints	9s
nix / fstar-nix	19m 14s
build / build	19m 59s
tests / binary-smoke (fstar.tar.gz, ubuntu-24.04)	17s
tests / perf-canaries	24s
tests / check-stage3	6m 14s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-20.04)	8m 0s
tests / test-local	15m 53s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-22.04)	7m 50s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-latest)	7m 38s
ciok	1s
	1h 25m 39s

Provide feedback