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
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
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
bump_to_v4.22.0-rc3
July 4, 2025 03:17 52s
Merge remote-tracking branch 'origin/nightly-testing' into bump_to_v4… ci #460: Commit 84321c0 pushed by kim-em
July 4, 2025 03:17 39s bump_to_v4.22.0-rc3
bump_to_v4.22.0-rc3
July 4, 2025 03:17 39s
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
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
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
bump_to_v4.22.0-rc2
June 30, 2025 23:01 39s
Merge remote-tracking branch 'origin/nightly-testing' into bump_to_v4… ci #456: Commit 3d2ac8e pushed by kim-em
June 30, 2025 23:01 39s bump_to_v4.22.0-rc2
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
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
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
bump_to_v4.22.0-rc1
June 30, 2025 12:02 38s
Merge remote-tracking branch 'origin/nightly-testing' into bump_to_v4… ci #452: Commit eb683df pushed by kim-em
June 30, 2025 12:02 41s bump_to_v4.22.0-rc1
bump_to_v4.22.0-rc1
June 30, 2025 12:02 41s
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
fvar-alias
June 30, 2025 08:55 40s
fix: make goto definition work on quoted variables ci #450: Commit d28718b pushed by eric-wieser
June 30, 2025 08:55 43s fvar-alias
fvar-alias
June 30, 2025 08:55 43s
chore: bump toolchain to v4.21.0 (#89) ci #449: Commit e9c65db pushed by kim-em
June 30, 2025 03:24 42s stable
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
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
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
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
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
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
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
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
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
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
mirefek:master
June 29, 2025 11:45 45s