Skip to content

Actions: libtx/Storage

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prove commutativity of delete coqchk #113: Commit cb66c71 pushed by k32
2m 40s 0.2.1
0.2.1
2m 40s
Prove commutativity of delete coqchk #112: Commit cb66c71 pushed by k32
2m 45s main
main
2m 45s
Merge pull request #5 from libtx/rocq coqchk #111: Commit ff89dc4 pushed by k32
2m 43s main
main
2m 43s
Refactoring: From Coq -> From Stdlib coqchk #110: Pull request #5 synchronize by k32
2m 46s rocq
rocq
2m 46s
CI: bump rocq version coqchk #109: Commit 63c911f pushed by k32
2m 44s rocq
rocq
2m 44s
Refactoring: From Coq -> From Stdlib coqchk #108: Pull request #5 synchronize by k32
7s rocq
rocq
7s
CI: bump rocq version coqchk #107: Commit 7377b9d pushed by k32
6s rocq
rocq
6s
Refactoring: From Coq -> From Stdlib coqchk #106: Pull request #5 opened by k32
2m 31s rocq
rocq
2m 31s
Refactoring: From Coq -> From Stdlib coqchk #105: Commit 10829a9 pushed by k32
2m 35s rocq
rocq
2m 35s
Breaking: always demand that key equality is decidable. coqchk #104: Commit 0524713 pushed by k32
2m 50s 0.2.0
0.2.0
2m 50s
Breaking: always demand that key equality is decidable. coqchk #103: Commit 0524713 pushed by k32
2m 53s main
main
2m 53s
Delete some experimental stuff coqchk #102: Commit 095ed6b pushed by k32
2m 44s main
main
2m 44s
Refactor AVL coqchk #101: Commit 916fcf4 pushed by k32
2m 19s main
main
2m 19s
Merge pull request #4 from libtx/avl coqchk #100: Commit e76c39d pushed by k32
2m 8s 0.1.2
0.1.2
2m 8s
Merge pull request #4 from libtx/avl coqchk #99: Commit e76c39d pushed by k32
2m 14s main
main
2m 14s
Remove unused imports coqchk #98: Pull request #4 opened by k32
2m 14s avl
avl
2m 14s
Remove unused imports coqchk #97: Commit 7965815 pushed by k32
2m 16s avl
avl
2m 16s
Merge pull request #3 from libtx/avl coqchk #96: Commit aa62974 pushed by k32
2m 10s main
main
2m 10s
Add an instance for FMapAVL coqchk #95: Pull request #3 synchronize by k32
2m 9s avl
avl
2m 9s
Remove unused coq-record-update dependency coqchk #94: Commit 38f535b pushed by k32
2m 10s avl
avl
2m 10s
Add an instance for FMapAVL coqchk #93: Pull request #3 synchronize by k32
2m 16s avl
avl
2m 16s
Remove usused coq-record-update dependency coqchk #92: Commit 1424b36 pushed by k32
2m 9s avl
avl
2m 9s
Add an instance for FMapAVL coqchk #91: Pull request #3 synchronize by k32
2m 13s avl
avl
2m 13s
Add an instance for FMapAVL coqchk #90: Commit 2f4a6c2 pushed by k32
2m 11s avl
avl
2m 11s
Add an instance for FMapAVL coqchk #89: Pull request #3 synchronize by k32
1m 53s avl
avl
1m 53s