All Workflows Flow.yaml Push_ghcr.yaml

Actor

All actors ben0i0d

Status

All status success failure waiting running

switch pip to ustc

#35:Commit 7ccaedbddd pushed by ben0i0d

main

2025-03-10 06:07:40 +00:00

1h16m57s

repair agda

#31:Commit fabde06486 pushed by ben0i0d

main

2025-02-08 06:26:38 +00:00

32s

switch back to bookworm

#29:Commit ba15bda4c8 pushed by ben0i0d

main

2025-02-08 06:26:38 +00:00

4m10s

repair

#27:Commit 77a502f2d1 pushed by ben0i0d

main

2025-02-06 07:10:04 +00:00

-1m45s

add jax to pyai

#25:Commit 829ec2f144 pushed by ben0i0d

main

2025-02-06 05:30:02 +00:00

1m30s

disable cadabra2(dep unsatisfy) & sagemath(not avaiable in trixie)

#19:Commit 11ff90e48c pushed by ben0i0d

main

2025-01-19 18:22:38 +00:00

1m1s

bookworm -> trixie

#17:Commit 188f2296cd pushed by ben0i0d

main

2025-01-19 16:40:42 +00:00

1m35s

update mma

#13:Commit f9ebd3365e pushed by ben0i0d

main

2025-01-17 23:44:15 +00:00

2h4m4s

add maple mma

#9:Commit 54c9f3c8d8 pushed by ben0i0d

main

2024-12-26 15:13:40 +00:00

7m20s