Diffusion Isabelle 11e233ba53c8

minor tuning;
11e233ba53c8
Actions

Tags

None

Subscribers

None

Description

minor tuning;

Details

Provenance

Authored on

Parents

rISABELLE6a5e4f17f285: switched to statically compiled ci profile;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE11e233ba53c8: minor tuning;.Jun 28 2022, 3:17 PM

Changes (2)

Path

Size

src/

Pure/

Admin/

ci_build_benchmark.scala

ci_profile.scala

rISABELLE11e233ba53c8

src/Pure/Admin/ci_build_benchmark.scala

Loading...

src/Pure/Admin/ci_profile.scala

Loading...