Skip to content

Actions: Rickerd1234/RelationalAlgebra

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
146 workflow runs
146 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added LICENSE Lean Action CI #146: Commit 5063395 pushed by Rickerd1234
1m 40s master
master
1m 40s
Consistency Lean Action CI #145: Commit 9195d82 pushed by Rickerd1234
2m 58s master
master
2m 58s
Consistency Lean Action CI #144: Commit 13d22f3 pushed by Rickerd1234
1m 30s master
master
1m 30s
Consistency Lean Action CI #143: Commit e5347e4 pushed by Rickerd1234
2m 46s master
master
2m 46s
Minor Code Quality Lean Action CI #142: Commit 8c6cef9 pushed by Rickerd1234
2m 21s master
master
2m 21s
Refactoring Lean Action CI #141: Commit df55308 pushed by Rickerd1234
2m 48s master
master
2m 48s
Updated naming Lean Action CI #140: Commit 9abd90d pushed by Rickerd1234
2m 0s master
master
2m 0s
Code Quality Lean Action CI #139: Commit c1a58ab pushed by Rickerd1234
3m 17s master
master
3m 17s
Code Quality Lean Action CI #138: Commit 8cfbafb pushed by Rickerd1234
1m 30s master
master
1m 30s
Simplifications Lean Action CI #137: Commit 88b356f pushed by Rickerd1234
2m 12s master
master
2m 12s
Removed Unused Files & Minor Refactoring Lean Action CI #136: Commit aef2fcb pushed by Rickerd1234
2m 45s master
master
2m 45s
Code Quality & Restructuring Lean Action CI #135: Commit 45fa74f pushed by Rickerd1234
2m 46s master
master
2m 46s
Removed BoundedQuery.or Constructor Lean Action CI #134: Commit ad8e9e7 pushed by Rickerd1234
2m 52s master
master
2m 52s
Simplified FOL Relation Implementation Lean Action CI #133: Commit f4cb19e pushed by Rickerd1234
2m 39s master
master
2m 39s
Generalized Types & Computable Conversion/Proof Lean Action CI #132: Commit dfdd4d4 pushed by Rickerd1234
2m 51s master
master
2m 51s
Code Quality & Consistency Lean Action CI #131: Commit e556cef pushed by Rickerd1234
2m 46s master
master
2m 46s
Code Quality Lean Action CI #130: Commit a4c7fdf pushed by Rickerd1234
2m 59s master
master
2m 59s
Minor Simplifications Lean Action CI #129: Commit a508fea pushed by Rickerd1234
2m 41s master
master
2m 41s
Moved joinSingleT.restrict Theorem Lean Action CI #128: Commit f024c71 pushed by Rickerd1234
2m 52s master
master
2m 52s
FOL Abstract Relation Name Type Lean Action CI #127: Commit 49c7c4b pushed by Rickerd1234
3m 13s master
master
3m 13s
Updated comment Lean Action CI #126: Commit 0edd7f0 pushed by Rickerd1234
1m 35s master
master
1m 35s
Updated comments Lean Action CI #125: Commit 63ab84e pushed by Rickerd1234
2m 36s master
master
2m 36s
Updated lake-manifest.json Lean Action CI #124: Commit bba5de3 pushed by Rickerd1234
4m 12s master
master
4m 12s
Refactoring Lean Action CI #123: Commit b17c37c pushed by Rickerd1234
2m 40s master
master
2m 40s
Removed outdated comments Lean Action CI #122: Commit 4a0b882 pushed by Rickerd1234
1m 28s master
master
1m 28s