Skip to content

Actions: StanfordLegion/prof-viewer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
253 workflow runs
253 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
pages build and deployment pages-build-deployment #54: by github-pages bot
October 20, 2023 17:00 53s gh-pages
gh-pages
October 20, 2023 17:00 53s
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) Github Pages #62: Commit 665d9ec pushed by elliottslaughter
October 20, 2023 16:57 3m 19s master
master
October 20, 2023 16:57 3m 19s
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
pages build and deployment pages-build-deployment #53: by github-pages bot
October 19, 2023 21:49 53s gh-pages
gh-pages
October 19, 2023 21:49 53s
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 a FileDataSource that fetches archive files from local disk (#34) Github Pages #61: Commit 9d587fb pushed by elliottslaughter
October 19, 2023 21:47 1m 23s master
master
October 19, 2023 21:47 1m 23s
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
Add a FileDataSource that fetches archive files from local disk CI #225: Pull request #34 synchronize by elliottslaughter
October 19, 2023 20:55 17m 32s file-data-source
file-data-source
October 19, 2023 20:55 17m 32s
ProTip! You can narrow down the results and go further in time using created:<2023-10-19 or the other filters available.