Skip to content

Actions: StanfordLegion/prof-viewer

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
199 workflow runs
199 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a MergeDeferredDataSource which combines multiple data sources (#35) CI #250: Commit 3dd6ef7 pushed by elliottslaughter
October 21, 2023 00:10 17m 51s master
master
October 21, 2023 00:10 17m 51s
Add a MergeDeferredDataSource which combines multiple data sources CI #249: Pull request #35 synchronize by elliottslaughter
October 20, 2023 23:42 17m 37s merge-data-source
merge-data-source
October 20, 2023 23:42 17m 37s
Apply order suggestion. CI #248: Commit ad86d9e pushed by elliottslaughter
October 20, 2023 23:42 24m 9s merge-data-source
merge-data-source
October 20, 2023 23:42 24m 9s
[WIP] Plumbing for source locator CI #247: Pull request #36 synchronize by bryevdv
October 20, 2023 23:24 20m 50s bryevdv:bv/source-locator
bryevdv:bv/source-locator
October 20, 2023 23:24 20m 50s
[WIP] Plumbing for source locator CI #246: Pull request #36 synchronize by bryevdv
October 20, 2023 23:07 20m 53s bryevdv:bv/source-locator
bryevdv:bv/source-locator
October 20, 2023 23:07 20m 53s
Add a MergeDeferredDataSource which combines multiple data sources CI #245: Pull request #35 synchronize by elliottslaughter
October 20, 2023 22:54 17m 59s merge-data-source
merge-data-source
October 20, 2023 22:54 17m 59s
Minor simplification. CI #244: Commit 3baa164 pushed by elliottslaughter
October 20, 2023 22:54 20m 41s merge-data-source
merge-data-source
October 20, 2023 22:54 20m 41s
Add a MergeDeferredDataSource which combines multiple data sources CI #243: Pull request #35 synchronize by elliottslaughter
October 20, 2023 22:49 16m 57s merge-data-source
merge-data-source
October 20, 2023 22:49 16m 57s
Test merge. CI #242: Commit 7411991 pushed by elliottslaughter
October 20, 2023 22:49 20m 53s merge-data-source
merge-data-source
October 20, 2023 22:49 20m 53s
[WIP] Plumbing for source locator CI #241: Pull request #36 synchronize by bryevdv
October 20, 2023 21:33 17m 13s bryevdv:bv/source-locator
bryevdv:bv/source-locator
October 20, 2023 21:33 17m 13s
[WIP] Plumbing for source locator CI #240: Pull request #36 opened by bryevdv
October 20, 2023 20:17 17m 30s bryevdv:bv/source-locator
bryevdv:bv/source-locator
October 20, 2023 20:17 17m 30s
Add a MergeDeferredDataSource which combines multiple data sources CI #239: Pull request #35 synchronize by elliottslaughter
October 20, 2023 17:03 19m 23s merge-data-source
merge-data-source
October 20, 2023 17:03 19m 23s
Fix dependency order. CI #238: Commit 6950495 pushed by elliottslaughter
October 20, 2023 17:03 21m 50s merge-data-source
merge-data-source
October 20, 2023 17:03 21m 50s
Add a MergeDeferredDataSource which combines multiple data sources CI #237: Pull request #35 synchronize by elliottslaughter
October 20, 2023 16:58 17m 34s merge-data-source
merge-data-source
October 20, 2023 16:58 17m 34s
Simplify init code. CI #236: Commit 46cb248 pushed by elliottslaughter
October 20, 2023 16:58 18m 4s merge-data-source
merge-data-source
October 20, 2023 16:58 18m 4s
Add option for whole-word search (#32) CI #235: Commit 665d9ec pushed by elliottslaughter
October 20, 2023 16:57 18m 1s master
master
October 20, 2023 16:57 18m 1s
Add option for whole-word search CI #234: Pull request #32 synchronize by elliottslaughter
October 20, 2023 16:35 18m 18s bryevdv:bv/word-search
bryevdv:bv/word-search
October 20, 2023 16:35 18m 18s
Add option for whole-word search CI #233: Pull request #32 synchronize by elliottslaughter
October 20, 2023 16:34 20m 28s bryevdv:bv/word-search
bryevdv:bv/word-search
October 20, 2023 16:34 20m 28s
Add option for whole-word search CI #232: Pull request #32 synchronize by elliottslaughter
October 20, 2023 16:30 17m 47s bryevdv:bv/word-search
bryevdv:bv/word-search
October 20, 2023 16:30 17m 47s
Add a MergeDeferredDataSource which combines multiple data sources CI #231: Pull request #35 synchronize by elliottslaughter
October 20, 2023 06:10 16m 13s merge-data-source
merge-data-source
October 20, 2023 06:10 16m 13s
Simplify init code. CI #230: Commit cf6cbe5 pushed by elliottslaughter
October 20, 2023 06:10 24m 8s merge-data-source
merge-data-source
October 20, 2023 06:10 24m 8s
Add a MergeDeferredDataSource which combines multiple data sources CI #229: Pull request #35 opened by elliottslaughter
October 20, 2023 06:01 17m 7s merge-data-source
merge-data-source
October 20, 2023 06:01 17m 7s
Add a MergeDeferredDataSource which combines multiple data sources. CI #228: Commit 93fb3d5 pushed by elliottslaughter
October 20, 2023 05:55 17m 13s merge-data-source
merge-data-source
October 20, 2023 05:55 17m 13s
Add a FileDataSource that fetches archive files from local disk (#34) CI #227: Commit 9d587fb pushed by elliottslaughter
October 19, 2023 21:47 20m 53s master
master
October 19, 2023 21:47 20m 53s
Add option for whole-word search CI #226: Pull request #32 synchronize by bryevdv
October 19, 2023 21:27 20m 38s bryevdv:bv/word-search
bryevdv:bv/word-search
October 19, 2023 21:27 20m 38s