Skip to content
Build matrix

Lean: Fixing Lean style and wrong definition in Sail.lean (#891) #968

Sign in to view logs

Lean: Fixing Lean style and wrong definition in Sail.lean (#891)

Lean: Fixing Lean style and wrong definition in Sail.lean (#891) #968

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-docker
7m 14s
build (4.08.1, ubuntu-latest)
6m 3s
build (5.2.1, ubuntu-latest)
6m 5s
build (5.2.1, macos-latest)
8m 31s
27m 53s