Skip to content

Actions: doxtor6/MerLean-examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
82 workflow runs
82 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update Lean Eval homepage ranking Compile blueprint #62: Commit b7f7236 pushed by CollinYuanjieRen
55m 11s master
master
55m 11s
Add MerLean contact email to homepage Compile blueprint #61: Commit 52865bf pushed by CollinYuanjieRen
15m 56s master
master
15m 56s
Update homepage benchmark positioning Compile blueprint #60: Commit d6f9a8b pushed by CollinYuanjieRen
30m 26s master
master
30m 26s
Add fundraising section to homepage Compile blueprint #59: Commit 3ae3acc pushed by CollinYuanjieRen
16m 35s master
master
16m 35s
Update homepage with MerLean-Prover paper Compile blueprint #58: Commit 82e5f50 pushed by CollinYuanjieRen
54m 43s master
master
54m 43s
Use 1080p homepage demo video Compile blueprint #57: Commit bc8b728 pushed by CollinYuanjieRen
19m 47s master
master
19m 47s
Add homepage demo video Compile blueprint #56: Commit 88588eb pushed by CollinYuanjieRen
16m 15s master
master
16m 15s
Publish qiqclib dependency graph Compile blueprint #55: Commit 6b6a527 pushed by CollinYuanjieRen
53m 23s master
master
53m 23s
Remove GitHub button from homepage Compile blueprint #54: Commit d634ddb pushed by CollinYuanjieRen
15m 57s master
master
15m 57s
Redesign website: modern light theme with tabbed SPA (Home, Publicati… Compile blueprint #53: Commit dd53211 pushed by CollinYuanjieRen
54m 5s master
master
54m 5s
Soften cost comparison wording in FormalQualBench blog post Compile blueprint #52: Commit b1dc472 pushed by doxtor6
55m 30s master
master
55m 30s
Add comparison table and timestamp to FormalQualBench blog post Compile blueprint #51: Commit c012791 pushed by doxtor6
6m 51s master
master
6m 51s
Add blog post on MerLean-prover FormalQualBench results Compile blueprint #50: Commit 68a4d45 pushed by doxtor6
17m 6s master
master
17m 6s
Refine blog wording on discrepancy confirmation Compile blueprint #49: Commit 6217f4a pushed by doxtor6
17m 10s master
master
17m 10s
Shorten blog discrepancy section and remove screenshot Compile blueprint #48: Commit 748b334 pushed by doxtor6
3m 44s master
master
3m 44s
Update blog post and remove errata link Compile blueprint #47: Commit 9616127 pushed by doxtor6
10m 3s master
master
10m 3s
Rename blog post to blog1.md Compile blueprint #46: Commit 6562295 pushed by doxtor6
16m 51s master
master
16m 51s
Add blog system with client-side markdown rendering Compile blueprint #45: Commit 3f9a907 pushed by doxtor6
16m 52s master
master
16m 52s
Update _site build output with examples gallery Compile blueprint #44: Commit 7b325df pushed by doxtor6
56m 42s master
master
56m 42s
Add examples gallery with balanced product quantum codes Compile blueprint #43: Commit ca80231 pushed by doxtor6
1m 6s master
master
1m 6s
Update homepage: arxiv link, citation info, and author URL Compile blueprint #42: Commit facaf4f pushed by doxtor6
56m 43s master
master
56m 43s
Update homepage stats to 1450 declarations Compile blueprint #41: Commit a0182f7 pushed by doxtor6
1h 1m 9s master
master
1h 1m 9s
Add paper disclaimer and move update date to section title Compile blueprint #40: Commit cdde257 pushed by doxtor6
17m 33s master
master
17m 33s
Fix blueprint \lean{} declaration names to match actual Lean namespaces Compile blueprint #39: Commit 1584863 pushed by doxtor6
54m 37s master
master
54m 37s
Update MerLean framework description and QEC1 library imports Compile blueprint #38: Commit 032b691 pushed by doxtor6
11m 14s master
master
11m 14s