Skip to content

Actions: leanprover/SHerLOC

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
123 workflow runs
123 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: Update export_hlo.py script to properly handle model weights (#23) CI #123: Commit 916403b pushed by P-bibs
July 9, 2025 20:31 28s main
main
July 9, 2025 20:31 28s
fix: Update export_hlo.py script to properly handle state CI #122: Pull request #23 opened by P-bibs
July 8, 2025 14:58 21s pb/export-hlo-state
pb/export-hlo-state
July 8, 2025 14:58 21s
chore: bump lean version to 4.20 to match KLR (#22) CI #121: Commit c74ae09 pushed by P-bibs
July 2, 2025 20:50 49s main
main
July 2, 2025 20:50 49s
chore: bump lean version to 4.20 to match KLR CI #120: Pull request #22 opened by P-bibs
July 2, 2025 20:43 48s pb/bump-version
pb/bump-version
July 2, 2025 20:43 48s
feat: add graph and ops utils, refactor test harness, add HLO export … CI #119: Commit b5ee763 pushed by P-bibs
June 9, 2025 19:42 46s main
main
June 9, 2025 19:42 46s
feat: add HLO analysis functions and move test harness to Test.lean CI #118: Pull request #21 synchronize by P-bibs
June 9, 2025 19:39 24s pb/hlo-utils
pb/hlo-utils
June 9, 2025 19:39 24s
feat: add HLO analysis functions and move test harness to Test.lean CI #117: Pull request #21 synchronize by P-bibs
June 9, 2025 19:17 39s pb/hlo-utils
pb/hlo-utils
June 9, 2025 19:17 39s
feat: add HLO analysis functions and move test harness to Test.lean CI #116: Pull request #21 synchronize by P-bibs
June 9, 2025 14:48 21s pb/hlo-utils
pb/hlo-utils
June 9, 2025 14:48 21s
feat: add HLO analysis functions and move test harness to Test.lean CI #115: Pull request #21 synchronize by P-bibs
June 9, 2025 14:45 25s pb/hlo-utils
pb/hlo-utils
June 9, 2025 14:45 25s
feat: add HLO analysis functions and move test harness to Test.lean CI #114: Pull request #21 synchronize by P-bibs
June 9, 2025 14:43 23s pb/hlo-utils
pb/hlo-utils
June 9, 2025 14:43 23s
feat: add HLO analysis functions and move test harness to Test.lean CI #113: Pull request #21 opened by P-bibs
June 9, 2025 14:32 40s pb/hlo-utils
pb/hlo-utils
June 9, 2025 14:32 40s
[WIP] Improve parse error (#20) CI #112: Commit cf77ce5 pushed by jtristan
October 9, 2024 18:33 39s main
main
October 9, 2024 18:33 39s
Add 'dot' opcode (#18) CI #111: Commit 038c38c pushed by jtristan
October 9, 2024 18:31 44s main
main
October 9, 2024 18:31 44s
[WIP] Improve parse error CI #110: Pull request #20 opened by seanmcl
October 9, 2024 18:20 35s seanmcl:sm/err
seanmcl:sm/err
October 9, 2024 18:20 35s
Add 'dot' opcode CI #109: Pull request #18 opened by seanmcl
October 9, 2024 17:24 35s seanmcl:main
seanmcl:main
October 9, 2024 17:24 35s
Update CODEOWNERS (#17) CI #108: Commit c7a3706 pushed by jtristan
September 20, 2024 15:21 19s main
main
September 20, 2024 15:21 19s
Update CODEOWNERS CI #107: Pull request #17 opened by jtristan
September 20, 2024 15:21 19s jtristan-patch-2
jtristan-patch-2
September 20, 2024 15:21 19s
Create CODEOWNERS (#16) CI #106: Commit 210c831 pushed by jtristan
September 20, 2024 15:20 29s main
main
September 20, 2024 15:20 29s
Create CODEOWNERS CI #105: Pull request #16 opened by jtristan
September 20, 2024 15:20 22s jtristan-patch-1
jtristan-patch-1
September 20, 2024 15:20 22s
Update README.md (#15) CI #104: Commit 3e27773 pushed by jtristan
September 19, 2024 15:51 18s main
main
September 19, 2024 15:51 18s
Update README.md CI #103: Pull request #15 synchronize by jtristan
September 19, 2024 15:50 28s Documentation
Documentation
September 19, 2024 15:50 28s
Update README.md CI #102: Pull request #15 synchronize by jtristan
September 19, 2024 15:31 19s Documentation
Documentation
September 19, 2024 15:31 19s
Update README.md CI #101: Pull request #15 opened by jtristan
September 19, 2024 15:31 18s Documentation
Documentation
September 19, 2024 15:31 18s
J main dev (#14) CI #100: Commit 682580b pushed by jtristan
September 19, 2024 15:27 30s main
main
September 19, 2024 15:27 30s
J main dev CI #99: Pull request #14 synchronize by jtristan
September 19, 2024 15:21 47s JMainDev
JMainDev
September 19, 2024 15:21 47s
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy