Skip to content

GitLab

Delete send_pr.js

3 jobs for query_pr in 13 minutes and 51 seconds (queued for 5 minutes and 19 seconds)
d4817dd7
1 related merge request: !26 CVS scripts, unneeded
Status Job ID Name Coverage
  Build
passed #1690
build-sbbs

00:11:52

passed #1691
build-sexpots

00:00:09

passed #1692
build-syncterm

00:01:48