Skip to content

Actions: leanprover/lean4export

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update toolchain CI #6: Commit e6c7eaf pushed by hargoniX
June 6, 2025 08:24 37s master
master
June 6, 2025 08:24 37s
Merge pull request #6 from ammkrn/v2025 CI #5: Commit ebd6dd8 pushed by hargoniX
June 2, 2025 08:28 34s master
master
June 2, 2025 08:28 34s
Move to 2025 format version 2.0.0 CI #4: Pull request #6 opened by ammkrn
June 2, 2025 02:12 31s ammkrn:v2025
ammkrn:v2025
June 2, 2025 02:12 31s
Update format & lean, handle mdata CI #3: Pull request #4 synchronize by hargoniX
May 30, 2025 08:33 26s ammkrn:format2024
ammkrn:format2024
May 30, 2025 08:33 26s
Update format & lean, handle mdata CI #2: Pull request #4 synchronize by ammkrn
May 27, 2025 00:51 30s ammkrn:format2024
ammkrn:format2024
May 27, 2025 00:51 30s
feat: CI CI #1: Commit c9f8373 pushed by hargoniX
May 26, 2025 08:44 34s master
master
May 26, 2025 08:44 34s