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

Actions: leanprover/leansat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,007 workflow runs
1,007 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: kill CaDiCal if the tactic gets cancelled. ci #882: Commit b1fa741 pushed by hargoniX
July 9, 2024 09:52 4m 11s main
main
July 9, 2024 09:52 4m 11s
feat: cleanup CaDiCal during interruption ci #881: Pull request #117 opened by hargoniX
July 9, 2024 09:44 3m 50s tryWait
tryWait
July 9, 2024 09:44 3m 50s
feat: shiftLeft for arbitrary bit widths ci #880: Pull request #107 synchronize by hargoniX
July 9, 2024 07:51 2m 33s shiftLeftArbitrary
shiftLeftArbitrary
July 9, 2024 07:51 2m 33s
github_actions in /. - Update #852903502 Dependabot Updates #6: by dependabot bot
July 8, 2024 16:03 34s main
main
July 8, 2024 16:03 34s
doc: rough architecture ci #879: Commit 573fb63 pushed by hargoniX
July 8, 2024 14:44 2m 21s main
main
July 8, 2024 14:44 2m 21s
doc: rough architecture ci #878: Pull request #116 synchronize by hargoniX
July 8, 2024 14:38 2m 28s doc
doc
July 8, 2024 14:38 2m 28s
doc: rough architecture ci #877: Pull request #116 opened by hargoniX
July 8, 2024 14:36 2m 30s doc
doc
July 8, 2024 14:36 2m 30s
test: no more axioms are necessary ci #876: Commit eb86a19 pushed by hargoniX
July 8, 2024 11:39 3m 45s main
main
July 8, 2024 11:39 3m 45s
feat: use Std.HashMap ci #875: Pull request #115 opened by hargoniX
July 8, 2024 11:27 3m 59s std-hashmap
std-hashmap
July 8, 2024 11:27 3m 59s
github_actions in /. - Update #851970074 Dependabot Updates #5: by dependabot bot
July 5, 2024 15:59 35s main
main
July 5, 2024 15:59 35s
chore: reduce batteries dependencies ci #874: Commit d26e25d pushed by hargoniX
July 5, 2024 11:54 3m 7s main
main
July 5, 2024 11:54 3m 7s
feat: shiftLeft for arbitrary bit widths ci #873: Pull request #107 synchronize by hargoniX
July 5, 2024 07:51 2m 9s shiftLeftArbitrary
shiftLeftArbitrary
July 5, 2024 07:51 2m 9s
chore: close sorries for BitVec.mul ci #872: Commit 4e6c380 pushed by hargoniX
July 5, 2024 07:42 3m 4s main
main
July 5, 2024 07:42 3m 4s
feat: BitVec.mul ci #871: Pull request #95 synchronize by hargoniX
July 5, 2024 06:40 3m 22s mul
mul
July 5, 2024 06:40 3m 22s
feat: add simproc for optimizing constant multiplication ci #870: Commit 67e14a6 pushed by hargoniX
July 5, 2024 06:35 3m 20s mul
mul
July 5, 2024 06:35 3m 20s
chore: update nightly ci #869: Commit 2b7ae31 pushed by hargoniX
July 5, 2024 06:35 4m 6s main
main
July 5, 2024 06:35 4m 6s
update nightly ci #868: Pull request #114 synchronize by hargoniX
July 5, 2024 06:31 3m 58s update-nightly
update-nightly
July 5, 2024 06:31 3m 58s
github_actions in /. - Update #851537011 Dependabot Updates #4: by dependabot bot
July 4, 2024 15:24 32s main
main
July 4, 2024 15:24 32s
github_actions in /. - Update #851054955 Dependabot Updates #3: by dependabot bot
July 3, 2024 15:17 38s main
main
July 3, 2024 15:17 38s
update nightly ci #867: Pull request #114 opened by hargoniX
July 3, 2024 09:56 1m 13s update-nightly
update-nightly
July 3, 2024 09:56 1m 13s
github_actions in /. - Update #850934882 Dependabot Updates #2: by dependabot bot
July 3, 2024 09:49 45s main
main
July 3, 2024 09:49 45s
github_actions in /. - Update #850934881 Dependabot Updates #1: by dependabot bot
July 3, 2024 09:49 54s main
main
July 3, 2024 09:49 54s
feat: add dependabot for Github actions ci #866: Commit ec1e572 pushed by hargoniX
July 3, 2024 09:49 4m 6s main
main
July 3, 2024 09:49 4m 6s
Update CI ci #865: Pull request #113 synchronize by hargoniX
July 3, 2024 09:46 2m 17s update-ci
update-ci
July 3, 2024 09:46 2m 17s
Update CI ci #864: Pull request #113 synchronize by hargoniX
July 3, 2024 09:43 2m 23s update-ci
update-ci
July 3, 2024 09:43 2m 23s