Skip to content

Actions: idris-community/idris2-containers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
108 workflow runs
108 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
Merge pull request #15 from idris-community/fix-doc Lint #79: Commit 609c25c pushed by Matthew-Mosior
January 10, 2025 22:06 1m 9s main
main
January 10, 2025 22:06 1m 9s
[ doc ] Fixing documentation Lint #78: Pull request #15 opened by Matthew-Mosior
January 10, 2025 22:04 1m 10s fix-doc
fix-doc
January 10, 2025 22:04 1m 10s
[ 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). Lint #77: Commit 35aef30 pushed by Matthew-Mosior
January 10, 2025 22:04 1m 19s fix-doc
fix-doc
January 10, 2025 22:04 1m 19s
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
Updating relaxedRadixIndex. Lint #76: Commit 4d89eda pushed by Matthew-Mosior
January 10, 2025 19:16 1m 11s rrb-vector-marray
rrb-vector-marray
January 10, 2025 19:16 1m 11s
Merge pull request #14 from idris-community/add-doc-text Lint #75: Commit 0ca8792 pushed by Matthew-Mosior
January 9, 2025 23:18 1m 12s main
main
January 9, 2025 23:18 1m 12s
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
[ doc ] Add Missing Documentation Lint #74: Pull request #14 opened by Matthew-Mosior
January 9, 2025 23:18 1m 9s add-doc-text
add-doc-text
January 9, 2025 23:18 1m 9s
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
Adding doc text to BoundedQueue, Tree and Queue. Lint #73: Commit f70d01f pushed by Matthew-Mosior
January 9, 2025 23:16 1m 21s add-doc-text
add-doc-text
January 9, 2025 23:16 1m 21s
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
Committing changes. Lint #72: Commit a6fea78 pushed by Matthew-Mosior
January 9, 2025 17:37 1m 13s rrb-vector-marray
rrb-vector-marray
January 9, 2025 17:37 1m 13s
Merge pull request #10 from Matthew-Mosior/rrb-vector Lint #71: Commit b631275 pushed by Matthew-Mosior
January 9, 2025 17:35 1m 18s main
main
January 9, 2025 17:35 1m 18s
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
[ new ] RRBVector Lint #70: Pull request #10 synchronize by Matthew-Mosior
January 9, 2025 17:32 1m 20s Matthew-Mosior:rrb-vector
Matthew-Mosior:rrb-vector
January 9, 2025 17:32 1m 20s
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
Merge pull request #13 from idris-community/bounded-queue Lint #69: Commit e4f0358 pushed by Matthew-Mosior
January 8, 2025 16:27 1m 19s main
main
January 8, 2025 16:27 1m 19s
[ 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
[ new ] BoundedQueue Lint #68: Pull request #13 opened by Matthew-Mosior
January 8, 2025 15:12 1m 16s bounded-queue
bounded-queue
January 8, 2025 15:12 1m 16s
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