Diffusion Isabelle 6a5e4f17f285

switched to statically compiled ci profile;
6a5e4f17f285
Actions

Tags

None

Subscribers

None

Description

switched to statically compiled ci profile;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rISABELLEc8263ac985e1: more operations on Bytes.T;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rISABELLE6a5e4f17f285: switched to statically compiled ci profile;.Jun 21 2022, 6:24 PM

Changes (11)

Path

Size

ci_build_benchmark.scala

etc/

ci_build_benchmark.scala

ci_profile.scala

System/

isabelle_tool.scala

rISABELLE6a5e4f17f285

Admin/jenkins/build/ci_build_benchmark.scala

Loading...

etc/build.props

Loading...

src/Pure/Admin/ci_build_benchmark.scala

Loading...

src/Pure/Admin/ci_profile.scala

Loading...

src/Pure/System/isabelle_tool.scala

Loading...