Skip to content
ci

Fix and improve the check for maximum element size #50

Sign in to view logs

Fix and improve the check for maximum element size

Fix and improve the check for maximum element size #50

Run time

Learn about OS pricing on GitHub Actions
Job Run time
OTP 25.0
46s
OTP 24.3
19s
OTP 23.3
20s
OTP 22.3
19s
OTP 21.3
23s
2m 7s