Skip to content

Actions: hanwenzhu/premise-selection

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
111 workflow runs
111 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump to v4.21.0 Lean Action CI #111: Commit b16d71d pushed by hanwenzhu
July 4, 2025 19:16 1m 9s v4.21.0
v4.21.0
July 4, 2025 19:16 1m 9s
chore: bump to v4.21.0 Lean Action CI #110: Commit b16d71d pushed by hanwenzhu
July 4, 2025 19:15 1m 2s main
main
July 4, 2025 19:15 1m 2s
Update README.md Lean Action CI #109: Commit 2bb3c46 pushed by hanwenzhu
June 17, 2025 02:38 56s main
main
June 17, 2025 02:38 56s
chore: misc updates to README Lean Action CI #108: Commit 59ddc6b pushed by hanwenzhu
June 12, 2025 19:24 59s main
main
June 12, 2025 19:24 59s
chore: replace suggest_premises Lean Action CI #107: Commit 0257350 pushed by hanwenzhu
June 11, 2025 02:03 1m 9s main
main
June 11, 2025 02:03 1m 9s
bump to v4.20.0 Lean Action CI #106: Commit d81f961 pushed by hanwenzhu
June 11, 2025 01:57 1m 9s main
main
June 11, 2025 01:57 1m 9s
Lean Action CI Lean Action CI #105: by hanwenzhu
June 11, 2025 01:57 1m 13s v4.20.0
v4.20.0
June 11, 2025 01:57 1m 13s
Merge branch 'v4.18.0' Lean Action CI #104: Commit 3a7d8c3 pushed by hanwenzhu
June 11, 2025 01:54 1m 6s v4.20.0
v4.20.0
June 11, 2025 01:54 1m 6s
Merge branch 'v4.18.0' Lean Action CI #103: Commit 3a7d8c3 pushed by hanwenzhu
June 11, 2025 01:54 56s main
main
June 11, 2025 01:54 56s
add tactic Lean Action CI #102: Commit 99c63e7 pushed by hanwenzhu
June 11, 2025 01:53 55s v4.18.0
v4.18.0
June 11, 2025 01:53 55s
minor typo Lean Action CI #101: Commit 29520f6 pushed by hanwenzhu
May 24, 2025 04:42 54s v4.18.0
v4.18.0
May 24, 2025 04:42 54s
Merge pull request #5 from hanwenzhu/v4.18.0 Lean Action CI #100: Commit e82dc57 pushed by hanwenzhu
May 24, 2025 04:31 1m 12s main
main
May 24, 2025 04:31 1m 12s
V4.18.0 Lean Action CI #99: Pull request #5 opened by hanwenzhu
May 24, 2025 04:31 57s v4.18.0
v4.18.0
May 24, 2025 04:31 57s
link to LeanHammer Lean Action CI #98: Commit 0eabf70 pushed by hanwenzhu
May 24, 2025 04:31 1m 12s v4.18.0
v4.18.0
May 24, 2025 04:31 1m 12s
minor Lean Action CI #97: Commit d24c3f6 pushed by hanwenzhu
May 23, 2025 22:23 1m 21s v4.18.0
v4.18.0
May 23, 2025 22:23 1m 21s
misc changes Lean Action CI #96: Commit 28c44f3 pushed by hanwenzhu
May 22, 2025 05:05 23m 21s v4.16.0
v4.16.0
May 22, 2025 05:05 23m 21s
misc changes Lean Action CI #95: Commit 28c44f3 pushed by hanwenzhu
May 22, 2025 05:05 23m 18s archive/v4.16.0
archive/v4.16.0
May 22, 2025 05:05 23m 18s
Merge pull request #4 from hanwenzhu/v4.18.0 Lean Action CI #94: Commit 775880f pushed by hanwenzhu
May 21, 2025 20:09 59s main
main
May 21, 2025 20:09 59s
Merge from development branch Lean Action CI #93: Pull request #4 opened by hanwenzhu
May 16, 2025 04:39 1m 3s v4.18.0
v4.18.0
May 16, 2025 04:39 1m 3s
Merge branch 'v4.18.0' of https://github.com/hanwenzhu/premise-select… Lean Action CI #92: Commit d2a5e7b pushed by hanwenzhu
May 16, 2025 04:38 1m 11s v4.18.0
v4.18.0
May 16, 2025 04:38 1m 11s
Merge pull request #3 from hanwenzhu/v4.18.0 Lean Action CI #91: Commit 1d6421c pushed by hanwenzhu
May 15, 2025 02:36 53s main
main
May 15, 2025 02:36 53s
Add combinators Lean Action CI #90: Pull request #3 synchronize by hanwenzhu
May 15, 2025 02:33 1m 9s v4.18.0
v4.18.0
May 15, 2025 02:33 1m 9s
Merge branch 'main' into v4.18.0 Lean Action CI #89: Commit 3fe7888 pushed by hanwenzhu
May 15, 2025 02:33 1m 8s v4.18.0
v4.18.0
May 15, 2025 02:33 1m 8s
minor Lean Action CI #88: Commit bdf8524 pushed by hanwenzhu
May 15, 2025 02:32 56s v4.18.0
v4.18.0
May 15, 2025 02:32 56s
add selector combinators Lean Action CI #87: Commit 6cf6e89 pushed by hanwenzhu
May 15, 2025 00:44 56s v4.18.0
v4.18.0
May 15, 2025 00:44 56s