Skip to content
CI (Coq, Debian)

Print more casts when stringification fails (#1634) #46

Sign in to view logs

Print more casts when stringification fails (#1634)

Print more casts when stringification fails (#1634) #46

Run time

Learn about OS pricing on GitHub Actions
Job Run time
bookworm
4h 20m 9s
sid
4h 19m 40s
test-amd64
3h 49m 13s
12h 29m 2s