Skip to content

Actions: LaurentRDC/javelin

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
192 workflow runs
192 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Small optimization of mappend
Documentation #35: Commit acf1dd9 pushed by LaurentRDC
November 25, 2023 20:34 4m 37s master
November 25, 2023 20:34 4m 37s
Small optimization of mappend
Continuous Integration #105: Commit acf1dd9 pushed by LaurentRDC
November 25, 2023 20:34 5m 23s master
November 25, 2023 20:34 5m 23s
pages build and deployment
pages-build-deployment #22: by github-pages bot
November 25, 2023 01:30 46s gh-pages
November 25, 2023 01:30 46s
Added concatMap
Continuous Integration #104: Commit a031965 pushed by LaurentRDC
November 25, 2023 01:29 5m 26s master
November 25, 2023 01:29 5m 26s
Added concatMap
Documentation #34: Commit a031965 pushed by LaurentRDC
November 25, 2023 01:29 1m 12s master
November 25, 2023 01:29 1m 12s
Benchmark results
Continuous Integration #103: Commit e2899c4 pushed by LaurentRDC
November 24, 2023 01:45 5m 16s master
November 24, 2023 01:45 5m 16s
Benchmark results
Documentation #33: Commit e2899c4 pushed by LaurentRDC
November 24, 2023 01:45 4m 36s master
November 24, 2023 01:45 4m 36s
Added a benchmark for 'fold'
Continuous Integration #102: Commit 12d093a pushed by LaurentRDC
November 24, 2023 00:56 5m 9s master
November 24, 2023 00:56 5m 9s
Added a benchmark for 'fold'
Documentation #32: Commit 12d093a pushed by LaurentRDC
November 24, 2023 00:56 1m 56s master
November 24, 2023 00:56 1m 56s
pages build and deployment
pages-build-deployment #21: by github-pages bot
November 23, 2023 13:06 50s gh-pages
November 23, 2023 13:06 50s
added foldM and foldMWithKey
Continuous Integration #101: Commit b8116bf pushed by LaurentRDC
November 23, 2023 13:04 5m 16s master
November 23, 2023 13:04 5m 16s
added foldM and foldMWithKey
Documentation #31: Commit b8116bf pushed by LaurentRDC
November 23, 2023 13:04 2m 30s master
November 23, 2023 13:04 2m 30s
pages build and deployment
pages-build-deployment #20: by github-pages bot
November 23, 2023 02:30 49s gh-pages
November 23, 2023 02:30 49s
Added the foldWithKey interface
Documentation #30: Commit 392374a pushed by LaurentRDC
November 23, 2023 02:28 2m 12s master
November 23, 2023 02:28 2m 12s
Added the foldWithKey interface
Continuous Integration #100: Commit 392374a pushed by LaurentRDC
November 23, 2023 02:28 5m 6s master
November 23, 2023 02:28 5m 6s
pages build and deployment
pages-build-deployment #19: by github-pages bot
November 23, 2023 02:23 50s gh-pages
November 23, 2023 02:23 50s
Standard interface to fold on boxed and unboxed series
Documentation #29: Commit 2645f36 pushed by LaurentRDC
November 23, 2023 02:21 2m 14s master
November 23, 2023 02:21 2m 14s
Standard interface to fold on boxed and unboxed series
Continuous Integration #99: Commit 2645f36 pushed by LaurentRDC
November 23, 2023 02:21 5m 0s master
November 23, 2023 02:21 5m 0s
pages build and deployment
pages-build-deployment #18: by github-pages bot
November 23, 2023 02:18 44s gh-pages
November 23, 2023 02:18 44s
Standard interface to fold on boxed and unboxed series
Continuous Integration #98: Commit 0fb4807 pushed by LaurentRDC
November 23, 2023 02:16 5m 18s master
November 23, 2023 02:16 5m 18s
Standard interface to fold on boxed and unboxed series
Documentation #28: Commit 0fb4807 pushed by LaurentRDC
November 23, 2023 02:16 2m 17s master
November 23, 2023 02:16 2m 17s
pages build and deployment
pages-build-deployment #17: by github-pages bot
November 23, 2023 02:01 49s gh-pages
November 23, 2023 02:01 49s
Standard interface to fold on boxed and unbosed series
Documentation #27: Commit 8bcc006 pushed by LaurentRDC
November 23, 2023 01:59 2m 9s master
November 23, 2023 01:59 2m 9s
Standard interface to fold on boxed and unbosed series
Continuous Integration #97: Commit 8bcc006 pushed by LaurentRDC
November 23, 2023 01:59 6m 23s master
November 23, 2023 01:59 6m 23s
Minimum version for vector package
Documentation #26: Commit d98b941 pushed by LaurentRDC
November 23, 2023 00:48 50s master
November 23, 2023 00:48 50s