Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 14, 2018

• Add early artefact upload

  Show description for 26728ad
  ncough

  committed
  26728ad

Commits on Jan 24, 2018

• Add a --stop flag to the worker

  Show description for 334f1ee
  

  michaelsproul

  authored and

  xrchz

  committed
  334f1ee

Commits on Dec 29, 2017

• Exclude .git from reloc tarballs and update docs

  xrchz

  committed
  73c10a8

Commits on Dec 10, 2017

• Add a TODO

  xrchz

  committed
  7321dcb

Commits on Dec 6, 2017

• Note a worker deficiency for PRs from other repos

  xrchz

  committed
  a3f5f0e

Commits on Dec 4, 2017

• Read artefact paths from a file

  Show description for 0d7ccf6
  xrchz

  committed
  0d7ccf6

Commits on Dec 3, 2017

• Only fetch all on CakeML: HOL is single branch

  xrchz

  committed
  505499e

Commits on Dec 2, 2017

• Add --prune to git fetch

  xrchz

  committed
  d770a21

• Fix git merge command: add --no-ff

  Show description for d6e2624
  xrchz

  committed
  d6e2624

• Attempt to fix git fetch problem

  Show description for 454be53
  xrchz

  committed
  454be53

Commits on Nov 28, 2017

• Tweak email subject

  xrchz

  committed
  1b0c66f

• Avoid --no-tags option

  Show description for 11694c3
  xrchz

  committed
  11694c3

• Tweak diagnostic messages

  Show description for a503ecb
  xrchz

  committed
  a503ecb

• Fix stray parentArc in prepare_cakeml

  xrchz

  committed
  af1cd92

• Rework worker directories again

  Show description for ee79eb0
  xrchz

  committed
  ee79eb0

Commits on Nov 27, 2017

• Fix missing space in git clone command

  Show description for 1810502
  xrchz

  committed
  1810502

• Rework worker to use a separate working dir per job

  Show description for 28022da
  xrchz

  committed
  28022da

Commits on Nov 19, 2017

• Fix worker logic: change dir before uploading

  xrchz

  committed
  5b01960

Commits on Nov 17, 2017

• Fix order of execution bug in html_response

  xrchz

  committed
  d5515a1

Commits on Nov 16, 2017

• Show expected time for directories in progress

  xrchz

  committed
  aee3bf1

• Show time elapsed on current dir of running jobs

  xrchz

  committed
  202649e

Commits on Nov 15, 2017

• Don't put ul inside pre

  Show description for bd2a591
  xrchz

  committed
  bd2a591

• Replace worker polling with waiting

  Show description for 6ada604
  xrchz

  committed
  6ada604

• Only automatically upload artefacts for master

  xrchz

  committed
  0656168

• Add artefacts to job page

  xrchz

  committed
  4e942f5

• Tweak usage message

  Show description for 1941e7f
  xrchz

  committed
  1941e7f

• Allow trailing slash again

  xrchz

  committed
  5d94781

• Add artefact upload facility to worker

  Show description for 09c0c7b
  xrchz

  committed
  09c0c7b

• Add upload command to server API

  Show description for 0842575
  xrchz

  committed
  0842575

• Fix Valid CSS link

  xrchz

  committed
  4bf5db1

• Tweak CSS and formatting

  Show description for 675112f
  xrchz

  committed
  675112f

• Be more fine-grained about the lock

  xrchz

  committed
  c4c1f28

• Rework API to use HTTP better

  Show description for 53fc084
  xrchz

  committed
  53fc084

Commits on Nov 14, 2017

• Include auth token in log API command

  xrchz

  committed
  5cd67ad

• Make worker log when resuming

  xrchz

  committed
  3bb9583

Pagination

PreviousNext