Skip to content

Actions: BerkeleyLab/formal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
81 workflow runs
81 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #16 from bonachea/lfortran-61 Build #81: Commit 33df543 pushed by bonachea
12m 42s main
main
12m 42s
[NO REVIEW] CI: Add LFortran 0.61 Build #80: Pull request #16 synchronize by bonachea
13m 55s bonachea:lfortran-61
bonachea:lfortran-61
13m 55s
[NO REVIEW] CI: Add LFortran 0.61 Build #79: Pull request #16 opened by bonachea
13m 16s bonachea:lfortran-61
bonachea:lfortran-61
13m 16s
Merge pull request #15 from bonachea/ci-lfortran Build #78: Commit bc3fac1 pushed by bonachea
3m 51s main
main
3m 51s
[NO REVIEW] CI: Add LFortran-latest coverage Build #77: Pull request #15 opened by bonachea
3m 56s bonachea:ci-lfortran
bonachea:ci-lfortran
3m 56s
Merge pull request #14 from bonachea/ci-flang-22 Build #76: Commit c8e9c6b pushed by bonachea
11m 29s main
main
11m 29s
[NO REVIEW] CI: Update for flang-22 Build #75: Pull request #14 opened by bonachea
26m 36s bonachea:ci-flang-22
bonachea:ci-flang-22
26m 36s
feat(example/vibe-coding): RAG-generated prompt Build #74: Commit bdbb9ee pushed by rouson
4m 21s rag-metadata
rag-metadata
4m 21s
doc(vibe-coding/README): add fpm run command Build #73: Commit ac80bdf pushed by rouson
5m 37s rag-metadata
rag-metadata
5m 37s
chore: add rag prompt and qwen response Build #72: Commit 632cba3 pushed by rouson
4m 1s rag-metadata
rag-metadata
4m 1s
Merge pull request #12 from ktras/claude-generated-rag-metadata Build #71: Commit b8ac5e9 pushed by rouson
5m 15s rag-metadata
rag-metadata
5m 15s
WIP: start defining divergence of dyad Build #70: Commit 1fe4b87 pushed by rouson
3m 58s burgers-1D
burgers-1D
3m 58s
Replace metadata in src dir with metadata generated by Claude Build #69: Pull request #12 synchronize by ktras
4m 46s ktras:claude-generated-rag-metadata
ktras:claude-generated-rag-metadata
4m 46s
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