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

Upgrade release ci #945: Pull request #133 opened by hargoniX
August 1, 2024 13:06 3m 58s upgrade-release
upgrade-release
August 1, 2024 13:06 3m 58s
chore: fix grammar in comment ci #944: Commit 4ac23a4 pushed by hargoniX
July 31, 2024 21:14 3m 8s main
main
July 31, 2024 21:14 3m 8s
Bump toolchain to nightly-2024-07-25 ci #942: Commit 9906580 pushed by hargoniX
July 25, 2024 18:06 3m 39s main
main
July 25, 2024 18:06 3m 39s
Bump toolchain to nightly-2024-07-25 ci #941: Pull request #131 opened by shigoel
July 25, 2024 17:59 3m 34s shigoel:bump_toolchain
shigoel:bump_toolchain
July 25, 2024 17:59 3m 34s
chore(deps): bump leanprover/lean-action from 1.pre.beta to 1.0.0 ci #940: Commit e7ed2db pushed by hargoniX
July 22, 2024 15:55 3m 39s main
main
July 22, 2024 15:55 3m 39s
chore(deps): bump leanprover/lean-action from 1.pre.beta to 1.0.0 ci #939: Pull request #130 opened by dependabot bot
July 22, 2024 15:44 3m 31s dependabot/github_actions/leanprover/lean-action-1.0.0
dependabot/github_actions/leanprover/lean-action-1.0.0
July 22, 2024 15:44 3m 31s
feat: improve automatic abstraction ci #938: Commit 7404f6a pushed by hargoniX
July 20, 2024 17:38 2m 25s main
main
July 20, 2024 17:38 2m 25s
refactor: switch to lakefile.toml ci #937: Commit be0330c pushed by hargoniX
July 18, 2024 08:03 2m 16s main
main
July 18, 2024 08:03 2m 16s
refactor: switch to lakefile.toml ci #936: Pull request #129 opened by hargoniX
July 18, 2024 08:00 2m 30s toml
toml
July 18, 2024 08:00 2m 30s
feat: shiftRight for arbitrary widths ci #935: Pull request #118 synchronize by hargoniX
July 16, 2024 14:46 1m 47s ushiftRightArbitrary
ushiftRightArbitrary
July 16, 2024 14:46 1m 47s
feat: shiftLeft for arbitrary bit widths ci #934: Pull request #107 synchronize by hargoniX
July 16, 2024 14:42 1m 38s shiftLeftArbitrary
shiftLeftArbitrary
July 16, 2024 14:42 1m 38s
test: add new files from grosser group ci #933: Commit 8ecdb6d pushed by hargoniX
July 16, 2024 14:37 2m 31s main
main
July 16, 2024 14:37 2m 31s
test: add new files from grosser group ci #932: Pull request #128 opened by hargoniX
July 16, 2024 14:34 2m 23s llvm-eval-2
llvm-eval-2
July 16, 2024 14:34 2m 23s
feat: shiftRight for arbitrary widths ci #931: Pull request #118 synchronize by hargoniX
July 16, 2024 12:28 1m 42s ushiftRightArbitrary
ushiftRightArbitrary
July 16, 2024 12:28 1m 42s
feat: shiftLeft for arbitrary bit widths ci #930: Pull request #107 synchronize by hargoniX
July 16, 2024 12:22 1m 21s shiftLeftArbitrary
shiftLeftArbitrary
July 16, 2024 12:22 1m 21s
refactor: Move succesful eval to test suite ci #929: Commit cfaaf5f pushed by hargoniX
July 16, 2024 12:15 1m 42s main
main
July 16, 2024 12:15 1m 42s
refactor: Move succesful eval to test suite ci #928: Pull request #127 synchronize by hargoniX
July 16, 2024 12:11 1m 28s eval-refactor
eval-refactor
July 16, 2024 12:11 1m 28s
refactor: Move succesful eval to test suite ci #927: Pull request #127 opened by hargoniX
July 16, 2024 12:11 1m 39s eval-refactor
eval-refactor
July 16, 2024 12:11 1m 39s
feat: shiftRight for arbitrary widths ci #926: Pull request #118 synchronize by hargoniX
July 16, 2024 12:01 2m 12s ushiftRightArbitrary
ushiftRightArbitrary
July 16, 2024 12:01 2m 12s
feat: shiftLeft for arbitrary bit widths ci #925: Pull request #107 synchronize by hargoniX
July 16, 2024 11:58 2m 14s shiftLeftArbitrary
shiftLeftArbitrary
July 16, 2024 11:58 2m 14s
style: format tactics ci #924: Commit 28e7d68 pushed by hargoniX
July 16, 2024 11:54 2m 27s main
main
July 16, 2024 11:54 2m 27s
style: format tactics ci #923: Pull request #126 opened by hargoniX
July 16, 2024 11:47 2m 29s cleanup-tactics
cleanup-tactics
July 16, 2024 11:47 2m 29s
style: format and split up AIG ci #922: Commit a8bd286 pushed by hargoniX
July 16, 2024 11:33 2m 56s main
main
July 16, 2024 11:33 2m 56s
style: format and split up AIG ci #921: Pull request #125 opened by hargoniX
July 16, 2024 11:29 2m 58s cleanup-aig
cleanup-aig
July 16, 2024 11:29 2m 58s
style: format and cleanup External ci #920: Commit 30448db pushed by hargoniX
July 16, 2024 08:17 2m 56s main
main
July 16, 2024 08:17 2m 56s