Skip to content

Actions: leanprover/lean4checker

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
149 workflow runs
149 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update .gitignore continuous integration #24: Commit f7540c9 pushed by kim-em
November 30, 2023 03:24 20s toolchain/v4.3.0-rc2
toolchain/v4.3.0-rc2
November 30, 2023 03:24 20s
bump toolchain to v4.3.0-rc2 continuous integration #23: Commit 6d11dfb pushed by kim-em
November 17, 2023 12:16 22s toolchain/v4.3.0-rc2
toolchain/v4.3.0-rc2
November 17, 2023 12:16 22s
fix test framework and CI continuous integration #22: Commit ffa7217 pushed by kim-em
November 17, 2023 12:15 26s toolchain/v4.3.0-rc1
toolchain/v4.3.0-rc1
November 17, 2023 12:15 26s
Add a test case about overriding the prelude continuous integration #21: Pull request #3 synchronize by kim-em
November 16, 2023 01:53 1m 15s nomeata:overriden-prelude
nomeata:overriden-prelude
November 16, 2023 01:53 1m 15s
Add a test case about overriding the prelude continuous integration #20: Pull request #3 synchronize by kim-em
November 16, 2023 01:51 15s nomeata:overriden-prelude
nomeata:overriden-prelude
November 16, 2023 01:51 15s
fix test framework and CI continuous integration #19: Commit ffa7217 pushed by kim-em
November 16, 2023 01:50 22s master
master
November 16, 2023 01:50 22s
Add a test case about overriding the prelude continuous integration #18: Pull request #3 synchronize by kim-em
November 16, 2023 01:47 20s nomeata:overriden-prelude
nomeata:overriden-prelude
November 16, 2023 01:47 20s
Add a test case about overriding the prelude continuous integration #17: Pull request #3 synchronize by kim-em
November 16, 2023 01:45 17s nomeata:overriden-prelude
nomeata:overriden-prelude
November 16, 2023 01:45 17s
Add a test case about overriding the prelude continuous integration #16: Pull request #3 synchronize by kim-em
November 16, 2023 01:41 26s nomeata:overriden-prelude
nomeata:overriden-prelude
November 16, 2023 01:41 26s
fix test.yml continuous integration #15: Commit 19207d2 pushed by kim-em
November 16, 2023 01:37 20s master
master
November 16, 2023 01:37 20s
cleanup during tests continuous integration #14: Commit 6379774 pushed by kim-em
November 16, 2023 01:36 1s master
master
November 16, 2023 01:36 1s
update README continuous integration #13: Commit 13087b3 pushed by kim-em
November 6, 2023 10:14 Startup failure master
master
November 6, 2023 10:14 Startup failure
bump to v4.3.0-rc1, and make ReduceBool test deterministic continuous integration #12: Commit b0d67ea pushed by kim-em
November 6, 2023 10:13 Startup failure master
master
November 6, 2023 10:13 Startup failure
chore: bump lean-toolchain to v4.2.0-rc4 continuous integration #11: Commit 005e771 pushed by kim-em
October 24, 2023 06:04 Startup failure master
master
October 24, 2023 06:04 Startup failure
chore: skip all '._' files continuous integration #10: Commit 04b771a pushed by kim-em
October 24, 2023 05:49 Startup failure master
master
October 24, 2023 05:49 Startup failure
chore: skip lakefile.olean from ProofWidgets continuous integration #9: Commit 777278f pushed by kim-em
October 24, 2023 05:29 Startup failure master
master
October 24, 2023 05:29 Startup failure
chore: bump lean-toolchain to v4.2.0-rc4 continuous integration #8: Commit 005e771 pushed by kim-em
October 21, 2023 22:29 1s master
master
October 21, 2023 22:29 1s
chore: replace implementation with Environment.replay continuous integration #7: Commit 423b8b6 pushed by kim-em
October 19, 2023 06:47 1s master
master
October 19, 2023 06:47 1s
chore: bump toolchain to v4.2.0-rc3 continuous integration #6: Commit 981d71b pushed by kim-em
October 18, 2023 22:32 Startup failure master
master
October 18, 2023 22:32 Startup failure
add test for reduceBool continuous integration #5: Commit c121aaa pushed by kim-em
October 11, 2023 01:12 1s master
master
October 11, 2023 01:12 1s
chore: include recursor names in ConstantInfo.getUsedConstants continuous integration #4: Commit 9d9b313 pushed by kim-em
October 3, 2023 23:17 1s master
master
October 3, 2023 23:17 1s
refactor prior to upstreaming continuous integration #3: Commit a4aae91 pushed by kim-em
October 3, 2023 03:44 1s master
master
October 3, 2023 03:44 1s
Merge pull request #2 from leanprover/constructors continuous integration #2: Commit fbe4211 pushed by kim-em
September 27, 2023 06:25 1s master
master
September 27, 2023 06:25 1s
feat: don't ignore constructors and recursors, and add --fresh mode continuous integration #1: Commit 725a854 pushed by kim-em
September 26, 2023 09:08 1s constructors
constructors
September 26, 2023 09:08 1s