Skip to content

Actions: leanprover-community/quote4

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
177 workflow runs
177 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: return QuotedDefEq from Meta wrappers ci #327: Pull request #68 opened by eric-wieser
January 14, 2025 17:39 44s instantiateMVarsQ-defeq
instantiateMVarsQ-defeq
January 14, 2025 17:39 44s
feat: return QuotedDefEq from Meta wrappers ci #326: Commit cc24b34 pushed by eric-wieser
January 14, 2025 17:39 45s instantiateMVarsQ-defeq
instantiateMVarsQ-defeq
January 14, 2025 17:39 45s
feat: Add QuotedLevelDefEq to match QuotedDefEq ci #325: Pull request #67 opened by eric-wieser
January 13, 2025 13:31 40s MaybeLevelDefEq
MaybeLevelDefEq
January 13, 2025 13:31 40s
feat: Add QuotedLevelDefEq to match QuotedDefEq ci #324: Commit 0bffe06 pushed by eric-wieser
January 13, 2025 13:30 46s MaybeLevelDefEq
MaybeLevelDefEq
January 13, 2025 13:30 46s
feat: Add QuotedLevelDefEq to match QuotedDefEq ci #323: Commit 0522d59 pushed by eric-wieser
January 13, 2025 13:29 43s MaybeLevelDefEq
MaybeLevelDefEq
January 13, 2025 13:29 43s
chore: bump toolchain to v4.15.0 (#66) ci #322: Commit f0c584b pushed by kim-em
January 4, 2025 03:41 43s stable
stable
January 4, 2025 03:41 43s
chore: bump toolchain to v4.15.0 (#66) ci #321: Commit f0c584b pushed by kim-em
January 4, 2025 03:41 39s v4.15.0
v4.15.0
January 4, 2025 03:41 39s
chore: bump toolchain to v4.15.0 (#66) ci #320: Commit f0c584b pushed by kim-em
January 4, 2025 03:40 40s master
master
January 4, 2025 03:40 40s
replace a product with a structure (#51) ci #319: Commit ab951ab pushed by kim-em
January 4, 2025 03:40 44s master
master
January 4, 2025 03:40 44s
chore: switch from lakefile.lean to lakefile.toml (#46) ci #318: Commit acbe8f7 pushed by kim-em
January 4, 2025 03:40 42s master
master
January 4, 2025 03:40 42s
chore: bump toolchain to v4.15.0 ci #317: Pull request #66 opened by kim-em
January 4, 2025 03:39 41s bump_to_v4.15.0
bump_to_v4.15.0
January 4, 2025 03:39 41s
chore: bump toolchain to v4.15.0 ci #316: Commit a7676cb pushed by kim-em
January 4, 2025 03:39 45s bump_to_v4.15.0
bump_to_v4.15.0
January 4, 2025 03:39 45s
. ci #315: Commit cbc3a95 pushed by kim-em
December 2, 2024 03:25 48s bump_toolchain_v4.15.0-rc1
bump_toolchain_v4.15.0-rc1
December 2, 2024 03:25 48s
chore: bump toolchain to v4.14.0 ci #314: Commit ad942fd pushed by kim-em
December 2, 2024 03:24 43s v4.14.0
v4.14.0
December 2, 2024 03:24 43s
chore: bump toolchain to v4.14.0 ci #313: Commit ad942fd pushed by kim-em
December 2, 2024 03:23 46s master
master
December 2, 2024 03:23 46s
chore: bump toolchain to v4.14.0-rc1 (#65) ci #312: Commit 303b23f pushed by kim-em
November 4, 2024 01:45 48s v4.14.0-rc1
v4.14.0-rc1
November 4, 2024 01:45 48s
chore: bump toolchain to v4.14.0-rc1 (#65) ci #311: Commit 303b23f pushed by kim-em
November 4, 2024 01:44 44s master
master
November 4, 2024 01:44 44s
chore: bump toolchain to v4.14.0-rc1 ci #310: Pull request #65 synchronize by kim-em
November 4, 2024 01:40 48s nightly-testing
nightly-testing
November 4, 2024 01:40 48s
merge master ci #309: Commit 2adf619 pushed by kim-em
November 4, 2024 01:40 48s nightly-testing
nightly-testing
November 4, 2024 01:40 48s
chore: bump toolchain to v4.14.0-rc1 ci #308: Commit ae1c764 pushed by kim-em
November 4, 2024 01:39 48s nightly-testing
nightly-testing
November 4, 2024 01:39 48s
feat: allow interpolation of fvars, with a warning ci #307: Pull request #64 opened by eric-wieser
November 2, 2024 14:47 54s warn-on-fvar
warn-on-fvar
November 2, 2024 14:47 54s
feat: allow interpolation of fvars, with a warning ci #306: Commit f95d85e pushed by eric-wieser
November 2, 2024 14:47 43s warn-on-fvar
warn-on-fvar
November 2, 2024 14:47 43s
style: replace ← pure with := in matches (#63) ci #305: Commit d6ae727 pushed by eric-wieser
November 2, 2024 14:35 47s master
master
November 2, 2024 14:35 47s
style: replace ← pure with := in matches ci #304: Pull request #63 opened by eric-wieser
November 2, 2024 14:13 42s no-arrow-pure
no-arrow-pure
November 2, 2024 14:13 42s
style: replace ← pure with := in matches ci #303: Commit b7ff016 pushed by eric-wieser
November 2, 2024 14:13 47s no-arrow-pure
no-arrow-pure
November 2, 2024 14:13 47s