Skip to content
docker-ci

[examples/lambda] Remove old-fashioned Store_thm from chap[23]Script #220

Sign in to view logs

[examples/lambda] Remove old-fashioned Store_thm from chap[23]Script

[examples/lambda] Remove old-fashioned Store_thm from chap[23]Script #220

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-expk
49m 7s
build-stdknl
45m 51s
1h 34m 58s