Skip to content

Actions: mumei-lang/mumei-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
365 workflow runs
365 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
Merge pull request #112 from mumei-lang/devin/1788481794-roadmap-ai-p… CI #298: Commit a70ab69 pushed by AkiraTamai
2m 38s develop
develop
2m 38s
docs: add proposed AI-assisted proof ingestion roadmap section CI #297: Pull request #112 synchronize by devin-ai-integration Bot
7m 41s devin/1788481794-roadmap-ai-proof-ingestion
devin/1788481794-roadmap-ai-proof-ingestion
7m 41s
docs: add proposed AI-assisted proof ingestion roadmap section CI #296: Pull request #112 opened by AkiraTamai
3m 47s devin/1788481794-roadmap-ai-proof-ingestion
devin/1788481794-roadmap-ai-proof-ingestion
3m 47s
Lean Bridge CI Lean Bridge CI #17: Scheduled
3m 0s develop
develop
3m 0s
Merge pull request #111 from mumei-lang/devin/1788078075-lean-escalat… CI #295: Commit 04285f5 pushed by AkiraTamai
4m 20s develop
develop
4m 20s
Merge pull request #111 from mumei-lang/devin/1788078075-lean-escalat… Contract Vocabulary #52: Commit 04285f5 pushed by AkiraTamai
10s develop
develop
10s
Widen escalation coverage: mumei_ff_pow ladder stage + 14th live generated path CI #294: Pull request #111 opened by AkiraTamai
3m 29s devin/1788078075-lean-escalation-ff-pow
devin/1788078075-lean-escalation-ff-pow
3m 29s
Widen escalation coverage: mumei_ff_pow ladder stage + 14th live generated path Contract Vocabulary #51: Pull request #111 opened by AkiraTamai
14s devin/1788078075-lean-escalation-ff-pow
devin/1788078075-lean-escalation-ff-pow
14s
Merge pull request #110 from mumei-lang/devin/1787751142-p17-docs-sync CI #293: Commit 973948d pushed by AkiraTamai
45m 21s develop
develop
45m 21s
Merge pull request #110 from mumei-lang/devin/1787751142-p17-docs-sync Contract Vocabulary #50: Commit 973948d pushed by AkiraTamai
13s develop
develop
13s
docs: sync Lean-side Priority 17 bridge provenance contract CI #292: Pull request #110 opened by AkiraTamai
45m 25s devin/1787751142-p17-docs-sync
devin/1787751142-p17-docs-sync
45m 25s
docs: sync Lean-side Priority 17 bridge provenance contract Contract Vocabulary #49: Pull request #110 opened by AkiraTamai
15s devin/1787751142-p17-docs-sync
devin/1787751142-p17-docs-sync
15s
Lean Bridge CI Lean Bridge CI #16: Scheduled
2m 24s develop
develop
2m 24s
Lean Bridge CI Lean Bridge CI #15: Scheduled
2m 43s develop
develop
2m 43s
Lean Bridge CI Lean Bridge CI #14: Scheduled
2m 46s develop
develop
2m 46s
Merge pull request #109 from mumei-lang/devin/1785652847-docs-sync-li… CI #291: Commit ff2dcc7 pushed by AkiraTamai
3m 57s develop
develop
3m 57s
Merge pull request #109 from mumei-lang/devin/1785652847-docs-sync-li… Contract Vocabulary #48: Commit ff2dcc7 pushed by AkiraTamai
11s develop
develop
11s
Lean Bridge CI Lean Bridge CI #13: Scheduled
1m 53s develop
develop
1m 53s
docs: sync live generated theorem path count to thirteen Contract Vocabulary #47: Pull request #109 opened by AkiraTamai
13s devin/1785652847-docs-sync-live-paths
devin/1785652847-docs-sync-live-paths
13s
docs: sync live generated theorem path count to thirteen CI #290: Pull request #109 opened by AkiraTamai
3m 45s devin/1785652847-docs-sync-live-paths
devin/1785652847-docs-sync-live-paths
3m 45s
Lean Bridge CI Lean Bridge CI #12: Scheduled
2m 35s develop
develop
2m 35s
Merge pull request #108 from mumei-lang/devin/1785129095-history-rank… Contract Vocabulary #46: Commit 088456e pushed by AkiraTamai
14s develop
develop
14s
Merge pull request #108 from mumei-lang/devin/1785129095-history-rank… CI #289: Commit 088456e pushed by AkiraTamai
3m 58s develop
develop
3m 58s
tactic search: announce the learned ranking only when it reordered a ladder Contract Vocabulary #45: Pull request #108 opened by AkiraTamai
12s devin/1785129095-history-ranked-log
devin/1785129095-history-ranked-log
12s
tactic search: announce the learned ranking only when it reordered a ladder CI #288: Pull request #108 opened by AkiraTamai
3m 40s devin/1785129095-history-ranked-log
devin/1785129095-history-ranked-log
3m 40s