Skip to content

Workflows

Select workflow

Select workflow

CI

Create status badge

Create status badge

21 workflow runs
21 workflow runs
Event

Filter by event

Status

Filter by status

Branch

Filter by branch

Actor

Filter by actor

stricter score.is_exact() CI #21: Commit 3fc1123 pushed by wtsnjp
Oct 3, 2021 7m 6s master
Oct 3, 2021 7m 6s
stricter score.is_exact() CI #20: Commit 3fc1123 pushed by wtsnjp
Sep 21, 2021 3m 57s scoring
Sep 21, 2021 3m 57s
remove garbage code CI #19: Commit 351394f pushed by wtsnjp
Sep 21, 2021 7m 52s scoring
Sep 21, 2021 7m 52s
better locale handling in scoring (fix #70) CI #18: Commit 1b2a302 pushed by wtsnjp
Sep 21, 2021 15m 0s scoring
Sep 21, 2021 15m 0s
better locale handling in scoring (fix 70) CI #17: Commit 6472fa7 pushed by wtsnjp
Sep 21, 2021 6m 36s scoring
Sep 21, 2021 6m 36s
show webman.pdf for query "web" (fix #71) CI #15: Commit 70bbd81 pushed by wtsnjp
Jul 27, 2021 7m 55s master
Jul 27, 2021 7m 55s
bump version to 3.3.1 CI #12: Commit a16bef1 pushed by wtsnjp
May 20, 2021 9m 49s v3.3.1
May 20, 2021 9m 49s
bump version to 3.3.1 CI #11: Commit a16bef1 pushed by wtsnjp
May 20, 2021 5m 52s master
May 20, 2021 5m 52s
show symbols-a4.pdf for the "symbols" query (fix #66) CI #8: Commit 0e9f086 pushed by wtsnjp
May 18, 2021 10m 17s master
May 18, 2021 10m 17s
show index.pdf for the "knuth-pdf" query (fix #64) CI #6: Commit 795d819 pushed by wtsnjp
Apr 26, 2021 6m 56s master
Apr 26, 2021 6m 56s
migrate to GitHub Actions CI #5: Commit 34fde04 pushed by wtsnjp
Apr 26, 2021 7m 54s master
Apr 26, 2021 7m 54s
skip for ubuntu-latest CI #4: Commit 537e2f2 pushed by wtsnjp
Apr 26, 2021 8m 49s github-actions
Apr 26, 2021 8m 49s
need docfiles CI #2: Commit c6fc2ae pushed by wtsnjp
Apr 26, 2021 7m 35s github-actions
Apr 26, 2021 7m 35s
migrate to GitHub Actions CI #1: Commit 54b6870 pushed by wtsnjp
Apr 26, 2021 7m 8s github-actions
Apr 26, 2021 7m 8s