Skip to content

Actions: sourcegraph/zoekt

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
612 workflow runs
612 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simplify trigram selection in distanceHitIterator
CI #2977: Pull request #782 opened by jtibshirani
May 14, 2024 18:24 3m 2s jtibs/trigrams
May 14, 2024 18:24 3m 2s
Avoid overlapping trigrams in distanceHitIterator (#779)
CI #2976: Commit fe8f2a3 pushed by jtibshirani
May 14, 2024 17:00 10m 53s main
May 14, 2024 17:00 10m 53s
Rename UseKeywordScoring to mention BM25 (#778)
CI #2972: Commit 4e674a4 pushed by jtibshirani
May 7, 2024 17:57 11m 22s main
May 7, 2024 17:57 11m 22s
Rename UseKeywordScoring to mention BM25
CI #2971: Pull request #778 synchronize by jtibshirani
May 7, 2024 17:45 3m 7s jtibs/bm25
May 7, 2024 17:45 3m 7s
Rename UseKeywordScoring to mention BM25
CI #2970: Pull request #778 synchronize by jtibshirani
May 7, 2024 17:25 2m 58s jtibs/bm25
May 7, 2024 17:25 2m 58s
Rename UseKeywordScoring to mention BM25
CI #2969: Pull request #778 synchronize by jtibshirani
May 7, 2024 17:20 2m 58s jtibs/bm25
May 7, 2024 17:20 2m 58s
Rename UseKeywordScoring to mention BM25
CI #2968: Pull request #778 opened by jtibshirani
May 7, 2024 17:12 2m 4s jtibs/bm25
May 7, 2024 17:12 2m 4s
zoekt-mirror-gerrit: fix fetch for meta/config (#777)
CI #2967: Commit 9f35cb1 pushed by keegancsmith
May 6, 2024 12:56 10m 52s main
May 6, 2024 12:56 10m 52s
May 3, 2024 19:12 11m 31s
May 3, 2024 07:59 11m 25s
May 3, 2024 07:55 10m 52s
fix: don't modify finalCands (#773)
CI #2956: Commit 72f9500 pushed by stefanhengl
May 1, 2024 07:21 11m 22s main
May 1, 2024 07:21 11m 22s
zoekt-mirror-gerrit: handle http authentication (#770)
CI #2953: Commit 68d0465 pushed by keegancsmith
April 30, 2024 08:50 11m 29s main
April 30, 2024 08:50 11m 29s
Honor regex flags for case-sensitivity (#767)
CI #2952: Commit 570757e pushed by mmanela
April 29, 2024 18:23 11m 33s main
April 29, 2024 18:23 11m 33s
ProTip! You can narrow down the results and go further in time using created:<2024-04-29 or the other filters available.