Skip to content

Actions: leanprover-community/quote4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
208 workflow runs
208 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump toolchain to v4.22.0-rc3 (#93)
ci #463: Commit 867d9dc pushed by kim-em
July 4, 2025 03:25 39s v4.22.0-rc3
July 4, 2025 03:25 39s
chore: bump toolchain to v4.22.0-rc3 (#93)
ci #462: Commit 867d9dc pushed by kim-em
July 4, 2025 03:20 43s master
July 4, 2025 03:20 43s
chore: bump toolchain to v4.22.0-rc3
ci #461: Pull request #93 opened by kim-em
July 4, 2025 03:17 52s bump_to_v4.22.0-rc3
July 4, 2025 03:17 52s
chore: bump toolchain to v4.22.0-rc2 (#92)
ci #459: Commit 0632bcc pushed by kim-em
June 30, 2025 23:04 50s v4.22.0-rc2
June 30, 2025 23:04 50s
chore: bump toolchain to v4.22.0-rc2 (#92)
ci #458: Commit 0632bcc pushed by kim-em
June 30, 2025 23:03 41s master
June 30, 2025 23:03 41s
chore: bump toolchain to v4.22.0-rc2
ci #457: Pull request #92 opened by kim-em
June 30, 2025 23:01 39s bump_to_v4.22.0-rc2
June 30, 2025 23:01 39s
chore: bump toolchain to v4.22.0-rc1 (#91)
ci #455: Commit b73db43 pushed by kim-em
June 30, 2025 12:03 42s v4.22.0-rc1
June 30, 2025 12:03 42s
chore: bump toolchain to v4.22.0-rc1 (#91)
ci #454: Commit b73db43 pushed by kim-em
June 30, 2025 12:03 44s master
June 30, 2025 12:03 44s
chore: bump toolchain to v4.22.0-rc1
ci #453: Pull request #91 opened by kim-em
June 30, 2025 12:02 38s bump_to_v4.22.0-rc1
June 30, 2025 12:02 38s
fix: make goto definition work on quoted variables
ci #451: Pull request #90 opened by eric-wieser
June 30, 2025 08:55 40s fvar-alias
June 30, 2025 08:55 40s
chore: bump toolchain to v4.21.0 (#89)
ci #449: Commit e9c65db pushed by kim-em
June 30, 2025 03:24 42s stable
June 30, 2025 03:24 42s
chore: bump toolchain to v4.21.0 (#89)
ci #448: Commit e9c65db pushed by kim-em
June 30, 2025 03:24 40s v4.21.0
June 30, 2025 03:24 40s
chore: bump toolchain to v4.21.0 (#89)
ci #447: Commit e9c65db pushed by kim-em
June 30, 2025 02:34 40s master
June 30, 2025 02:34 40s
chore: bump toolchain to v4.21.0
ci #446: Pull request #89 opened by kim-em
June 30, 2025 01:47 45s bump_to_v4.21.0
June 30, 2025 01:47 45s
chore: bump toolchain to v4.21.0
ci #445: Commit 21c7bdf pushed by kim-em
June 30, 2025 01:46 45s bump_to_v4.21.0
June 30, 2025 01:46 45s
feat: Add Qq versions of run_tac & by_elab. (#88)
ci #444: Commit 3e9af9d pushed by eric-wieser
June 29, 2025 16:16 46s master
June 29, 2025 16:16 46s
feat: Add Qq versions of run_tac & by_elab.
ci #443: Pull request #88 synchronize by mirefek
June 29, 2025 15:05 41s mirefek:master
June 29, 2025 15:05 41s
feat: Add Qq versions of run_tac & by_elab.
ci #437: Pull request #88 synchronize by eric-wieser
June 29, 2025 13:56 40s mirefek:master
June 29, 2025 13:56 40s
feat: Add Qq versions of run_tac & by_elab.
ci #436: Pull request #88 synchronize by mirefek
June 29, 2025 13:23 43s mirefek:master
June 29, 2025 13:23 43s
feat: Add Qq versions of run_tac & by_elab.
ci #435: Pull request #88 synchronize by eric-wieser
June 29, 2025 12:18 43s mirefek:master
June 29, 2025 12:18 43s
feat: Add Qq versions of run_tac & by_elab.
ci #434: Pull request #88 synchronize by eric-wieser
June 29, 2025 11:45 45s mirefek:master
June 29, 2025 11:45 45s