Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jul 22, 2019

• Fix-up last commit: forgot to change the query parser

  xrchz

  committed
  076079a

  Copy full SHA for 076079a

• Explicitly use HOL's master branch instead of the default

  xrchz

  committed
  ac59bd4

  Copy full SHA for ac59bd4

Commits on May 23, 2019

• Fix bug: double read of pr_info

  xrchz

  committed
  21c3ffb

  Copy full SHA for 21c3ffb

Commits on May 22, 2019

• Also trim whitespace on branch names in the email

  xrchz

  committed
  8a47594

  Copy full SHA for 8a47594

• Colour finished links, and add links for master branch

  Show description for 1ecb912
  xrchz

  committed
  1ecb912

  Copy full SHA for 1ecb912

• Actually trim parentheses

  Show description for 63935f2
  xrchz

  committed
  63935f2

  Copy full SHA for 63935f2

• Fix links to PRs via branch names

  Show description for aa59d43
  xrchz

  committed
  aa59d43

  Copy full SHA for aa59d43

• Remove parens on branch names in overview

  

  xrchz

  authored and

  agomezl

  committed
  0ca3af3

  Copy full SHA for 0ca3af3

• Improve pr link text and column name

  

  xrchz

  authored and

  agomezl

  committed
  c12834f

  Copy full SHA for c12834f

• Remove extra parens in email

  Show description for a5264c5
  

  xrchz

  authored and

  agomezl

  committed
  a5264c5

  Copy full SHA for a5264c5

• Show PR branch names in job types

  

  xrchz

  authored and

  agomezl

  committed
  729416d

  Copy full SHA for 729416d

Commits on May 13, 2019

• Fix read_job_worker to don't loop forever

  

  agomezl

  authored and

  xrchz

  committed
  5030f16

  Copy full SHA for 5030f16

• Fix small issues with html_job_list and job_link

  

  agomezl

  authored and

  xrchz

  committed
  a85f98d

  Copy full SHA for a85f98d

• Add title to running section

  

  agomezl

  authored and

  xrchz

  committed
  be8c174

  Copy full SHA for be8c174

• Add individual queue pages

  

  agomezl

  authored and

  xrchz

  committed
  fffce8b

  Copy full SHA for fffce8b

• Update css styles to work with tables

  

  agomezl

  authored and

  xrchz

  committed
  9d25b67

  Copy full SHA for 9d25b67

• Refactor `html_job_list` to use tables instead of lists

  

  agomezl

  authored and

  xrchz

  committed
  d097f48

  Copy full SHA for d097f48

• Add new HTML combinators

  

  agomezl

  authored and

  xrchz

  committed
  3eb1fe6

  Copy full SHA for 3eb1fe6

• Add auxiliary function to read workers names

  

  agomezl

  authored and

  xrchz

  committed
  0eb5c3c

  Copy full SHA for 0eb5c3c

• Add css styles to be able to replicate the server in test environments

  

  agomezl

  authored and

  xrchz

  committed
  16316d1

  Copy full SHA for 16316d1

• Add some space between header names and values in the CGI response

  Show description for 4279aac
  

  agomezl

  authored and

  xrchz

  committed
  4279aac

  Copy full SHA for 4279aac

Commits on Jan 21, 2019

• Add configuration file for server and worker

  

  agomezl

  authored and

  xrchz

  committed
  d52a33e

  Copy full SHA for d52a33e

• Formatting.

  

  talsewell

  authored and

  xrchz

  committed
  41f3e3b

  Copy full SHA for 41f3e3b

• Edit for clarity and testability.

  Show description for 4a95e8e
  

  talsewell

  authored and

  xrchz

  committed
  4a95e8e

  Copy full SHA for 4a95e8e

• Filter out PRs with test-failing labels.

  Show description for 096e791
  

  talsewell

  authored and

  xrchz

  committed
  096e791

  Copy full SHA for 096e791

• Fetch and parse label information about github PRs.

  

  talsewell

  authored and

  xrchz

  committed
  5e58ed8

  Copy full SHA for 5e58ed8

Commits on Jan 11, 2019

• Tweak terminology: stop -> finish

  xrchz

  committed
  c3526f9

  Copy full SHA for c3526f9

• Tweak TODOs

  Show description for 0becbe3
  xrchz

  committed
  0becbe3

  Copy full SHA for 0becbe3

• Rework worker command line argument processing

  Show description for fc5d607
  xrchz

  committed
  fc5d607

  Copy full SHA for fc5d607

Commits on Jan 9, 2019

• Remove unnecessary definition of find

  xrchz

  committed
  576e174

  Copy full SHA for 576e174

Commits on Dec 14, 2018

• Have 'wait' instance of curl time out.

  Show description for de4feec
  

  talsewell

  authored and

  xrchz

  committed
  de4feec

  Copy full SHA for de4feec

Commits on Dec 9, 2018

• Bugfix previous work on status.

  

  talsewell

  authored and

  xrchz

  committed
  7ff127c

  Copy full SHA for 7ff127c

Commits on Nov 22, 2018

• Stop selecting a job after it has finished/failed

  xrchz

  committed
  9d14fd7

  Copy full SHA for 9d14fd7

Commits on Oct 25, 2018

• Workers track status and can restart tasks.

  Show description for 1b7e9da
  

  talsewell

  authored and

  xrchz

  committed
  1b7e9da

  Copy full SHA for 1b7e9da

Commits on Sep 13, 2018

• gitignore: ignore build directories

  

  michaelsproul

  authored and

  xrchz

  committed
  a83a51f

  Copy full SHA for a83a51f

Pagination

Previous

Next