Skip to content

Actions: idris-community/idris2-containers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
124 workflow runs
124 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #18 from mattpolzin/add-snocvect-type
Lint #87: Commit 49d5fc9 pushed by stefan-hoeck
January 21, 2025 18:19 1m 10s main
January 21, 2025 18:19 1m 10s
Merge pull request #18 from mattpolzin/add-snocvect-type
Build #87: Commit 49d5fc9 pushed by stefan-hoeck
January 21, 2025 18:19 48s main
January 21, 2025 18:19 48s
Add the SnocVect datatype
Build #86: Pull request #18 synchronize by mattpolzin
January 21, 2025 16:04 48s mattpolzin:add-snocvect-type
January 21, 2025 16:04 48s
Add the SnocVect datatype
Lint #86: Pull request #18 synchronize by mattpolzin
January 21, 2025 16:04 1m 12s mattpolzin:add-snocvect-type
January 21, 2025 16:04 1m 12s
Add the SnocVect datatype
Lint #85: Pull request #18 synchronize by mattpolzin
January 21, 2025 15:56 1m 22s mattpolzin:add-snocvect-type
January 21, 2025 15:56 1m 22s
Add the SnocVect datatype
Build #85: Pull request #18 synchronize by mattpolzin
January 21, 2025 15:56 43s mattpolzin:add-snocvect-type
January 21, 2025 15:56 43s
Merge pull request #17 from mattpolzin/add-fvect-type
Build #84: Commit 3577db8 pushed by stefan-hoeck
January 21, 2025 03:37 40s main
January 21, 2025 03:37 40s
Merge pull request #17 from mattpolzin/add-fvect-type
Lint #84: Commit 3577db8 pushed by stefan-hoeck
January 21, 2025 03:37 1m 8s main
January 21, 2025 03:37 1m 8s
Add the SnocVect datatype
Lint #83: Pull request #18 synchronize by mattpolzin
January 20, 2025 16:53 1m 11s mattpolzin:add-snocvect-type
January 20, 2025 16:53 1m 11s
Add the SnocVect datatype
Build #83: Pull request #18 synchronize by mattpolzin
January 20, 2025 16:53 42s mattpolzin:add-snocvect-type
January 20, 2025 16:53 42s
Add the SnocVect datatype
Lint #82: Pull request #18 opened by mattpolzin
January 20, 2025 16:51 1m 12s mattpolzin:add-snocvect-type
January 20, 2025 16:51 1m 12s
Add the SnocVect datatype
Build #82: Pull request #18 opened by mattpolzin
January 20, 2025 16:51 41s mattpolzin:add-snocvect-type
January 20, 2025 16:51 41s
Add the FVect datatype
Lint #81: Pull request #17 synchronize by mattpolzin
January 20, 2025 16:48 1m 11s mattpolzin:add-fvect-type
January 20, 2025 16:48 1m 11s
Add the FVect datatype
Build #81: Pull request #17 synchronize by mattpolzin
January 20, 2025 16:48 41s mattpolzin:add-fvect-type
January 20, 2025 16:48 41s
Add the FVect datatype
Lint #80: Pull request #17 opened by mattpolzin
January 20, 2025 16:42 1m 11s mattpolzin:add-fvect-type
January 20, 2025 16:42 1m 11s
Add the FVect datatype
Build #80: Pull request #17 opened by mattpolzin
January 20, 2025 16:42 40s mattpolzin:add-fvect-type
January 20, 2025 16:42 40s
Merge pull request #15 from idris-community/fix-doc
Build #79: Commit 609c25c pushed by Matthew-Mosior
January 10, 2025 22:06 43s 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
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
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
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
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
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
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
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
January 9, 2025 23:18 1m 12s