Skip to content

Actions: idris-community/idris2-containers

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-lib.yml
54 workflow runs
54 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #15 from idris-community/fix-doc Build #79: Commit 609c25c pushed by Matthew-Mosior
January 10, 2025 22:06 43s main
main
January 10, 2025 22:06 43s
[ doc ] Fixing documentation Build #78: Pull request #15 opened by Matthew-Mosior
January 10, 2025 22:04 42s fix-doc
fix-doc
January 10, 2025 22:04 42s
Fixing documentation (removing punctuation). Build #77: Commit 35aef30 pushed by Matthew-Mosior
January 10, 2025 22:04 42s fix-doc
fix-doc
January 10, 2025 22:04 42s
Updating relaxedRadixIndex. Build #76: Commit 4d89eda pushed by Matthew-Mosior
January 10, 2025 19:16 38s rrb-vector-marray
rrb-vector-marray
January 10, 2025 19:16 38s
Merge pull request #14 from idris-community/add-doc-text Build #75: Commit 0ca8792 pushed by Matthew-Mosior
January 9, 2025 23:18 43s main
main
January 9, 2025 23:18 43s
[ doc ] Add Missing Documentation Build #74: Pull request #14 opened by Matthew-Mosior
January 9, 2025 23:18 44s add-doc-text
add-doc-text
January 9, 2025 23:18 44s
Adding doc text to BoundedQueue, Tree and Queue. Build #73: Commit f70d01f pushed by Matthew-Mosior
January 9, 2025 23:16 43s add-doc-text
add-doc-text
January 9, 2025 23:16 43s
Committing changes. Build #72: Commit a6fea78 pushed by Matthew-Mosior
January 9, 2025 17:37 38s rrb-vector-marray
rrb-vector-marray
January 9, 2025 17:37 38s
Merge pull request #10 from Matthew-Mosior/rrb-vector Build #71: Commit b631275 pushed by Matthew-Mosior
January 9, 2025 17:35 46s main
main
January 9, 2025 17:35 46s
[ new ] RRBVector Build #70: Pull request #10 synchronize by Matthew-Mosior
January 9, 2025 17:32 46s Matthew-Mosior:rrb-vector
Matthew-Mosior:rrb-vector
January 9, 2025 17:32 46s
Merge pull request #13 from idris-community/bounded-queue Build #69: Commit e4f0358 pushed by Matthew-Mosior
January 8, 2025 16:27 39s main
main
January 8, 2025 16:27 39s
[ new ] BoundedQueue Build #68: Pull request #13 opened by Matthew-Mosior
January 8, 2025 15:12 40s bounded-queue
bounded-queue
January 8, 2025 15:12 40s
Add bounded-queue. Build #67: Commit 9106131 pushed by Matthew-Mosior
January 8, 2025 15:09 39s bounded-queue
bounded-queue
January 8, 2025 15:09 39s
Merge pull request #12 from Matthew-Mosior/seq Build #66: Commit 75793df pushed by stefan-hoeck
January 8, 2025 06:31 38s main
main
January 8, 2025 06:31 38s
[ new ] Seq Build #65: Pull request #12 opened by Matthew-Mosior
January 8, 2025 05:20 39s Matthew-Mosior:seq
Matthew-Mosior:seq
January 8, 2025 05:20 39s
[ new ] Seq and BoundedQueue Build #64: Pull request #11 synchronize by Matthew-Mosior
January 6, 2025 18:37 35s Matthew-Mosior:bounded-queue
Matthew-Mosior:bounded-queue
January 6, 2025 18:37 35s
[ new ] Seq and BoundedQueue Build #63: Pull request #11 synchronize by Matthew-Mosior
January 6, 2025 06:43 35s Matthew-Mosior:bounded-queue
Matthew-Mosior:bounded-queue
January 6, 2025 06:43 35s
[ new ] Seq and BoundedQueue Build #62: Pull request #11 synchronize by Matthew-Mosior
January 6, 2025 06:42 37s Matthew-Mosior:bounded-queue
Matthew-Mosior:bounded-queue
January 6, 2025 06:42 37s
[ new ] Seq and BoundedQueue Build #61: Pull request #11 synchronize by Matthew-Mosior
January 6, 2025 05:47 31s Matthew-Mosior:bounded-queue
Matthew-Mosior:bounded-queue
January 6, 2025 05:47 31s
[ new ] Seq and BoundedQueue Build #60: Pull request #11 synchronize by Matthew-Mosior
January 6, 2025 04:57 32s Matthew-Mosior:bounded-queue
Matthew-Mosior:bounded-queue
January 6, 2025 04:57 32s
[ new ] Seq and BoundedQueue Build #59: Pull request #11 synchronize by Matthew-Mosior
January 5, 2025 04:08 37s Matthew-Mosior:bounded-queue
Matthew-Mosior:bounded-queue
January 5, 2025 04:08 37s
[ new ] Seq and BoundedQueue Build #58: Pull request #11 synchronize by Matthew-Mosior
January 5, 2025 03:26 43s Matthew-Mosior:bounded-queue
Matthew-Mosior:bounded-queue
January 5, 2025 03:26 43s
[ new ] Seq and BoundedQueue Build #57: Pull request #11 synchronize by Matthew-Mosior
January 5, 2025 02:53 33s Matthew-Mosior:bounded-queue
Matthew-Mosior:bounded-queue
January 5, 2025 02:53 33s
[ new ] Seq and BoundedQueue Build #56: Pull request #11 synchronize by Matthew-Mosior
January 4, 2025 23:52 31s Matthew-Mosior:bounded-queue
Matthew-Mosior:bounded-queue
January 4, 2025 23:52 31s
[ new ] Seq and BoundedQueue Build #55: Pull request #11 opened by Matthew-Mosior
January 4, 2025 23:46 33s Matthew-Mosior:bounded-queue
Matthew-Mosior:bounded-queue
January 4, 2025 23:46 33s