Actions: opencompl/lean4
Actions
Showing runs from all workflows
2,986 workflow runs
2,986 workflow runs
toNat
theorems for signExtend
Check for modules that should use `prelude`
#260:
Pull request #30
synchronize
by
mhk119
toNat
theorems for signExtend
Nix CI
#315:
Pull request #30
synchronize
by
mhk119
toNat
theorems for signExtend
Check for copyright header
#260:
Pull request #30
synchronize
by
mhk119
toNat
theorems for signExtend
Check for stage0 changes
#257:
Pull request #30
synchronize
by
mhk119
toNat
theorems for signExtend
CI
#622:
Pull request #30
synchronize
by
mhk119
toNat
theorems for signExtend
Check PR title for commit convention
#287:
Pull request #30
synchronize
by
mhk119
toNat
theorems for signExtend
Check for modules that should use `prelude`
#259:
Pull request #30
synchronize
by
mhk119
toNat
theorems for signExtend
Check for stage0 changes
#256:
Pull request #30
synchronize
by
mhk119
toNat
theorems for signExtend
Check for copyright header
#259:
Pull request #30
synchronize
by
mhk119
toNat
theorems for signExtend
Nix CI
#314:
Pull request #30
synchronize
by
mhk119
toNat
theorems for signExtend
Check PR title for commit convention
#286:
Pull request #30
synchronize
by
mhk119
toNat
theorems for signExtend
CI
#621:
Pull request #30
synchronize
by
mhk119
toNat
theorems for signExtend
Nix CI
#313:
Pull request #30
opened
by
mhk119
toNat
theorems for signExtend
Check for modules that should use `prelude`
#258:
Pull request #30
opened
by
mhk119
toNat
theorems for signExtend
Check PR title for commit convention
#285:
Pull request #30
opened
by
mhk119
toNat
theorems for signExtend
Check for copyright header
#258:
Pull request #30
opened
by
mhk119
toNat
theorems for signExtend
Check for stage0 changes
#255:
Pull request #30
opened
by
mhk119
toNat
theorems for signExtend
CI
#620:
Pull request #30
opened
by
mhk119