Skip to content

Actions: leanprover/lean4export

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #15 from leanprover/bump_to_v4.28.0-rc1 CI #33: Commit de266a0 pushed by kim-em
48s master
master
48s
chore: bump toolchain to v4.28.0-rc1 CI #32: Pull request #15 opened by kim-em
55s bump_to_v4.28.0-rc1
bump_to_v4.28.0-rc1
55s
fix: work-around malformed all field in definitions CI #31: Pull request #14 opened by ammkrn
46s ammkrn:def_all_list
ammkrn:def_all_list
46s
Merge pull request #13 from leanprover/bump_to_v4.27.0 CI #30: Commit 56030ca pushed by kim-em
44s master
master
44s
chore: bump toolchain to v4.27.0 CI #29: Pull request #13 opened by kim-em
43s bump_to_v4.27.0
bump_to_v4.27.0
43s
Merge pull request #10 from ammkrn/json_output CI #28: Commit 4f1e55e pushed by hargoniX
42s master
master
42s
Transition to ndjson export format CI #27: Pull request #10 synchronize by ammkrn
49s ammkrn:json_output
ammkrn:json_output
49s
Transition to ndjson export format CI #26: Pull request #10 synchronize by ammkrn
35s ammkrn:json_output
ammkrn:json_output
35s
Transition to ndjson export format CI #25: Pull request #10 synchronize by ammkrn
39s ammkrn:json_output
ammkrn:json_output
39s
Transition to ndjson export format CI #24: Pull request #10 synchronize by ammkrn
54s ammkrn:json_output
ammkrn:json_output
54s
feat: JSON format parser CI #23: Pull request #12 synchronize by hargoniX
47s json_parse
json_parse
47s
Transition to ndjson export format CI #22: Pull request #10 synchronize by ammkrn
46s ammkrn:json_output
ammkrn:json_output
46s
Transition to ndjson export format CI #21: Pull request #10 synchronize by ammkrn
28s ammkrn:json_output
ammkrn:json_output
28s
Transition to ndjson export format CI #20: Pull request #10 synchronize by ammkrn
41s ammkrn:json_output
ammkrn:json_output
41s
Merge pull request #11 from kim-em/fix-nondep-normalization CI #19: Commit bd93e5e pushed by hargoniX
28s master
master
28s
Transition to ndjson export format CI #18: Pull request #10 synchronize by ammkrn
31s ammkrn:json_output
ammkrn:json_output
31s
feat: JSON format parser CI #17: Pull request #12 opened by hargoniX
50s json_parse
json_parse
50s
Transition to ndjson export format CI #16: Pull request #10 synchronize by ammkrn
29s ammkrn:json_output
ammkrn:json_output
29s
fix: normalize nonDep flag for letE expressions CI #15: Pull request #11 opened by kim-em
32s kim-em:fix-nondep-normalization
kim-em:fix-nondep-normalization
32s
Transition to ndjson export format CI #14: Pull request #10 synchronize by ammkrn
38s ammkrn:json_output
ammkrn:json_output
38s
Transition to ndjson export format CI #13: Pull request #10 opened by ammkrn
38s ammkrn:json_output
ammkrn:json_output
38s
chore: update toolchain CI #12: Commit 9847384 pushed by hargoniX
31s master
master
31s
chore: Use ExceptT for error handling CI #11: Pull request #9 opened by ammkrn
41s ammkrn:except_t_monad
ammkrn:except_t_monad
41s
chore: correctly export axiom dependencies CI #10: Commit 3245035 pushed by hargoniX
47s master
master
47s
chore: update toolchain CI #9: Commit 8c79d2e pushed by hargoniX
33s master
master
33s