Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 2, 2025

• Fix server dying on sending Zulip message

  Show description for 3aa8d30
  

  IlmariReissumies

  authored and

  xrchz

  committed
  3aa8d30

  Copy full SHA for 3aa8d30

Commits on Mar 31, 2025

• Update comment about which HOL branch is targeted

  xrchz

  committed
  16857e1

  Copy full SHA for 16857e1

• Use mcandidate instead of master for HOL

  xrchz

  committed
  8b62d73

  Copy full SHA for 8b62d73

Commits on Feb 23, 2025

• Make the Zulip stream name/number configurable

  xrchz

  committed
  d4a51ef

  Copy full SHA for d4a51ef

Commits on Feb 22, 2025

• Add support for Zulip webhook

  xrchz

  committed
  e6dea03

  Copy full SHA for e6dea03

Commits on Aug 15, 2024

• Fix bug in bfcb5cd

  Show description for 59031ec
  

  hrutvik

  authored and

  xrchz

  committed
  59031ec

  Copy full SHA for 59031ec

• Use "embeds" for Discord messages

  

  hrutvik

  authored and

  xrchz

  committed
  bfcb5cd

  Copy full SHA for bfcb5cd

Commits on Aug 4, 2024

• Add Arm tarball to release command

  

  hrutvik

  authored and

  xrchz

  committed
  42460f4

  Copy full SHA for 42460f4

Commits on Jul 24, 2024

• Remove incorrect List.rev

  xrchz

  committed
  1102c51

  Copy full SHA for 1102c51

• Use 100-job average for expected times

  

  hrutvik

  authored and

  xrchz

  committed
  f7ef0dd

  Copy full SHA for f7ef0dd

Commits on Jul 19, 2024

• Attempt to avoid nasty name clash between branches

  

  hrutvik

  authored and

  xrchz

  committed
  31553cb

  Copy full SHA for 31553cb

• Fully qualify external PR branches

  

  hrutvik

  authored and

  xrchz

  committed
  8c41065

  Copy full SHA for 8c41065

Commits on Apr 27, 2024

• Set TERM to nothing when running Holmake

  Show description for 921975e
  

  oskarabrahamsson

  authored and

  xrchz

  committed
  921975e

  Copy full SHA for 921975e

Commits on Jan 26, 2024

• Format average times less precisely

  xrchz

  committed
  52a9c98

  Copy full SHA for 52a9c98

Commits on Jan 25, 2024

• Add title to replaced times with the original

  xrchz

  committed
  0582183

  Copy full SHA for 0582183

Commits on Jan 24, 2024

• Replace inline javascript

  Show description for d80841e
  xrchz

  committed
  d80841e

  Copy full SHA for d80841e

• Add missing space

  xrchz

  committed
  3633649

  Copy full SHA for 3633649

• Add a manual trigger for GitHub releases

  

  hrutvik

  authored and

  xrchz

  committed
  dc42dd2

  Copy full SHA for dc42dd2

Commits on Jan 22, 2024

• Try to fix automatic asset upload

  Show description for d84460d
  

  hrutvik

  authored and

  xrchz

  committed
  d84460d

  Copy full SHA for d84460d

• Move JSON parsing code up higher

  

  hrutvik

  authored and

  xrchz

  committed
  a17d9ff

  Copy full SHA for a17d9ff

Commits on Jan 18, 2024

• Add support for automatic GitHub releases

  

  hrutvik

  authored and

  xrchz

  committed
  3176a96

  Copy full SHA for 3176a96

Commits on Nov 8, 2023

• Add support for sending Discord messages

  xrchz

  committed
  b0ac36d

  Copy full SHA for b0ac36d

Commits on Mar 23, 2023

• Fix decoding of spaces in url form data

  Show description for f83f1b3
  

  oskarabrahamsson

  authored and

  xrchz

  committed
  f83f1b3

  Copy full SHA for f83f1b3

Commits on Nov 30, 2022

• Check for proper prefix when sending slack msg

  

  HeikoBecker

  authored and

  xrchz

  committed
  7d92592

  Copy full SHA for 7d92592

• Remove unused debugging code and blank line

  

  HeikoBecker

  authored and

  xrchz

  committed
  577bf9d

  Copy full SHA for 577bf9d

• Fix some typos in serverLib.sml

  

  HeikoBecker

  authored and

  xrchz

  committed
  cc53fb3

  Copy full SHA for cc53fb3

• Rework the infrastructure to send messages via Slack

  

  HeikoBecker

  authored and

  xrchz

  committed
  3f63c3a

  Copy full SHA for 3f63c3a

Commits on Jun 26, 2021

• Send email after Slack message

  xrchz

  committed
  6ad7dd1

  Copy full SHA for 6ad7dd1

Commits on Jun 21, 2021

• Use sendmail for sending email

  xrchz

  committed
  3b7fac8

  Copy full SHA for 3b7fac8

Commits on Jun 19, 2021

• Send Slack message when jobs finish

  xrchz

  committed
  18f4aa0

  Copy full SHA for 18f4aa0

Commits on Sep 30, 2020

• misc worker improvements

  Show description for 0e66d49
  

  sorear

  authored and

  xrchz

  committed
  0e66d49

  Copy full SHA for 0e66d49

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

Pagination

Previous

Next