Skip to content

Actions: enlorik/pearl-proof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
63 workflow runs
63 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
Add light-theme architecture diagram to README CI #59: Commit 483fdac pushed by enlorik
27s main
main
27s
Replace diagram with light-theme version CI #58: Commit cca9516 pushed by enlorik
45s main
main
45s
Remove architecture diagram from README CI #57: Commit 47c86c6 pushed by enlorik
35s main
main
35s
Add architecture diagram to Implementation Details CI #56: Commit 862957b pushed by enlorik
31s main
main
31s
Add architecture diagram CI #55: Commit 38cc159 pushed by enlorik
36s main
main
36s
Add demo screenshot to README CI #54: Commit 876b7f3 pushed by enlorik
58s main
main
58s
Add demo screenshot CI #53: Commit 9270c05 pushed by enlorik
42s main
main
42s
docs: add design notes to README (#14) CI #52: Commit 54659e2 pushed by enlorik
44s main
main
44s
docs: add design notes to README CI #51: Pull request #14 synchronize by enlorik
41s readme/design-notes
readme/design-notes
41s
docs: qualify OK invariant to intermediate coefficient overflow, not … CI #50: Commit 5736081 pushed by enlorik
38s readme/design-notes
readme/design-notes
38s
docs: clarify overflow affects intermediate coefficients, not just la… CI #49: Commit 08d946d pushed by enlorik
53s readme/design-notes
readme/design-notes
53s
docs: add design notes to README CI #48: Pull request #14 synchronize by enlorik
44s readme/design-notes
readme/design-notes
44s
docs: qualify OK invariant with overflow caveat per Codex review CI #47: Commit 8a444b7 pushed by enlorik
34s readme/design-notes
readme/design-notes
34s
docs: add design notes to README CI #46: Pull request #14 synchronize by enlorik
37s readme/design-notes
readme/design-notes
37s
docs: qualify exactness claim for large-integer overflow per Codex re… CI #45: Commit 928fadf pushed by enlorik
46s readme/design-notes
readme/design-notes
46s
docs: add design notes to README CI #44: Pull request #14 opened by enlorik
38s readme/design-notes
readme/design-notes
38s
docs: add design notes to README CI #43: Commit f3b8a4c pushed by enlorik
30s readme/design-notes
readme/design-notes
30s
Merge pull request #13 from enlorik/copilot/update-readme-checkstatus… CI #42: Commit 1fccdf3 pushed by enlorik
40s readme/design-notes
readme/design-notes
40s
Merge pull request #13 from enlorik/copilot/update-readme-checkstatus… CI #41: Commit 1fccdf3 pushed by enlorik
39s main
main
39s
Document CheckStatus contract and enforce CLI status-output examples in CI CI #40: Pull request #13 opened by Copilot AI
38s copilot/update-readme-checkstatus-documentation
copilot/update-readme-checkstatus-documentation
38s
Make CI error-check exit capture shell-agnostic CI #39: Commit e9f36c9 pushed by Copilot AI
34s copilot/update-readme-checkstatus-documentation
copilot/update-readme-checkstatus-documentation
34s
Running Copilot cloud agent Copilot cloud agent #13: by Copilot AI
5m 54s copilot/update-readme-checkstatus-documentation
copilot/update-readme-checkstatus-documentation
5m 54s
Merge pull request #12 from enlorik/copilot/introduce-structured-chec… CI #36: Commit 7ff32aa pushed by enlorik
39s main
main
39s
Running Copilot Code Review Copilot #1: by Copilot AI
17s copilot/introduce-structured-check-results
copilot/introduce-structured-check-results
17s
Introduce structured CheckResult with CheckStatus enum (OK/ERROR/UNSUPPORTED) CI #35: Pull request #12 opened by Copilot AI
38s copilot/introduce-structured-check-results
copilot/introduce-structured-check-results
38s