Skip to content

Actions: Certora/collections

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
49 workflow runs
49 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reduce equality checks in hashed set/map operations Build and Test #72: Pull request #22 synchronize by ericeil
January 8, 2025 18:56 1m 24s ericeil:hashPerf
ericeil:hashPerf
January 8, 2025 18:56 1m 24s
Reduce equality checks in hashed set/map operations Build and Test #71: Pull request #22 opened by ericeil
January 8, 2025 17:24 1m 26s ericeil:hashPerf
ericeil:hashPerf
January 8, 2025 17:24 1m 26s
TreapMap.keys as TreapSet (#20) Build and Test #70: Commit e2d8c8e pushed by ericeil
January 7, 2025 20:49 3m 33s main
main
January 7, 2025 20:49 3m 33s
TreapMap.keys as TreapSet Build and Test #69: Pull request #20 synchronize by ericeil
January 7, 2025 20:47 1m 23s ericeil:mapKeys
ericeil:mapKeys
January 7, 2025 20:47 1m 23s
TreapMap.keys as TreapSet Build and Test #68: Pull request #20 synchronize by ericeil
January 7, 2025 19:25 1m 20s ericeil:mapKeys
ericeil:mapKeys
January 7, 2025 19:25 1m 20s
TreapMap.keys as TreapSet Build and Test #67: Pull request #20 synchronize by ericeil
January 7, 2025 16:18 1m 32s ericeil:mapKeys
ericeil:mapKeys
January 7, 2025 16:18 1m 32s
TreapMap.keys as TreapSet Build and Test #66: Pull request #20 synchronize by ericeil
January 6, 2025 22:37 1m 19s ericeil:mapKeys
ericeil:mapKeys
January 6, 2025 22:37 1m 19s
Intersection mode for merge (#21) Build and Test #65: Commit 78857f0 pushed by ericeil
January 3, 2025 16:07 3m 33s main
main
January 3, 2025 16:07 3m 33s
TreapMap.keys as TreapSet Build and Test #64: Pull request #20 synchronize by ericeil
January 2, 2025 20:00 1m 18s ericeil:mapKeys
ericeil:mapKeys
January 2, 2025 20:00 1m 18s
Intersection mode for merge Build and Test #63: Pull request #21 opened by ericeil
January 2, 2025 19:07 1m 26s ericeil:mergeOptions
ericeil:mergeOptions
January 2, 2025 19:07 1m 26s
TreapMap.keys as TreapSet Build and Test #62: Pull request #20 synchronize by ericeil
January 2, 2025 16:12 1m 29s ericeil:mapKeys
ericeil:mapKeys
January 2, 2025 16:12 1m 29s
TreapMap.keys as TreapSet Build and Test #61: Pull request #20 synchronize by ericeil
December 30, 2024 17:52 1m 30s ericeil:mapKeys
ericeil:mapKeys
December 30, 2024 17:52 1m 30s
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