Skip to content
continuous integration (staging)

feat: introducing the input data of the snake lemma (#8081) #5085

Sign in to view logs

feat: introducing the input data of the snake lemma (#8081)

feat: introducing the input data of the snake lemma (#8081) #5085

Triggered via push November 1, 2023 13:33
@borsbors[bot]
pushed e896b09
staging
Status Success
Total duration 29m 6s
Artifacts –

bors.yml

on: push
Lint style
18s
Lint style
Check all files imported
8s
Check all files imported
Build
28m 42s
Build
Cancel Previous Runs (CI)
4s
Cancel Previous Runs (CI)
check workflows
8s
check workflows
Post-CI job
9s
Post-CI job
Fit to window
Zoom out
Zoom in