Skip to content

Actions: BerkeleyLab/formal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
68 workflow runs
68 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #13 from BerkeleyLab/support-lfortran Build #68: Commit 08e11ab pushed by rouson
4m 50s main
main
4m 50s
Support lfortran Build #67: Pull request #13 opened by rouson
12m 40s support-lfortran
support-lfortran
12m 40s
doc(README): add LFortran to supported compilers Build #66: Commit a9b02a2 pushed by rouson
11m 47s support-lfortran
support-lfortran
11m 47s
Merge pull request #11 from certik/ifdef_fix Build #65: Commit 8bfb68d pushed by rouson
8m 1s main
main
8m 1s
Replace metadata in src dir with metadata generated by Claude Build #64: Pull request #12 synchronize by ktras
4m 36s ktras:claude-generated-rag-metadata
ktras:claude-generated-rag-metadata
4m 36s
Replace metadata in src dir with metadata generated by Claude Build #63: Pull request #12 opened by ktras
4m 40s ktras:claude-generated-rag-metadata
ktras:claude-generated-rag-metadata
4m 40s
doc(example): no-example-metadata Claude response Build #62: Commit d7c6fcd pushed by rouson
6m 46s rag-metadata
rag-metadata
6m 46s
Consistent #if handling Build #61: Pull request #11 opened by certik
5m 9s certik:ifdef_fix
certik:ifdef_fix
5m 9s
Fix incorrect #ifdef A && B usage Build #60: Pull request #10 opened by certik
4m 51s certik:ifdef
certik:ifdef
4m 51s
Remove metadata around executable statements in example dir Build #59: Commit 8ab7f6c pushed by ktras
8m 21s rag-metadata
rag-metadata
8m 21s
Merge pull request #9 from ktras/attempt-test-metadata-change Build #58: Commit 4747eab pushed by ktras
8m 15s rag-metadata
rag-metadata
8m 15s
Add metadata decorations to check_x functions in tests Build #57: Pull request #9 synchronize by ktras
9m 37s ktras:attempt-test-metadata-change
ktras:attempt-test-metadata-change
9m 37s
Add metadata decorations to check_x functions in tests Build #56: Pull request #9 synchronize by ktras
8m 22s ktras:attempt-test-metadata-change
ktras:attempt-test-metadata-change
8m 22s
Add metadata decorations to check_x functions in tests Build #55: Pull request #9 synchronize by ktras
5m 25s ktras:attempt-test-metadata-change
ktras:attempt-test-metadata-change
5m 25s
doc: add claude-generated, qwen-prompted code Build #54: Commit 851f44f pushed by rouson
5m 11s rag-metadata
rag-metadata
5m 11s
Add metadata decorations to check_x functions in tests Build #53: Pull request #9 synchronize by ktras
4m 57s ktras:attempt-test-metadata-change
ktras:attempt-test-metadata-change
4m 57s
Add metadata decorations to check_x functions in tests Build #52: Pull request #9 opened by ktras
4m 54s ktras:attempt-test-metadata-change
ktras:attempt-test-metadata-change
4m 54s
Add template for RAG metadata in tests Build #51: Pull request #8 opened by ktras
4m 32s ktras:rag-metadata
ktras:rag-metadata
4m 32s
feat: add claude vibe coding prompt & response Build #50: Commit ec2df05 pushed by rouson
23m 34s rag-metadata
rag-metadata
23m 34s
Add a RAG-README to show steps for Fortran Formal RAG process on Build #49: Commit 75b5b3e pushed by ktras
5m 12s rag-metadata
rag-metadata
5m 12s
Add a RAG-README to show steps for Fortran Formal RAG process on Build #48: Commit 17b7cd3 pushed by ktras
4m 27s rag-metadata
rag-metadata
4m 27s
feat(rag-target): prompt the first volume integral Build #47: Commit b16b188 pushed by rouson
5m 37s rag-metadata
rag-metadata
5m 37s
doc(rag-target): start extremely detailed prompt Build #46: Commit 393dd77 pushed by rouson
6m 17s rag-metadata
rag-metadata
6m 17s
feat(rag-target): create RAG source/target Build #45: Commit 9ca4dd0 pushed by rouson
4m 18s rag-metadata
rag-metadata
4m 18s
chore(example/ext-gauss-div): add RAG metadata Build #44: Commit 707fd70 pushed by rouson
8m 8s rag-metadata
rag-metadata
8m 8s