Back to pull request #2061

Add proof that map is injective #1027

Sign in to view logs

Set up job

0s

Run echo 'build passed'

0s

Run echo 'test-standalone passed'

0s

Run echo 'publish-standalone passed'

0s

Run echo 'build failed' && false

0s

Run echo 'test-standalone failed' && false

0s

Run echo 'publish-standalone failed' && false

0s

Complete job

0s