Skip to content
This repository has been archived by the owner on Aug 29, 2024. It is now read-only.

Actions: leanprover/leansat

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
963 workflow runs
963 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

deprecation ci #970: Commit b83b5d8 pushed by hargoniX
August 29, 2024 08:22 In progress main
main
August 29, 2024 08:22 In progress
final refactor of AIG.RelabelNat ci #969: Commit d5ba404 pushed by hargoniX
August 29, 2024 08:18 3m 55s main
main
August 29, 2024 08:18 3m 55s
chore(deps): bump leanprover/lean-action from 1.0.0 to 1.0.2 ci #968: Pull request #137 opened by dependabot bot
August 26, 2024 15:59 3m 44s dependabot/github_actions/leanprover/lean-action-1.0.2
dependabot/github_actions/leanprover/lean-action-1.0.2
August 26, 2024 15:59 3m 44s
chore(deps): bump leanprover/lean-action from 1.0.0 to 1.0.1 ci #967: Pull request #136 opened by dependabot bot
August 21, 2024 16:03 3m 48s dependabot/github_actions/leanprover/lean-action-1.0.1
dependabot/github_actions/leanprover/lean-action-1.0.1
August 21, 2024 16:03 3m 48s
refactor: final refactor of CachedLemmas ci #966: Commit 30e2ed2 pushed by hargoniX
August 7, 2024 13:16 3m 37s main
main
August 7, 2024 13:16 3m 37s
refactor: final refactor of RelabelFin ci #965: Commit 45f3732 pushed by hargoniX
August 6, 2024 18:44 2m 59s main
main
August 6, 2024 18:44 2m 59s
refactor: final refactor of CNF.Relabel ci #964: Commit 714eceb pushed by hargoniX
August 6, 2024 18:27 2m 40s main
main
August 6, 2024 18:27 2m 40s
refactor: final refactor of CNF.Basic ci #963: Commit 6c73f54 pushed by hargoniX
August 6, 2024 18:22 2m 52s main
main
August 6, 2024 18:22 2m 52s
refactor: final refactor of CNF.Literal ci #962: Commit 5315f34 pushed by hargoniX
August 6, 2024 18:14 3m 24s main
main
August 6, 2024 18:14 3m 24s
refactor: final cleanup of LeanSAT.Sat ci #961: Commit fef547e pushed by hargoniX
August 6, 2024 17:55 3m 26s main
main
August 6, 2024 17:55 3m 26s
refactor: move literal to CNF ci #960: Commit 6db8e1a pushed by hargoniX
August 6, 2024 17:49 3m 27s main
main
August 6, 2024 17:49 3m 27s
chore: decouple modules further ci #959: Commit ba03a27 pushed by hargoniX
August 6, 2024 17:37 2m 41s main
main
August 6, 2024 17:37 2m 41s
chore: workaround for missing ByteArray literals ci #958: Commit f48d7ff pushed by hargoniX
August 5, 2024 15:29 2m 53s main
main
August 5, 2024 15:29 2m 53s
feat: implement the binary LRAT proof format. ci #957: Pull request #135 opened by hargoniX
August 5, 2024 15:25 3m 9s lrat-binary
lrat-binary
August 5, 2024 15:25 3m 9s
feat: verification of replicate ci #956: Commit f1763cf pushed by hargoniX
August 2, 2024 14:27 3m 35s main
main
August 2, 2024 14:27 3m 35s
feat: BitVec.replicate ci #955: Pull request #134 synchronize by hargoniX
August 2, 2024 14:22 2m 35s replicate
replicate
August 2, 2024 14:22 2m 35s
feat: BitVec.replicate ci #954: Pull request #134 synchronize by hargoniX
August 2, 2024 08:55 3m 0s replicate
replicate
August 2, 2024 08:55 3m 0s
feat: BitVec.replicate ci #953: Pull request #134 opened by hargoniX
August 2, 2024 07:05 2m 47s replicate
replicate
August 2, 2024 07:05 2m 47s
test: move now succeeding Evals ci #952: Commit 8ace182 pushed by hargoniX
August 1, 2024 14:04 4m 2s main
main
August 1, 2024 14:04 4m 2s
feat: shiftRight for arbitrary widths ci #951: Pull request #118 synchronize by hargoniX
August 1, 2024 13:58 2m 55s ushiftRightArbitrary
ushiftRightArbitrary
August 1, 2024 13:58 2m 55s
feat: shiftRight for arbitrary widths ci #950: Pull request #118 synchronize by hargoniX
August 1, 2024 13:46 3m 58s ushiftRightArbitrary
ushiftRightArbitrary
August 1, 2024 13:46 3m 58s
feat: shiftRight for arbitrary widths ci #949: Pull request #118 synchronize by hargoniX
August 1, 2024 13:44 1m 18s ushiftRightArbitrary
ushiftRightArbitrary
August 1, 2024 13:44 1m 18s
feat: fix all proof obligations ci #948: Commit 4fc5e73 pushed by hargoniX
August 1, 2024 13:37 3m 41s main
main
August 1, 2024 13:37 3m 41s
feat: shiftLeft for arbitrary bit widths ci #947: Pull request #107 synchronize by hargoniX
August 1, 2024 13:21 3m 41s shiftLeftArbitrary
shiftLeftArbitrary
August 1, 2024 13:21 3m 41s
chore: upgrade toolchain ci #946: Commit 8dc06af pushed by hargoniX
August 1, 2024 13:10 3m 59s main
main
August 1, 2024 13:10 3m 59s