Skip to content

Actions: tydeu/lean4-alloy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Replace mkAuxName with mkAuxDeclName CI #138: Pull request #11 opened by eneoli
July 8, 2025 16:19 Action required eneoli:update-lean-4-21-0
eneoli:update-lean-4-21-0
July 8, 2025 16:19 Action required
chore: rm leftover code from Lean v4.18.0 adaption CI #137: Commit bbb9416 pushed by tydeu
May 21, 2025 04:52 4m 13s master
master
May 21, 2025 04:52 4m 13s
chore: update to Lean v4.19.0 CI #136: Commit 04d6f34 pushed by tydeu
May 21, 2025 00:11 4m 5s master
master
May 21, 2025 00:11 4m 5s
chore: update to Lean v4.18.0 CI #135: Commit d01c24f pushed by tydeu
May 20, 2025 23:58 4m 34s master
master
May 20, 2025 23:58 4m 34s
chore: update to Lean v4.17.0 CI #134: Commit 57c73ea pushed by tydeu
May 20, 2025 21:57 4m 17s master
master
May 20, 2025 21:57 4m 17s
chore: update to Lean v4.16.0 CI #133: Commit ce768d7 pushed by tydeu
May 20, 2025 21:36 6h 0m 21s master
master
May 20, 2025 21:36 6h 0m 21s
chore: update to Lean v4.15.0 CI #132: Commit 79d91c4 pushed by tydeu
May 20, 2025 20:49 6h 5m 6s master
master
May 20, 2025 20:49 6h 5m 6s
chore: update to Lean v4.14.0 CI #131: Commit b809e2f pushed by tydeu
May 20, 2025 19:20 6h 5m 6s master
master
May 20, 2025 19:20 6h 5m 6s
chore: update to Lean v4.13.0 CI #130: Commit 5fde48f pushed by tydeu
November 27, 2024 18:28 6h 0m 26s master
master
November 27, 2024 18:28 6h 0m 26s
ci: bump actions/upload-artifact CI #129: Commit 0ff52a6 pushed by tydeu
November 27, 2024 16:55 6h 0m 25s master
master
November 27, 2024 16:55 6h 0m 25s
chore: update to Lean v4.12.0 CI #128: Commit 3c56f56 pushed by tydeu
October 25, 2024 16:56 17s master
master
October 25, 2024 16:56 17s
test: modernize scripts CI #127: Commit a712058 pushed by tydeu
July 22, 2024 17:10 2m 59s master
master
July 22, 2024 17:10 2m 59s
chore: bump Lean v4.9.1 CI #126: Commit 7af65d3 pushed by tydeu
July 16, 2024 15:33 3m 10s master
master
July 16, 2024 15:33 3m 10s
chore: bump Lean to v4.8.0 CI #125: Commit d93e059 pushed by tydeu
June 19, 2024 13:14 2m 12s master
master
June 19, 2024 13:14 2m 12s