Skip to content

Actions: durban/choam

Actions

Continuous Integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
406 workflow runs
406 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make Defer#fix safer Continuous Integration #1522: Commit bcbc64b pushed by durban
May 24, 2024 18:32 27m 39s main
main
May 24, 2024 18:32 27m 39s
Override fix in Defer instance, to avoid lazy val Continuous Integration #1521: Commit 88bbc77 pushed by durban
May 24, 2024 00:08 50m 6s main
main
May 24, 2024 00:08 50m 6s
Dependency updates Continuous Integration #1520: Commit 6c4ee2d pushed by durban
May 23, 2024 19:58 24m 50s main
main
May 23, 2024 19:58 24m 50s
Add getting started example to readme Continuous Integration #1519: Commit 3f0a15a pushed by durban
May 23, 2024 00:18 38m 33s main
main
May 23, 2024 00:18 38m 33s
Add version indicator to readme Continuous Integration #1518: Commit b71850c pushed by durban
May 22, 2024 23:24 45m 2s main
main
May 22, 2024 23:24 45m 2s
Cleanup Continuous Integration #1517: Commit 513f1f7 pushed by durban
May 22, 2024 20:25 26m 47s main
main
May 22, 2024 20:25 26m 47s
Improved readme Continuous Integration #1516: Commit 621134c pushed by durban
May 22, 2024 19:32 46m 32s main
main
May 22, 2024 19:32 46m 32s
Mention csrSameVersions in readme Continuous Integration #1515: Commit ec363b6 pushed by durban
May 17, 2024 10:25 29m 31s main
main
May 17, 2024 10:25 29m 31s
Build updates Continuous Integration #1514: Commit cf3f3db pushed by durban
May 16, 2024 20:41 26m 31s main
main
May 16, 2024 20:41 26m 31s
RxnProfiler: some documentation Continuous Integration #1513: Commit fc44137 pushed by durban
May 16, 2024 00:44 25m 39s main
main
May 16, 2024 00:44 25m 39s
RxnProfiler: avg/max log size Continuous Integration #1512: Commit d3ac4d6 pushed by durban
May 15, 2024 21:54 26m 52s main
main
May 15, 2024 21:54 26m 52s
Even more stats Continuous Integration #1511: Commit 7838b1b pushed by durban
May 14, 2024 22:46 24m 25s main
main
May 14, 2024 22:46 24m 25s
Fix test Continuous Integration #1510: Commit 2ac4dad pushed by durban
May 13, 2024 23:47 17m 7s main
main
May 13, 2024 23:47 17m 7s
Move RxnProfiler to a separate (published) module Continuous Integration #1509: Commit 3bdf95c pushed by durban
May 13, 2024 22:03 30m 16s main
main
May 13, 2024 22:03 30m 16s
TODO comments Continuous Integration #1508: Commit 9a7790e pushed by durban
May 13, 2024 05:12 26m 41s main
main
May 13, 2024 05:12 26m 41s
HAMT: try to optimize getting the hash by using <: Continuous Integration #1507: Commit e3b8e88 pushed by durban
May 12, 2024 15:11 27m 23s main
main
May 12, 2024 15:11 27m 23s
Improved LogMapBench Continuous Integration #1506: Commit d7af367 pushed by durban
May 12, 2024 14:19 25m 51s main
main
May 12, 2024 14:19 25m 51s
Lazier initialization of desc [stressCore] Continuous Integration #1505: Commit b5dc0ec pushed by durban
May 12, 2024 03:02 55m 32s main
main
May 12, 2024 03:02 55m 32s
Dependency updates Continuous Integration #1504: Commit 2b8c116 pushed by durban
May 12, 2024 02:32 27m 31s main
main
May 12, 2024 02:32 27m 31s
Dependency updates Continuous Integration #1503: Commit 2b8c116 pushed by durban
May 11, 2024 19:54 24m 10s wipMutDesc
wipMutDesc
May 11, 2024 19:54 24m 10s
Cleanup Continuous Integration #1502: Commit 2624789 pushed by durban
May 11, 2024 19:08 40m 30s wipMutDesc
wipMutDesc
May 11, 2024 19:08 40m 30s
HAMT: try to optimize(?) by avoiding if-else when possible Continuous Integration #1501: Commit 2c126ec pushed by durban
May 11, 2024 16:50 27m 32s wipMutDesc
wipMutDesc
May 11, 2024 16:50 27m 32s
Cleanup Continuous Integration #1500: Commit e3d26fc pushed by durban
May 11, 2024 11:57 28m 37s wipMutDesc
wipMutDesc
May 11, 2024 11:57 28m 37s
Improved LogMapBench Continuous Integration #1499: Commit 6a43ba4 pushed by durban
May 11, 2024 10:40 24m 6s wipMutDesc
wipMutDesc
May 11, 2024 10:40 24m 6s
MutHamt: make sure the last level has array sizes <= 16 Continuous Integration #1498: Commit 9fdd3c2 pushed by durban
May 11, 2024 04:02 27m 46s wipMutDesc
wipMutDesc
May 11, 2024 04:02 27m 46s