Skip to content

Actions: opencompl/lean-mlir

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
378 workflow run results
378 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[WIP] Poly rewrites core library #646: Pull request #104 synchronize by goens
October 26, 2023 21:28 6m 53s poly_rewrites
poly_rewrites
October 26, 2023 21:28 6m 53s
[WIP] Poly rewrites core library #645: Pull request #104 synchronize by goens
October 26, 2023 21:07 3m 20s poly_rewrites
poly_rewrites
October 26, 2023 21:07 3m 20s
Merge pull request #121 from opencompl/paper-examples docs #65: Commit c536947 pushed by goens
October 26, 2023 18:36 11m 48s main
main
October 26, 2023 18:36 11m 48s
Merge pull request #121 from opencompl/paper-examples core library #644: Commit c536947 pushed by goens
October 26, 2023 18:36 6m 30s main
main
October 26, 2023 18:36 6m 30s
Eliminate dot-notation for Var and Valuation types (#123) docs #64: Commit 1bf57f0 pushed by alexkeizer
October 26, 2023 17:15 12m 17s main
main
October 26, 2023 17:15 12m 17s
Eliminate dot-notation for Var and Valuation types (#123) core library #643: Commit 1bf57f0 pushed by alexkeizer
October 26, 2023 17:15 9m 5s main
main
October 26, 2023 17:15 9m 5s
Eliminate dot-notation for Var and Valuation types core library #642: Pull request #123 synchronize by alexkeizer
October 26, 2023 16:59 6m 38s elim-dot-notation
elim-dot-notation
October 26, 2023 16:59 6m 38s
Eliminate dot-notation for Var and Valuation types core library #641: Pull request #123 synchronize by alexkeizer
October 26, 2023 16:56 1m 52s elim-dot-notation
elim-dot-notation
October 26, 2023 16:56 1m 52s
Merge pull request #124 from opencompl/nuke-extrinsic-exp core library #640: Commit 19a8b66 pushed by bollu
October 26, 2023 15:48 6m 40s main
main
October 26, 2023 15:48 6m 40s
Merge pull request #124 from opencompl/nuke-extrinsic-exp docs #63: Commit 19a8b66 pushed by bollu
October 26, 2023 15:48 11m 47s main
main
October 26, 2023 15:48 11m 47s
Eliminate dot-notation for Var and Valuation types core library #639: Pull request #123 synchronize by alexkeizer
October 26, 2023 15:46 1m 42s elim-dot-notation
elim-dot-notation
October 26, 2023 15:46 1m 42s
Eliminate dot-notation for Var and Valuation types core library #638: Pull request #123 synchronize by alexkeizer
October 26, 2023 15:44 1m 38s elim-dot-notation
elim-dot-notation
October 26, 2023 15:44 1m 38s
feat: add examples from paper as a project core library #637: Pull request #121 synchronize by goens
October 26, 2023 15:44 7m 57s paper-examples
paper-examples
October 26, 2023 15:44 7m 57s
nuke Extrinsic, FlatSSA versions core library #636: Pull request #124 opened by goens
October 26, 2023 15:36 7m 55s nuke-extrinsic-exp
nuke-extrinsic-exp
October 26, 2023 15:36 7m 55s
Merge pull request #122 from opencompl/rename-icom-iexpr core library #635: Commit d7b9b08 pushed by goens
October 26, 2023 15:31 8m 48s main
main
October 26, 2023 15:31 8m 48s
Merge pull request #122 from opencompl/rename-icom-iexpr docs #62: Commit d7b9b08 pushed by goens
October 26, 2023 15:31 14m 5s main
main
October 26, 2023 15:31 14m 5s
Eliminate dot-notation for Var and Valuation types core library #634: Pull request #123 opened by alexkeizer
October 26, 2023 15:24 9m 22s elim-dot-notation
elim-dot-notation
October 26, 2023 15:24 9m 22s
Rename IExpr -> Expr, ICom -> Com core library #633: Pull request #122 synchronize by goens
October 26, 2023 15:07 8m 37s rename-icom-iexpr
rename-icom-iexpr
October 26, 2023 15:07 8m 37s
Rename IExpr -> Expr, ICom -> Com core library #632: Pull request #122 synchronize by goens
October 26, 2023 14:57 2m 51s rename-icom-iexpr
rename-icom-iexpr
October 26, 2023 14:57 2m 51s
Rename IExpr -> Expr, ICom -> Com core library #631: Pull request #122 opened by goens
October 26, 2023 14:38 2m 50s rename-icom-iexpr
rename-icom-iexpr
October 26, 2023 14:38 2m 50s
[WIP] Poly rewrites core library #630: Pull request #104 synchronize by goens
October 25, 2023 14:23 6m 56s poly_rewrites
poly_rewrites
October 25, 2023 14:23 6m 56s
feat: add examples from paper as a project core library #629: Pull request #121 opened by bollu
October 25, 2023 11:22 8m 59s paper-examples
paper-examples
October 25, 2023 11:22 8m 59s
Revert "change runs-on to doc-gen" core library #628: Commit 9d775df pushed by bollu
October 25, 2023 04:44 6m 39s main
main
October 25, 2023 04:44 6m 39s
Revert "change runs-on to doc-gen" docs #61: Commit 9d775df pushed by bollu
October 25, 2023 04:44 14m 27s main
main
October 25, 2023 04:44 14m 27s
change runs-on to doc-gen docs #60: Commit 5a2f940 pushed by bollu
October 25, 2023 04:41 1m 11s main
main
October 25, 2023 04:41 1m 11s