Skip to content

Actions: opencompl/lean4

Actions

Actionlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
actionlint.yml
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

div proofs for bitblaster Actionlint #10: Pull request #7 opened by bollu
June 8, 2024 06:31 35s mod-lemmas
mod-lemmas
June 8, 2024 06:31 35s
fix: incorrect info tree reuse (#4340) Actionlint #9: Commit 8437d1f pushed by tobiasgrosser
June 4, 2024 11:12 41s master
master
June 4, 2024 11:12 41s
fix: stray tokens in tactic block should not inhibit incrementality (… Actionlint #8: Commit 6677767 pushed by tobiasgrosser
May 27, 2024 18:36 22s master
master
May 27, 2024 18:36 22s
feat: incremental elaboration of definition headers, bodies, and tact… Actionlint #7: Commit f97a7d4 pushed by alexkeizer
May 22, 2024 14:36 26s master
master
May 22, 2024 14:36 26s
WIP: multiplication circuit for bit blasting Actionlint #6: Pull request #2 synchronize by alexkeizer
May 14, 2024 15:23 37s bitvec-mulAdd
bitvec-mulAdd
May 14, 2024 15:23 37s
feat: BitVec.shiftLeft_shiftLeft, BitVec.shiftRight_shiftRight (#4148) Actionlint #5: Commit a17c3f4 pushed by alexkeizer
May 13, 2024 17:05 30s master
master
May 13, 2024 17:05 30s
WIP: multiplication circuit for bit blasting Actionlint #4: Pull request #2 opened by alexkeizer
May 13, 2024 17:05 42s bitvec-mulAdd
bitvec-mulAdd
May 13, 2024 17:05 42s
fix: occurence check in mkInjectiveTheoremTypeCore? (#3398) Actionlint #3: Commit e0c1afd pushed by tobiasgrosser
May 6, 2024 08:21 24s master
master
May 6, 2024 08:21 24s
WIP: blast_bv tactic Actionlint #2: Pull request #1 synchronize by alexkeizer
February 24, 2024 01:01 30s bv-elim
bv-elim
February 24, 2024 01:01 30s
Actionlint Actionlint #1: by alexkeizer
February 24, 2024 01:01 30s master
master
February 24, 2024 01:01 30s