Skip to content

Actions: opencompl/lean4

Actions

Actionlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
actionlint.yml
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Introduce mleave tactic that leaves the SPred proof mode (#… Actionlint #69: Commit 548d564 pushed by luisacicolini
July 22, 2025 13:39 38s master
master
July 22, 2025 13:39 38s
chore: add simple simp benchmark (#9380) Actionlint #68: Commit 6adeab2 pushed by luisacicolini
July 15, 2025 16:00 42s master
master
July 15, 2025 16:00 42s
chore: remove compiler.enableNew=true from a test and rename it (#9247) Actionlint #67: Commit 6de68dd pushed by luisacicolini
July 8, 2025 08:21 44s master
master
July 8, 2025 08:21 44s
doc: add missing docstring for ToFormat.toFormat (#9093) Actionlint #66: Commit 9bbd2e6 pushed by luisacicolini
June 30, 2025 07:23 31s master
master
June 30, 2025 07:23 31s
feat: add BitVec.(getElem, getLsbD, getMsbD)_(smod, sdiv, srem) (#8… Actionlint #65: Commit 46a7c91 pushed by luisacicolini
June 24, 2025 07:52 30s master
master
June 24, 2025 07:52 30s
chore: remove redundant field from Lean.Grind.IntModule (#8879) Actionlint #64: Commit 0077dd3 pushed by luisacicolini
June 19, 2025 08:05 41s master
master
June 19, 2025 08:05 41s
feat: add BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend (#8811) Actionlint #63: Commit 43aaae7 pushed by luisacicolini
June 17, 2025 18:57 49s master
master
June 17, 2025 18:57 49s
chore: ignore me Actionlint #62: Pull request #55 opened by luisacicolini
June 17, 2025 18:57 57s clz-not-clean
clz-not-clean
June 17, 2025 18:57 57s
feat: match-expressions with congruence equation theorems (#8506) Actionlint #61: Commit 1fd7206 pushed by tobiasgrosser
May 29, 2025 04:40 41s master
master
May 29, 2025 04:40 41s
chore: skip OS X aarch64 CI only in merge groups Actionlint #60: Commit 7651684 pushed by tobiasgrosser
May 14, 2025 10:14 1m 37s master
master
May 14, 2025 10:14 1m 37s
chore: skip OS X aarch64 CI only in merge groups Actionlint #59: Commit 1fce6a7 pushed by tobiasgrosser
May 14, 2025 10:08 41s master
master
May 14, 2025 10:08 41s
chore: skip OS X aarch64 CI only in merge groups Actionlint #58: Commit df9dcca pushed by tobiasgrosser
May 14, 2025 10:05 45s master
master
May 14, 2025 10:05 45s
doc: add documentation style guide (#8199) Actionlint #57: Commit 7f4f6b3 pushed by bollu
May 2, 2025 13:35 52s master
master
May 2, 2025 13:35 52s
feat: extensional hash maps (#8004) Actionlint #56: Commit 747ea85 pushed by luisacicolini
April 28, 2025 08:27 45s master
master
April 28, 2025 08:27 45s
chore: add bitblast file for marc to repro Actionlint #55: Commit b5a383c pushed by bollu
April 7, 2025 12:27 38s master
master
April 7, 2025 12:27 38s
chore: CI: improve ccache (#7643) Actionlint #54: Commit 33e456d pushed by luisacicolini
April 2, 2025 15:22 41s master
master
April 2, 2025 15:22 41s
doc: review docstrings for Float and Float32 (#7642) Actionlint #53: Commit 0d1d8b6 pushed by luisacicolini
March 26, 2025 11:20 39s master
master
March 26, 2025 11:20 39s
chore: fix debug preset (#7653) Actionlint #52: Commit 635af86 pushed by tobiasgrosser
March 24, 2025 11:56 49s master
master
March 24, 2025 11:56 49s
chore: readd "(kernel)" to kernel error message (#7453) Actionlint #51: Commit 2363d2f pushed by bollu
March 12, 2025 15:27 53s master
master
March 12, 2025 15:27 53s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Actionlint #50: Pull request #43 synchronize by bollu
March 12, 2025 15:08 1m 0s ac-rfl-term-sharing
ac-rfl-term-sharing
March 12, 2025 15:08 1m 0s
feat: add Bitvec.toFin_twoPow Actionlint #49: Pull request #51 synchronize by luisacicolini
February 25, 2025 13:05 31s twopow-tofin
twopow-tofin
February 25, 2025 13:05 31s
feat: add Bitvec.toFin_twoPow Actionlint #48: Pull request #51 synchronize by luisacicolini
February 25, 2025 13:03 6m 9s twopow-tofin
twopow-tofin
February 25, 2025 13:03 6m 9s
feat: add BitVec.toFin_abs Actionlint #47: Pull request #44 synchronize by luisacicolini
February 24, 2025 10:18 38s tofin-abs
tofin-abs
February 24, 2025 10:18 38s
feat: insertMany, ofList, ofArray, foldr, foldM functions for the tre… Actionlint #46: Commit 36ac6eb pushed by bollu
February 14, 2025 09:34 45s master
master
February 14, 2025 09:34 45s
feat: simp +arith normalizes coefficient in linear integer polynomi… Actionlint #45: Commit d61f506 pushed by luisacicolini
February 10, 2025 08:51 39s master
master
February 10, 2025 08:51 39s