Skip to content

Actions: leanprover/lean4export

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
123 workflow runs
123 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
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