Skip to content

Actions: opencompl/veir

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
pages build and deployment pages-build-deployment #613: by github-pages Bot
40s gh-pages
gh-pages
40s
feat: Interpret 16-bit and 32-bit LLVM load/store (#971) Lean Action CI #9592: Commit 94dff09 pushed by github-merge-queue Bot
12m 20s main
main
12m 20s
feat: Interpret 16-bit and 32-bit LLVM load/store (#971) CI #2688: Commit 94dff09 pushed by github-merge-queue Bot
11m 38s main
main
11m 38s
test Lean Action CI #9591: Commit 927abb0 pushed by regehr
2m 13s regehr/condition-optimizing
regehr/condition-optimizing
2m 13s
fix Lean Action CI #9590: Commit a1556e5 pushed by regehr
2m 50s regehr/condition-optimizing
regehr/condition-optimizing
2m 50s
feat: Interpret 16-bit and 32-bit LLVM load/store (#971) Lean Action CI #9589: Commit 94dff09 pushed by github-merge-queue Bot
12m 42s gh-readonly-queue/main/pr-971-b8265aaec92aa7ab457d5f7e30e8a61cd162a9c4
gh-readonly-queue/main/pr-971-b8265aaec92aa7ab457d5f7e30e8a61cd162a9c4
12m 42s
Lean Action CI Lean Action CI #9588: Merge group checks requested
11m 13s
11m 13s
feat(refinement): add InterpreterState.isRefinedByAt relation Lean Action CI #9587: Commit 8932f56 pushed by math-fehr
2m 40s math-fehr/isrefinedbyat
math-fehr/isrefinedbyat
2m 40s
Make ctlz lowering local Lean Action CI #9586: Commit 4e8dc96 pushed by math-fehr
2m 42s math-fehr/ctlz-local
math-fehr/ctlz-local
2m 42s
fix: make createOp! return an Option when allocation fails Lean Action CI #9585: Commit d675a05 pushed by math-fehr
2m 52s math-fehr/createop-bang
math-fehr/createop-bang
2m 52s
more combines Lean Action CI #9584: Commit 5832064 pushed by regehr
2m 37s regehr/condition-optimizing
regehr/condition-optimizing
2m 37s
use the greedy allocator Lean Action CI #9583: Commit b71214e pushed by regehr
2m 46s regehr/condition-optimizing
regehr/condition-optimizing
2m 46s
add test Lean Action CI #9582: Commit afe3bde pushed by regehr
2m 48s regehr/condition-optimizing
regehr/condition-optimizing
2m 48s
add tests Lean Action CI #9581: Commit 28e4bf6 pushed by regehr
2m 48s regehr/condition-optimizing
regehr/condition-optimizing
2m 48s
work Lean Action CI #9580: Commit 8f0f187 pushed by regehr
3m 10s regehr/condition-optimizing
regehr/condition-optimizing
3m 10s
Running Copilot Code Review Copilot #4: by Copilot AI
1m 34s bitblastable-byte-2
bitblastable-byte-2
1m 34s
feat: add veir_bv_normalize annotations to new Byte API CI #2687: Pull request #973 opened by alexkeizer
3m 2s bitblastable-byte-2
bitblastable-byte-2
3m 2s
feat: add veir_bv_normalize annotations to new Byte API Lean Action CI #9579: Pull request #973 opened by alexkeizer
2m 41s bitblastable-byte-2
bitblastable-byte-2
2m 41s
feat: add veir_bv_normalize annotations to new Byte API Lean Action CI #9578: Commit 3222be4 pushed by alexkeizer
3m 21s bitblastable-byte-2
bitblastable-byte-2
3m 21s
Feat: chacha20 c impl. incl. current mlir output (#886) Lean Action CI #9577: Commit b8265aa pushed by alexkeizer
2m 46s bitblastable-byte-2
bitblastable-byte-2
2m 46s
Lean Action CI Lean Action CI #9576: by nchappe
3m 43s nchappe/byte-ops-interp
nchappe/byte-ops-interp
3m 43s
Update Lean Toolchain Version Update Lean Toolchain Version #2288: Scheduled
41s main
main
41s
feat: Rewrites from GlobalIsel Lean Action CI #9575: Pull request #972 opened by osmanyasar05
2m 32s osman/gisel_rewrites
osman/gisel_rewrites
2m 32s
feat: Rewrites from GlobalIsel CI #2686: Pull request #972 opened by osmanyasar05
9m 59s osman/gisel_rewrites
osman/gisel_rewrites
9m 59s
rewrites Lean Action CI #9574: Commit fb71c72 pushed by osmanyasar05
2m 26s osman/gisel_rewrites
osman/gisel_rewrites
2m 26s