All Workflows test.yml

Actor

All actors ajet

Status

All status success failure waiting running

assertTrue > assertEqual(true,...)

#29:Commit 0324724fb7 pushed by ajet

main

2025-11-06 11:15:21 -10:00

5s

min-max coverage for effort (for now)

#28:Commit 7e5a65e281 pushed by ajet

main

2025-11-05 06:53:18 -10:00

3s

sprinkle in some PBT

#27:Commit ca2485b725 pushed by ajet

main

2025-11-05 06:43:29 -10:00

3s

strengthen constraint

#26:Commit 465c959414 pushed by ajet

main

2025-11-05 04:54:08 -10:00

4s

PBT all the things

#25:Commit ba00edc4db pushed by ajet

main

2025-11-05 04:50:14 -10:00

5s

franz newline

#24:Commit a6f8502fbb pushed by ajet

main

2025-11-04 18:40:00 -10:00

3s

add Cons and IListify all the things

#23:Commit bfb8a2b0d8 pushed by ajet

main

2025-11-04 18:39:13 -10:00

3s

update IColl asbstractions

#22:Commit d573528f3b pushed by ajet

main

2025-11-04 18:33:10 -10:00

4s

fix assert comment

#21:Commit 0c9e3aa20b pushed by ajet

main

2025-11-04 18:11:30 -10:00

3s

add assert comments

#20:Commit 72da3ec820 pushed by ajet

main

2025-11-04 18:06:23 -10:00

3s

rename test

#19:Commit df56597332 pushed by ajet

main

2025-11-04 17:51:14 -10:00

3s

clean up

#18:Commit 4deba4be78 pushed by ajet

main

2025-11-04 17:50:37 -10:00

4s

golf coverage

#17:Commit b7b7f79559 pushed by ajet

main

2025-11-04 17:37:59 -10:00

3s

never go full pbt ;)

#16:Commit 6155074b77 pushed by ajet

main

2025-11-04 17:36:24 -10:00

3s

remove unused func

#15:Commit 8dd6fd958d pushed by ajet

main

2025-11-04 17:23:59 -10:00

4s

generate empty lists

#14:Commit 3b4c206003 pushed by ajet

main

2025-11-04 17:21:59 -10:00

4s

test First()

#13:Commit cfbddb3f39 pushed by ajet

main

2025-11-04 17:19:51 -10:00

4s

try PBT with coverage #2

#12:Commit f5f7691de0 pushed by ajet

main

2025-11-04 17:17:07 -10:00

3s

remove unreacahble code

#11:Commit b9b88d8fa0 pushed by ajet

main

2025-11-04 15:16:57 -10:00

4s

get rid of extra module level funcs

#10:Commit 5ac5acd6d1 pushed by ajet

main

2025-11-04 15:14:56 -10:00

3s

test coverage only by PBT

#9:Commit ec10d85591 pushed by ajet

main

2025-11-04 15:11:41 -10:00

14s

get rid of extra module level funcs

#8:Commit 5ac5acd6d1 pushed by ajet

main

2025-11-04 15:08:39 -10:00

4s

add PBT for list len

#7:Commit 413ab23904 pushed by ajet

main

2025-11-04 14:58:23 -10:00

12s

use v3; v4 unsupported on Gitea

#6:Commit 645fd64752 pushed by ajet

main

2025-11-04 14:01:28 -10:00

12s

upload test coverage report

#5:Commit d4be329cb6 pushed by ajet

main

2025-11-04 13:53:40 -10:00

4s

bring back empty() vs new(val)

#4:Commit db1bd5f322 pushed by ajet

main

2025-11-04 13:03:16 -10:00

11s

start the tower of abstractions

#3:Commit 4e1cbce3a7 pushed by ajet

main

2025-11-04 12:25:54 -10:00

28s

support non-nil empty list

#2:Commit d3997bfb53 pushed by ajet

main

2025-11-04 11:50:43 -10:00

3s

add ci

#1:Commit f636603fd2 pushed by ajet

main

2025-11-04 09:49:54 -10:00

21s