restructured ci profile into modular ci build system;
3c4e373922ca
Actions

Description

restructured ci profile into modular ci build system;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (9)

Path

Size

Admin/

jenkins/

etc/

System/

rISABELLE3c4e373922ca

Admin/jenkins/run_build

etc/build.props

src/Pure/Admin/ci_build.scala

src/Pure/Admin/ci_build_benchmark.scala

src/Pure/Admin/ci_profile.scala

src/Pure/System/isabelle_tool.scala

restructured ci profile into modular ci build system;3c4e373922caActions

Description

Details

Changes (9)

rISABELLE3c4e373922ca

Admin/jenkins/run_build

etc/build.props

src/Pure/Admin/ci_build.scala

src/Pure/Admin/ci_build_benchmark.scala

src/Pure/Admin/ci_profile.scala

src/Pure/System/isabelle_tool.scala

restructured ci profile into modular ci build system;
3c4e373922ca
Actions