Skip to content

Actions: opencompl/datapath-verification

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CSA/4 input proofs Lean Action CI #26: Pull request #2 synchronize by osmanyasar05
1m 51s CSANonRecursive
CSANonRecursive
1m 51s
csa chain Lean Action CI #25: Commit 5cb7e07 pushed by osmanyasar05
1m 50s CSANonRecursive
CSANonRecursive
1m 50s
CSA/4 input proofs Lean Action CI #24: Pull request #2 synchronize by osmanyasar05
1m 49s CSANonRecursive
CSANonRecursive
1m 49s
mul4_correct Lean Action CI #23: Commit 5e69314 pushed by osmanyasar05
1m 56s CSANonRecursive
CSANonRecursive
1m 56s
CSA/4 input proofs Lean Action CI #22: Pull request #2 opened by osmanyasar05
1m 41s CSANonRecursive
CSANonRecursive
1m 41s
CSA/4 input proofs Lean Action CI #21: Commit 155f904 pushed by osmanyasar05
1m 46s CSANonRecursive
CSANonRecursive
1m 46s
fix build Lean Action CI #20: Commit cee2277 pushed by osmanyasar05
2m 7s main
main
2m 7s
CSA/4 input proof Lean Action CI #19: Commit f306713 pushed by osmanyasar05
2m 50s simplerCSA
simplerCSA
2m 50s
CSA proof Lean Action CI #18: Pull request #1 synchronize by osmanyasar05
1m 59s CSA_proof
CSA_proof
1m 59s
make t width w Lean Action CI #17: Commit 41ef8aa pushed by osmanyasar05
1m 45s CSA_proof
CSA_proof
1m 45s
CSA proof Lean Action CI #16: Pull request #1 synchronize by osmanyasar05
2m 10s CSA_proof
CSA_proof
2m 10s
fix Lean Action CI #15: Commit 42e13d2 pushed by osmanyasar05
3m 17s CSA_proof
CSA_proof
3m 17s
CSA proof Lean Action CI #14: Pull request #1 synchronize by osmanyasar05
1m 58s CSA_proof
CSA_proof
1m 58s
comments Lean Action CI #13: Commit e0d080d pushed by osmanyasar05
1m 51s CSA_proof
CSA_proof
1m 51s
CSA proof Lean Action CI #12: Pull request #1 synchronize by osmanyasar05
2m 6s CSA_proof
CSA_proof
2m 6s
namespace Lean Action CI #11: Commit 7381a24 pushed by osmanyasar05
1m 52s CSA_proof
CSA_proof
1m 52s
CSA proof Lean Action CI #10: Pull request #1 synchronize by osmanyasar05
2m 8s CSA_proof
CSA_proof
2m 8s
address comments Lean Action CI #9: Commit 2f2e21f pushed by osmanyasar05
1m 49s CSA_proof
CSA_proof
1m 49s
CSA proof Lean Action CI #8: Pull request #1 synchronize by osmanyasar05
2m 8s CSA_proof
CSA_proof
2m 8s
fix CI Lean Action CI #7: Commit ea74c9c pushed by osmanyasar05
2m 5s CSA_proof
CSA_proof
2m 5s
CSA proof Lean Action CI #6: Pull request #1 opened by osmanyasar05
2m 2s CSA_proof
CSA_proof
2m 2s
CSA proof Lean Action CI #5: Commit c5ee4b3 pushed by osmanyasar05
1m 40s CSA_proof
CSA_proof
1m 40s
CSA proof Lean Action CI #4: Commit 82632fa pushed by osmanyasar05
1m 52s CSA_proof
CSA_proof
1m 52s
first commit Lean Action CI #3: Commit b5241a1 pushed by osmanyasar05
1m 39s main
main
1m 39s
CSA proof Lean Action CI #2: Commit c2daab4 pushed by osmanyasar05
2m 4s CSA_proof
CSA_proof
2m 4s