MirrorMirror
/
riju
mirror of https://github.com/radian-software/riju.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Deal with Carp being sloooooooow

This commit is contained in:
Radon Rosborough 2021-08-15 18:33:45 -07:00
parent 41272fc6d7
commit 9a89d1a14a
4 changed files with 22 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
backend/test-runner.js
View File

@ -123,7 +123,7 @@ class Test {
timeout = setTimeout(() => {
this.timedOut = true;
this.handleUpdate();
}, TIMEOUT * 1000 * PATIENCE);
}, TIMEOUT * 1000 * PATIENCE * (this.config.timeoutFactor || 1));
await session.setup();
switch (this.type) {
case "ensure":

2
langs/carp.yaml
View File

@ -45,3 +45,5 @@ run: |
scope:
code: |
(def x (* 123 234))
timeoutFactor: 4

12
lib/jsonschema.yaml
View File

@ -961,6 +961,18 @@ properties:
type: string
minLength: 1
timeoutFactor:
title: "Per-language multiplier for test timeouts"
description: |
Some languages are slow. To account for this, Riju's test
timeouts are fairly forgiving. However, some languages are not
just slow but absolutely GLACIAL. To deal with these, you can
specify 'timeoutFactor' as an integer multiplier for the test
timeout (default or user-supplied) that would otherwise be used
for the language.
type: integer
minimum: 1
default: 1
skip:
type: array
items:

14
packer/provision-web.bash
View File

@ -55,13 +55,13 @@ sudo mv /tmp/riju.service /tmp/riju.slice /etc/systemd/system/
sudo mv /tmp/cloudwatch.json /opt/aws/amazon-cloudwatch-agent/bin/config.json
sudo mv /tmp/riju-init-volume /tmp/riju-supervisor /usr/local/bin/
sudo sed -Ei 's/^#?PermitRootLogin .*/PermitRootLogin no/' /etc/ssh/sshd_config
sudo sed -Ei 's/^#?PasswordAuthentication .*/PasswordAuthentication no/' /etc/ssh/sshd_config
sudo sed -Ei 's/^#?PermitEmptyPasswords .*/PermitEmptyPasswords no/' /etc/ssh/sshd_config
sudo sed -Ei "s/\\\$AWS_REGION/${AWS_REGION}/" /etc/systemd/system/riju.service
sudo sed -Ei "s/\\\$FATHOM_SITE_ID/${FATHOM_SITE_ID:-}/" /etc/systemd/system/riju.service
sudo sed -Ei "s/\\\$S3_BUCKET/${S3_BUCKET}/" /etc/systemd/system/riju.service
sudo sed -Ei "s/\\\$SENTRY_DSN/${SENTRY_DSN:-}/" /etc/systemd/system/riju.service
sudo sed -Ei 's|^#?PermitRootLogin .*|PermitRootLogin no|' /etc/ssh/sshd_config
sudo sed -Ei 's|^#?PasswordAuthentication .*|PasswordAuthentication no|' /etc/ssh/sshd_config
sudo sed -Ei 's|^#?PermitEmptyPasswords .*|PermitEmptyPasswords no|' /etc/ssh/sshd_config
sudo sed -Ei "s|\\\$AWS_REGION|${AWS_REGION}|" /etc/systemd/system/riju.service
sudo sed -Ei "s|\\\$FATHOM_SITE_ID|${FATHOM_SITE_ID:-}|" /etc/systemd/system/riju.service
sudo sed -Ei "s|\\\$S3_BUCKET|${S3_BUCKET}|" /etc/systemd/system/riju.service
sudo sed -Ei "s|\\\$SENTRY_DSN|${SENTRY_DSN:-}|" /etc/systemd/system/riju.service
sudo sed -Ei "s|\\\$SUPERVISOR_ACCESS_TOKEN|${SUPERVISOR_ACCESS_TOKEN}|" /etc/systemd/system/riju.service
sudo passwd -l root