Haruka Kawamura

Uncaught exception occurs when an opaque term is unfolded

1

#### Description of the problem Using `unfold` tactic on an opaque term with `at` results in the following error message. ``` Anomaly "Uncaught exception Environ.NotEvaluableConst(1)." Please report at http://coq.inria.fr/bugs/. ```...

**What happened**: If [stopPeriodic](https://github.com/screwdriver-cd/queue-service/blob/6a1428893cecef880fcf1269ca286d73f3d8ea36/plugins/queue/scheduler.js#L89) of queue-service fails for some reason, the periodic execution of the job that becomes archived does not stop. **What you expected to happen**: The latest status...

**What happened**: We sometimes want to share cache only with related jobs. **What you expected to happen**: We prepare a cache which is shared only with specific multiple jobs.

List view restart behaves strangely

1

**What happened**: The event created by list view restart is as follows. - The `parentEventId` is the `eventId` of the latest event in which the job has been executed -...

The status UNKNOWN in the UI is sometimes inappropriate

2

**What happened**: If we create an event whose `startFrom` is `~commit` in a pipeline which does not have a job with `~commit` in `requires`, the status in the UI becomes...

**What happened**: JavaScript version in eslint configuration is old, so using modern JavaScript features results in errors in eslint. **What you expected to happen**: Modern JavaScript syntax is usable. **How...

# 概要 [Least upper bound of truncation error of low-rank matrix approximation algorithm using QR decomposition with pivoting](https://link.springer.com/article/10.1007/s13160-021-00459-x)のPreliminariesまで実装した。

**What happened**: `Disable this job` tooltip is not displayed when transitioning from collection pages. **What you expected to happen**: `Disable this job` tooltip is displayed. **How to reproduce it**: Open...