Diffusion Isabelle 4103b945c7b5

more informative release_snapshot, to see better where the cronjob fails;
4103b945c7b5
Actions

Tags

None

Subscribers

None

Description

more informative release_snapshot, to see better where the cronjob fails;

Details

Provenance

Authored on

Parents

rISABELLE170ec97f1764: more robust, notably for crontab;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4103b945c7b5: more informative release_snapshot, to see better where the cronjob fails;.Jun 10 2022, 3:34 PM

Changes (2)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

isabelle_devel.scala

rISABELLE4103b945c7b5

src/Pure/Admin/isabelle_cronjob.scala

Loading...

src/Pure/Admin/isabelle_devel.scala

Loading...