Skip to content

Actions: Certora/collections

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
64 workflow runs
64 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

TreapMap.keys as TreapSet Build and Test #60: Pull request #20 synchronize by ericeil
December 24, 2024 15:12 1m 26s ericeil:mapKeys
ericeil:mapKeys
December 24, 2024 15:12 1m 26s
TreapMap.keys as TreapSet Build and Test #59: Pull request #20 synchronize by ericeil
December 22, 2024 20:28 1m 22s ericeil:mapKeys
ericeil:mapKeys
December 22, 2024 20:28 1m 22s
TreapMap.keys as TreapSet Build and Test #58: Pull request #20 synchronize by ericeil
December 22, 2024 15:38 1m 16s ericeil:mapKeys
ericeil:mapKeys
December 22, 2024 15:38 1m 16s
TreapMap.keys as TreapSet Build and Test #57: Pull request #20 opened by ericeil
December 21, 2024 17:31 1m 17s ericeil:mapKeys
ericeil:mapKeys
December 21, 2024 17:31 1m 17s
TreapMap union and intersection (#19) Build and Test #56: Commit 38a54f5 pushed by ericeil
December 19, 2024 19:47 3m 34s main
main
December 19, 2024 19:47 3m 34s
TreapMap union and intersection Build and Test #55: Pull request #19 synchronize by ericeil
December 17, 2024 15:51 1m 24s ericeil:mergeModes
ericeil:mergeModes
December 17, 2024 15:51 1m 24s
TreapMap union and intersection Build and Test #54: Pull request #19 opened by ericeil
December 16, 2024 19:11 1m 27s ericeil:mergeModes
ericeil:mergeModes
December 16, 2024 19:11 1m 27s
Add TreapSet.containsAny (#18) Build and Test #53: Commit a5f3410 pushed by ericeil
December 14, 2024 15:34 3m 28s main
main
December 14, 2024 15:34 3m 28s
Add TreapSet.containsAny Build and Test #52: Pull request #18 opened by ericeil
December 13, 2024 17:06 1m 24s ericeil:containsAny
ericeil:containsAny
December 13, 2024 17:06 1m 24s
Add forEachEntry and arbitraryOrNull (#17) Build and Test #51: Commit 889dfe2 pushed by ericeil
December 9, 2024 23:56 4m 22s main
main
December 9, 2024 23:56 4m 22s
Add forEachEntry and arbitraryOrNull Build and Test #50: Pull request #17 synchronize by ericeil
December 9, 2024 22:18 2m 8s ericeil:forEachAndArbitrary
ericeil:forEachAndArbitrary
December 9, 2024 22:18 2m 8s
Add forEachEntry and arbitraryOrNull Build and Test #49: Pull request #17 opened by ericeil
December 9, 2024 18:03 2m 16s ericeil:forEachAndArbitrary
ericeil:forEachAndArbitrary
December 9, 2024 18:03 2m 16s
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