Skip to content
Jenkins
log in
Dashboard
isabelle-nightly-benchmark
#1116
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Aborted
Changes
Summary
follow Phabricator update 2020 Week 5;
Changeset
71421:5de8c6d92bd0
by
wenzelm
:
follow Phabricator update 2020 Week 5;
The file was modified
src/Pure/Tools/phabricator.scala
(diff)