Skip to content

Actions: plasma-umass/cwhy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
51 workflow runs
51 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add replaceable symbols string when none found Sanity #251: Commit 8c9d932 pushed by nicovank
23s main
main
23s
Remove print statement Sanity #250: Commit b5322fa pushed by nicovank
32s main
main
32s
Add filename to replaceable symbols Sanity #249: Commit 7a22bc0 pushed by nicovank
24s main
main
24s
More minor fixes Sanity #248: Commit 7c58ffc pushed by nicovank
25s main
main
25s
Remove print statement Sanity #247: Commit ebf0015 pushed by nicovank
23s main
main
23s
Add LSP functions, simplify main Sanity #246: Commit cbd579b pushed by nicovank
22s main
main
22s
Add temporary LLVM CI crawling scripts Sanity #245: Commit 1b4a424 pushed by nicovank
26s main
main
26s
Fix warning message Sanity #244: Commit a7211cd pushed by nicovank
26s main
main
26s
Update README.md Sanity #243: Commit d2969fd pushed by nicovank
27s main
main
27s
v0.6 Release #14: Release v0.6 published by nicovank
25s
25s
Update pyproject.toml Sanity #242: Commit 3292858 pushed by nicovank
27s main
main
27s
Bump version Sanity #241: Commit 7b439df pushed by nicovank
23s main
main
23s
Arbitrary truncation Sanity #240: Commit c1d0635 pushed by nicovank
26s main
main
26s
Fix bug on first file in status Sanity #239: Commit d352393 pushed by nicovank
22s main
main
22s
Add 2x diff functionalities Sanity #238: Commit ea0540a pushed by nicovank
21s main
main
21s
Removed monthly tracker. Sanity #237: Commit b01dd5e pushed by emeryberger
23s main
main
23s
Updated author list. Sanity #236: Commit 27c0f1e pushed by emeryberger
22s main
main
22s
Remove old print Sanity #235: Commit b812eff pushed by nicovank
25s main
main
25s
Add Git support (#72) Sanity #234: Commit da1969a pushed by nicovank
21s main
main
21s
Add Git support Sanity #233: Pull request #72 opened by nicovank
25s pr72
pr72
25s
Add find_definition clangd function Sanity #232: Commit f7b3904 pushed by nicovank
22s main
main
22s
Add clangd integration file Sanity #231: Commit 6e8d675 pushed by nicovank
24s main
main
24s
Attempt at fixing Bedrock support Sanity #230: Commit 9e17ad4 pushed by nicovank
22s main
main
22s
Do not run mypy in sanity workflow Sanity #229: Commit 792d8e8 pushed by nicovank
45s main
main
45s
Add message when API key is missing Sanity #228: Commit 25d37bf pushed by nicovank
42s main
main
42s