Skip to content

Actions: Certora/collections

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
52 workflow runs
52 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Fix type safety issues in sorted collections (#15) Build and Test #48: Commit 01ac23a pushed by ericeil
June 23, 2024 22:25 2m 11s main
main
June 23, 2024 22:25 2m 11s
Fix type safety issues in sorted collections Build and Test #47: Pull request #15 synchronize by ericeil
May 28, 2024 23:51 1m 22s ericeil:generics
ericeil:generics
May 28, 2024 23:51 1m 22s
Fix NullPointerException in treapListOf(1).subString(1, 1) (and many … Build and Test #46: Commit 1bb0beb pushed by ericeil
May 23, 2024 20:14 1m 20s main
main
May 23, 2024 20:14 1m 20s
Fix NullPointerException in treapListOf(1).subString(1, 1) (and many other cases) Build and Test #45: Pull request #16 opened by ericeil
May 23, 2024 20:01 1m 38s ericeil:npe
ericeil:npe
May 23, 2024 20:01 1m 38s
Some new performance features (#14) Build and Test #44: Commit 840d5eb pushed by ericeil
May 21, 2024 16:28 8m 37s main
main
May 21, 2024 16:28 8m 37s
Some new performance features Build and Test #43: Pull request #14 synchronize by ericeil
May 18, 2024 19:32 2m 2s ericeil:mapReduce
ericeil:mapReduce
May 18, 2024 19:32 2m 2s
Some new performance features Build and Test #42: Pull request #14 synchronize by ericeil
May 17, 2024 20:21 2m 11s ericeil:mapReduce
ericeil:mapReduce
May 17, 2024 20:21 2m 11s
Fix type safety issues in sorted collections Build and Test #41: Pull request #15 opened by ericeil
May 16, 2024 22:08 2m 3s ericeil:generics
ericeil:generics
May 16, 2024 22:08 2m 3s
Some new performance features Build and Test #40: Pull request #14 synchronize by ericeil
May 16, 2024 21:51 2m 5s ericeil:mapReduce
ericeil:mapReduce
May 16, 2024 21:51 2m 5s
Some new performance features Build and Test #39: Pull request #14 synchronize by ericeil
May 16, 2024 18:37 2m 10s ericeil:mapReduce
ericeil:mapReduce
May 16, 2024 18:37 2m 10s
Some new performance features Build and Test #38: Pull request #14 synchronize by ericeil
May 16, 2024 17:09 2m 7s ericeil:mapReduce
ericeil:mapReduce
May 16, 2024 17:09 2m 7s
Some new performance features Build and Test #37: Pull request #14 opened by ericeil
May 16, 2024 15:33 2m 11s ericeil:mapReduce
ericeil:mapReduce
May 16, 2024 15:33 2m 11s
Add new methods for querying sorted treap maps (#13) Build and Test #36: Commit 04fb5d3 pushed by ericeil
February 17, 2024 00:20 1m 32s main
main
February 17, 2024 00:20 1m 32s
Add new methods for querying sorted treap maps Build and Test #35: Pull request #13 opened by ericeil
February 16, 2024 23:47 1m 17s ericeil:eric/firstLast
ericeil:eric/firstLast
February 16, 2024 23:47 1m 17s
Update README.md Build and Test #34: Commit aac4001 pushed by ericeil
February 9, 2024 15:26 1m 26s main
main
February 9, 2024 15:26 1m 26s
Introduce TreapList (#12) Build and Test #33: Commit 315e3db pushed by ericeil
February 8, 2024 14:57 2m 10s main
main
February 8, 2024 14:57 2m 10s
Introduce TreapList Build and Test #32: Pull request #12 synchronize by ericeil
February 8, 2024 14:52 2m 14s ericeil:list
ericeil:list
February 8, 2024 14:52 2m 14s
Introduce TreapList Build and Test #31: Pull request #12 synchronize by ericeil
February 5, 2024 22:06 2m 2s ericeil:list
ericeil:list
February 5, 2024 22:06 2m 2s
Introduce TreapList Build and Test #30: Pull request #12 opened by ericeil
February 5, 2024 17:10 2m 12s ericeil:list
ericeil:list
February 5, 2024 17:10 2m 12s
Fix stack overflow in TreapMapBuilder.clear() (#11) Build and Test #29: Commit 38f10b6 pushed by ericeil
January 12, 2024 21:09 2m 4s main
main
January 12, 2024 21:09 2m 4s
Fix stack overflow in TreapMapBuilder.clear() Build and Test #28: Pull request #11 opened by ericeil
January 12, 2024 19:55 2m 1s ericeil:eric/clear
ericeil:eric/clear
January 12, 2024 19:55 2m 1s
Better diagnostics for map iteration while mutating (#10) Build and Test #27: Commit 9ccf2b2 pushed by ericeil
December 16, 2023 00:03 2m 18s main
main
December 16, 2023 00:03 2m 18s
Better diagnostics for map iteration while mutating Build and Test #26: Pull request #10 opened by ericeil
December 15, 2023 22:57 2m 5s ericeil:mapEntry
ericeil:mapEntry
December 15, 2023 22:57 2m 5s
Publish docs (#8) Build and Test #25: Commit 946ba94 pushed by ericeil
December 2, 2023 00:21 2m 18s main
main
December 2, 2023 00:21 2m 18s
Publish docs Build and Test #24: Pull request #8 synchronize by ericeil
December 2, 2023 00:18 2m 2s eric/javadoc
eric/javadoc
December 2, 2023 00:18 2m 2s