Skip to content

Actions: opencompl/fp-lean

Actions

Unit Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
unit-tests.yml
131 workflow runs
131 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Build theory around unpacking and multiplication (#61) Unit Tests #132: Commit 0378e33 pushed by bollu
2m 22s main
main
2m 22s
feat: Build theory around unpacking and multiplication Unit Tests #131: Pull request #61 synchronize by bollu
2m 25s start-unpacked-float-proof
start-unpacked-float-proof
2m 25s
feat: Build theory around unpacking and multiplication Unit Tests #130: Pull request #61 synchronize by bollu
1m 19s start-unpacked-float-proof
start-unpacked-float-proof
1m 19s
feat: Build theory around unpacking and multiplication Unit Tests #129: Pull request #61 synchronize by bollu
2m 24s start-unpacked-float-proof
start-unpacked-float-proof
2m 24s
feat: Build theory around unpacking and multiplication Unit Tests #128: Pull request #61 synchronize by bollu
1m 21s start-unpacked-float-proof
start-unpacked-float-proof
1m 21s
feat: Build theory around unpacking and multiplication Unit Tests #127: Pull request #61 synchronize by bollu
1m 9s start-unpacked-float-proof
start-unpacked-float-proof
1m 9s
feat: Build theory around unpacking and multiplication Unit Tests #126: Pull request #61 synchronize by bollu
2m 16s start-unpacked-float-proof
start-unpacked-float-proof
2m 16s
feat: Build theory around unpacking and multiplication Unit Tests #125: Pull request #61 synchronize by bollu
2m 26s start-unpacked-float-proof
start-unpacked-float-proof
2m 26s
feat: Build theory around unpacking and multiplication Unit Tests #124: Pull request #61 synchronize by bollu
1m 7s start-unpacked-float-proof
start-unpacked-float-proof
1m 7s
feat: Build theory around unpacking and multiplication Unit Tests #123: Pull request #61 synchronize by bollu
2m 51s start-unpacked-float-proof
start-unpacked-float-proof
2m 51s
feat: Build theory around unpacking and multiplication Unit Tests #122: Pull request #61 opened by bollu
1m 23s start-unpacked-float-proof
start-unpacked-float-proof
1m 23s
feat: wrap all sorrys off in +-Infinity theory of float reasoning (#60) Unit Tests #121: Commit 99fb3f3 pushed by bollu
2m 17s main
main
2m 17s
feat: wrap all sorrys off in +-Infinity theory of float reasoning Unit Tests #120: Pull request #60 synchronize by bollu
1m 5s more-mul-4-of-x
more-mul-4-of-x
1m 5s
feat: wrap all sorrys off in +-Infinity theory of float reasoning Unit Tests #119: Pull request #60 synchronize by bollu
2m 20s more-mul-4-of-x
more-mul-4-of-x
2m 20s
feat: wrap all sorrys off in +-Infinity theory of float reasoning Unit Tests #118: Pull request #60 opened by bollu
1m 1s more-mul-4-of-x
more-mul-4-of-x
1m 1s
feat: Build theory to prove upper/lower of +-infinity (#59) Unit Tests #117: Commit 07417ea pushed by bollu
2m 22s main
main
2m 22s
feat: Build theory to prove upper/lower of +-infinity Unit Tests #116: Pull request #59 synchronize by bollu
2m 17s more-mul-3-of-x
more-mul-3-of-x
2m 17s
feat: Build theory to prove upper/lower of +-infinity Unit Tests #115: Pull request #59 synchronize by bollu
2m 9s more-mul-3-of-x
more-mul-3-of-x
2m 9s
feat: Build theory to prove upper/lower of +-infinity Unit Tests #114: Pull request #59 opened by bollu
2m 2s more-mul-3-of-x
more-mul-3-of-x
2m 2s
Unit Tests Unit Tests #113: by bollu
2m 6s main
main
2m 6s
feat: Change lower and upper to be a true adjunction Unit Tests #112: Pull request #58 synchronize by bollu
56s more-mul-2-of-x
more-mul-2-of-x
56s
feat: Change lower and upper to be a true adjunction Unit Tests #111: Pull request #58 synchronize by bollu
2m 8s more-mul-2-of-x
more-mul-2-of-x
2m 8s
feat: Change lower and upper to be a true adjunction Unit Tests #110: Pull request #58 synchronize by bollu
2m 4s more-mul-2-of-x
more-mul-2-of-x
2m 4s
feat: Change lower and upper to be a true adjunction Unit Tests #109: Pull request #58 synchronize by bollu
1m 53s more-mul-2-of-x
more-mul-2-of-x
1m 53s
feat: Change lower and upper to be a true adjunction Unit Tests #108: Pull request #58 synchronize by bollu
1m 57s more-mul-2-of-x
more-mul-2-of-x
1m 57s