Skip to content

Actions: leanprover/lean4export

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
114 workflow runs
114 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
chore: bump toolchain to v4.34.0 (#49) CI #125: Commit 076e8e5 pushed by Garmelon
2m 6s master
master
2m 6s
chore: bump toolchain to v4.34.0 CI #124: Pull request #49 opened by Garmelon
1m 42s bump-to-v4.34.0
bump-to-v4.34.0
1m 42s
Merge pull request #47 from leanprover/partial-is-unsafe CI #123: Commit 411dce7 pushed by robsimmons
52s master
master
52s
fix: omit partial declarations unless exportUnsafe is true CI #122: Pull request #47 opened by robsimmons
57s partial-is-unsafe
partial-is-unsafe
57s
Merge pull request #46 from leanprover/bump-to-v4.34.0-rc2 CI #121: Commit cacf989 pushed by kim-em
42s master
master
42s
chore: bump toolchain to v4.34.0-rc2 CI #120: Pull request #46 opened by kim-em
48s bump-to-v4.34.0-rc2
bump-to-v4.34.0-rc2
48s
chore: bump toolchain to v4.34.0-rc1 (#45) CI #119: Commit b18d673 pushed by Garmelon
47s master
master
47s
chore: bump toolchain to v4.34.0-rc1 CI #118: Pull request #45 opened by Garmelon
49s bump-to-v4.34.0-rc1
bump-to-v4.34.0-rc1
49s
chore: bump toolchain to v4.33.0 (#44) CI #117: Commit 15f6055 pushed by Garmelon
43s master
master
43s
chore: bump toolchain to v4.33.0 CI #116: Pull request #44 opened by Garmelon
48s bump-to-v4.33.0
bump-to-v4.33.0
48s
chore: bump toolchain to v4.33.0-rc2 (#43) CI #115: Commit 9fb131b pushed by Garmelon
43s master
master
43s
chore: bump toolchain to v4.33.0-rc2 CI #114: Pull request #43 opened by Garmelon
1m 0s bump-to-v4.33.0-rc2
bump-to-v4.33.0-rc2
1m 0s
chore: bump toolchain to v4.33.0-rc1 (#42) CI #113: Commit af5aa64 pushed by Garmelon
46s master
master
46s
chore: bump toolchain to v4.33.0-rc1 CI #112: Pull request #42 opened by Garmelon
21m 45s bump-to-v4.33.0-rc1
bump-to-v4.33.0-rc1
21m 45s
chore: bump toolchain to v4.32.0 (#41) CI #111: Commit 4e79152 pushed by Garmelon
3m 28s master
master
3m 28s
chore: bump toolchain to v4.32.0 CI #110: Pull request #41 opened by Garmelon
45s bump-to-v4.32.0
bump-to-v4.32.0
45s
chore: bump toolchain to v4.32.0-rc1 (#39) CI #109: Commit 3de59f1 pushed by Garmelon
53s master
master
53s
chore: bump toolchain to v4.32.0-rc1 CI #108: Pull request #39 synchronize by Garmelon
38s bump-to-v4.32.0-rc1
bump-to-v4.32.0-rc1
38s
chore: bump toolchain to v4.32.0-rc1 CI #107: Pull request #39 opened by Garmelon
46s bump-to-v4.32.0-rc1
bump-to-v4.32.0-rc1
46s
chore: bump toolchain to v4.31.0 (#38) CI #106: Commit 8554815 pushed by Garmelon
59s master
master
59s
chore: bump toolchain to v4.31.0 CI #105: Pull request #38 opened by Garmelon
47s bump-to-v4.31.0
bump-to-v4.31.0
47s
chore: bump toolchain to v4.31.0-rc2 (#37) CI #104: Commit b66b1cd pushed by Garmelon
45s master
master
45s
chore: bump toolchain to v4.31.0-rc2 CI #103: Pull request #37 opened by Garmelon
55s bump-to-v4.31.0-rc2
bump-to-v4.31.0-rc2
55s
Merge pull request #36 from augustepoiroux/ignore-missing CI #102: Commit fb2594d pushed by hargoniX
59s master
master
59s
feat: add --ignore-missing flag to skip missing declarations CI #101: Pull request #36 synchronize by augustepoiroux
1m 3s augustepoiroux:ignore-missing
augustepoiroux:ignore-missing
1m 3s