Skip to content

Actions: opencompl/lean-mlir

Actions

Build & Evaluate (in Docker)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker.yml
1,424 workflow runs
1,424 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Chore: Pqap Problems for Blase (#1923) Build & Evaluate (in Docker) #1424: Commit 7b942f4 pushed by bollu
1m 54s main
main
1m 54s
Chore: Pqap Problems for Blase Build & Evaluate (in Docker) #1423: Pull request #1923 synchronize by bollu
1m 52s more-problems
more-problems
1m 52s
Chore: Pqap Problems for Blase Build & Evaluate (in Docker) #1422: Pull request #1923 synchronize by bollu
1m 58s more-problems
more-problems
1m 58s
Chore: Pqap Problems for Blase Build & Evaluate (in Docker) #1421: Pull request #1923 synchronize by bollu
1m 54s more-problems
more-problems
1m 54s
chore: add failing medusa test (#1924) Build & Evaluate (in Docker) #1420: Commit ad6c45c pushed by bollu
11m 55s main
main
11m 55s
chore: add failing medusa test Build & Evaluate (in Docker) #1419: Pull request #1924 opened by bollu
12m 34s failing-medusa-test
failing-medusa-test
12m 34s
Chore: Pqap Problems for Blase Build & Evaluate (in Docker) #1418: Pull request #1923 opened by bollu
2m 24s more-problems
more-problems
2m 24s
feat: Neater solver config option for external solvers in Blase (#1922) Build & Evaluate (in Docker) #1417: Commit d10436e pushed by georgerennie
2m 0s main
main
2m 0s
feat: Neater solver config option for external solvers in Blase Build & Evaluate (in Docker) #1416: Pull request #1922 opened by georgerennie
11m 24s george/solver_config
george/solver_config
11m 24s
feat: add Valaig package for Aiger solving in Blase (#1911) Build & Evaluate (in Docker) #1415: Commit 402675a pushed by georgerennie
11m 38s main
main
11m 38s
feat: add Valaig package for Aiger solving in Blase Build & Evaluate (in Docker) #1414: Pull request #1911 synchronize by georgerennie
11m 13s george/valaig
george/valaig
11m 13s
chore: add axiom for the correctness of refinement in rewrite pattern… Build & Evaluate (in Docker) #1413: Commit eb90236 pushed by tobiasgrosser
11m 17s main
main
11m 17s
chore: add axiom for the correctness of refinement in rewrite patterns Build & Evaluate (in Docker) #1412: Pull request #1809 synchronize by tobiasgrosser
11m 58s axiom-ref-correctness
axiom-ref-correctness
11m 58s
feat: hardware addition circuit (#1921) Build & Evaluate (in Docker) #1411: Commit ada6c08 pushed by luisacicolini
2m 5s main
main
2m 5s
feat: hardware addition circuit Build & Evaluate (in Docker) #1410: Pull request #1921 synchronize by luisacicolini
5m 35s add-circuit
add-circuit
5m 35s
feat: hardware addition circuit Build & Evaluate (in Docker) #1409: Pull request #1921 opened by luisacicolini
10m 40s add-circuit
add-circuit
10m 40s
feat: bisimilarity of handshake and hardware for fork circuit (#1917) Build & Evaluate (in Docker) #1408: Commit ca1aa51 pushed by luisacicolini
2m 5s main
main
2m 5s
feat: bisimilarity of handshake and hardware for fork circuit Build & Evaluate (in Docker) #1407: Pull request #1917 synchronize by luisacicolini
11m 35s fork-corr-proof
fork-corr-proof
11m 35s
feat: bisimilarity of handshake and hardware for fork circuit Build & Evaluate (in Docker) #1406: Pull request #1917 synchronize by luisacicolini
1m 47s fork-corr-proof
fork-corr-proof
1m 47s
feat: bisimilarity of handshake and hardware for fork circuit Build & Evaluate (in Docker) #1405: Pull request #1917 synchronize by luisacicolini
2m 5s fork-corr-proof
fork-corr-proof
2m 5s
feat: bisimilarity of handshake and hardware for fork circuit Build & Evaluate (in Docker) #1404: Pull request #1917 synchronize by luisacicolini
2m 34s fork-corr-proof
fork-corr-proof
2m 34s
feat: bisimilarity of handshake and hardware for fork circuit Build & Evaluate (in Docker) #1403: Pull request #1917 synchronize by luisacicolini
1m 58s fork-corr-proof
fork-corr-proof
1m 58s
feat: bisimilarity of handshake and hardware for fork circuit Build & Evaluate (in Docker) #1402: Pull request #1917 synchronize by luisacicolini
1m 57s fork-corr-proof
fork-corr-proof
1m 57s
chore: organize registers library and clean CIRCT folder (#1920) Build & Evaluate (in Docker) #1401: Commit 193af86 pushed by luisacicolini
2m 2s main
main
2m 2s
chore: organize registers library and clean CIRCT folder Build & Evaluate (in Docker) #1400: Pull request #1920 synchronize by luisacicolini
11m 15s register-library
register-library
11m 15s