Skip to content

Actions: moonbitlang/moonbit-agent-guide

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
77 workflow runs
77 workflow runs

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
Keep proof guidance in dedicated skill CI #79: Commit 195ae31 pushed by bobzhang
21s main
main
21s
Keep proof guidance in dedicated skill CI #78: Pull request #70 opened by bobzhang
23s hongbo/proof-guidance-scope
hongbo/proof-guidance-scope
23s
Promote safe MoonBit script automation CI #77: Commit 67bc582 pushed by bobzhang
22s main
main
22s
Promote safe MoonBit script automation CI #76: Pull request #69 opened by bobzhang
23s hongbo/mbtx-agent-automation
hongbo/mbtx-agent-automation
23s
Clarify MoonBit handbook examples CI #75: Commit 3ef8206 pushed by bobzhang
23s main
main
23s
Clarify MoonBit handbook examples CI #74: Pull request #68 opened by bobzhang
26s codex/clarify-handbook-examples
codex/clarify-handbook-examples
26s
Simplify MoonBit agent workflow guidance CI #73: Pull request #67 opened by bobzhang
22s codex/simplify-agent-workflow
codex/simplify-agent-workflow
22s
Update MoonBit test blocks for nightly CI #72: Commit a54d022 pushed by bobzhang
25s main
main
25s
Simplify workflow and refresh MoonBit test blocks CI #71: Pull request #66 synchronize by bobzhang
29s codex/simplify-agent-workflow
codex/simplify-agent-workflow
29s
Simplify workflow and refresh MoonBit test blocks CI #70: Pull request #66 opened by bobzhang
24s codex/simplify-agent-workflow
codex/simplify-agent-workflow
24s
Document real-newline moon run snippets CI #67: Commit f957f4a pushed by bobzhang
25s main
main
25s
[codex] Document real-newline moon run snippets CI #66: Pull request #63 opened by bobzhang
23s codex/document-moon-run-e-newlines
codex/document-moon-run-e-newlines
23s
Add generated interface edit hint CI #65: Commit 9300e64 pushed by bobzhang
21s main
main
21s
no edition hint CI #64: Pull request #62 opened by bobzhang
25s hongbo/hint_no_edition
hongbo/hint_no_edition
25s
Document moon run --profile for hot-path profiling CI #63: Commit 5066abb pushed by bobzhang
22s main
main
22s
Document moon run --profile for hot-path profiling CI #62: Pull request #61 opened by bobzhang
24s docs-moon-profile
docs-moon-profile
24s
Document moon explain attribute help CI #61: Commit d77ee6e pushed by bobzhang
20s main
main
20s
[codex] Document moon explain attribute help CI #60: Pull request #60 opened by bobzhang
21s codex/document-moon-explain-attributes
codex/document-moon-explain-attributes
21s
Document diagnostic limit option CI #59: Commit a6fc224 pushed by bobzhang
21s main
main
21s
[codex] Document diagnostic limit option CI #58: Pull request #59 opened by bobzhang
22s codex/document-diagnostic-limit-option
codex/document-diagnostic-limit-option
22s
Clarify streaming interpolation macros CI #57: Commit 77725aa pushed by bobzhang
22s main
main
22s
[codex] Clarify streaming interpolation macros CI #56: Pull request #58 opened by bobzhang
22s codex/clarify-streaming-interpolation-macros
codex/clarify-streaming-interpolation-macros
22s
Document MoonBit package organization guidance CI #55: Commit c9ea771 pushed by bobzhang
22s main
main
22s
docs: align inspect/derive guidance with the Show→Debug migration CI #54: Commit af3177b pushed by bobzhang
21s main
main
21s
[codex] Document MoonBit package organization guidance CI #53: Pull request #57 opened by bobzhang
23s codex/package-organization-guidance
codex/package-organization-guidance
23s