Skip to content

Actions: opencompl/lean-mlir

Actions

automerge

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
automerge.yml
3,413 workflow runs
3,413 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Handshake-to-HW add circuit automerge #3421: Pull request #1925 synchronize by luisacicolini
7s handshake-to-hw-examples
handshake-to-hw-examples
7s
feat: Handshake-to-HW add circuit automerge #3420: Pull request #1925 opened by luisacicolini
9s handshake-to-hw-examples
handshake-to-hw-examples
9s
Chore: Pqap Problems for Blase automerge #3419: Pull request #1923 synchronize by bollu
11s more-problems
more-problems
11s
Chore: Pqap Problems for Blase automerge #3418: Pull request #1923 synchronize by bollu
6s more-problems
more-problems
6s
Chore: Pqap Problems for Blase automerge #3417: Pull request #1923 synchronize by bollu
9s more-problems
more-problems
9s
chore: add failing medusa test automerge #3416: Pull request #1924 opened by bollu
9s failing-medusa-test
failing-medusa-test
9s
Chore: Pqap Problems for Blase automerge #3415: Pull request #1923 opened by bollu
9s more-problems
more-problems
9s
feat: Neater solver config option for external solvers in Blase automerge #3414: Pull request #1922 opened by georgerennie
9s george/solver_config
george/solver_config
9s
feat: add Valaig package for Aiger solving in Blase automerge #3413: Pull request #1911 synchronize by georgerennie
7s george/valaig
george/valaig
7s
chore: add axiom for the correctness of refinement in rewrite patterns automerge #3412: Pull request #1809 synchronize by tobiasgrosser
8s axiom-ref-correctness
axiom-ref-correctness
8s
feat: hardware addition circuit automerge #3411: Pull request #1921 synchronize by luisacicolini
9s add-circuit
add-circuit
9s
feat: hardware addition circuit automerge #3410: Pull request #1921 opened by luisacicolini
6s add-circuit
add-circuit
6s
feat: bisimilarity of handshake and hardware for fork circuit automerge #3409: Pull request #1917 edited by luisacicolini
7s fork-corr-proof
fork-corr-proof
7s
feat: bisimilarity of handshake and hardware for fork circuit automerge #3408: Pull request #1917 ready_for_review by luisacicolini
10s fork-corr-proof
fork-corr-proof
10s
feat: bisimilarity of handshake and hardware for fork circuit automerge #3407: Pull request #1917 synchronize by luisacicolini
7s fork-corr-proof
fork-corr-proof
7s
feat: bisimilarity of handshake and hardware for fork circuit automerge #3406: Pull request #1917 edited by luisacicolini
10s fork-corr-proof
fork-corr-proof
10s
feat: bisimilarity of handshake and hardware for fork circuit automerge #3405: Pull request #1917 edited by luisacicolini
9s fork-corr-proof
fork-corr-proof
9s
feat: bisimilarity of handshake and hardware for fork circuit automerge #3404: Pull request #1917 synchronize by luisacicolini
6s fork-corr-proof
fork-corr-proof
6s
feat: bisimilarity of handshake and hardware for fork circuit automerge #3403: Pull request #1917 synchronize by luisacicolini
10s fork-corr-proof
fork-corr-proof
10s
feat: bisimilarity of handshake and hardware for fork circuit automerge #3402: Pull request #1917 synchronize by luisacicolini
10s fork-corr-proof
fork-corr-proof
10s
feat: bisimilarity of handshake and hardware for fork circuit automerge #3401: Pull request #1917 synchronize by luisacicolini
6s fork-corr-proof
fork-corr-proof
6s
feat: bisimilarity of handshake and hardware for fork circuit automerge #3400: Pull request #1917 synchronize by luisacicolini
7s fork-corr-proof
fork-corr-proof
7s
chore: organize registers library and clean CIRCT folder automerge #3399: Pull request #1920 synchronize by luisacicolini
9s register-library
register-library
9s
chore: organize registers library and clean CIRCT folder automerge #3398: Pull request #1920 edited by luisacicolini
7s register-library
register-library
7s
chore: organize registers library and clean CIRCT folder automerge #3397: Pull request #1920 edited by luisacicolini
6s register-library
register-library
6s