Skip to content

Actions: leanprover-community/import-graph

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
381 workflow runs
381 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
Build the project Build #693: Commit 579f558 pushed by Garmelon
58s main
main
58s
Build the project Build #692: Pull request #174 opened by Garmelon
1m 5s bump-to-v4.35.0-rc4
bump-to-v4.35.0-rc4
1m 5s
Build the project Build #691: Pull request #173 synchronize by kim-em
41s fix-lake-axiom-leak
fix-lake-axiom-leak
41s
Build the project Build #690: Pull request #173 opened by kim-em
51s fix-lake-axiom-leak
fix-lake-axiom-leak
51s
Build the project Build #689: Pull request #172 opened by kim-em
47s import-formatting-source-edit
import-formatting-source-edit
47s
Build the project Build #688: Commit d058217 pushed by kim-em
50s main
main
50s
Build the project Build #687: Pull request #171 opened by thorimur
44s thorimur:pretty-import-cmp
thorimur:pretty-import-cmp
44s
Build the project Build #686: Pull request #168 synchronize by thorimur
40s thorimur:min-imports-module
thorimur:min-imports-module
40s
Build the project Build #685: Pull request #168 synchronize by thorimur
50s thorimur:min-imports-module
thorimur:min-imports-module
50s
Build the project Build #684: Pull request #168 synchronize by thorimur
40s thorimur:min-imports-module
thorimur:min-imports-module
40s
Build the project Build #683: Pull request #168 synchronize by thorimur
43s thorimur:min-imports-module
thorimur:min-imports-module
43s
Build the project Build #682: Pull request #168 synchronize by thorimur
44s thorimur:min-imports-module
thorimur:min-imports-module
44s
Build the project Build #681: Pull request #170 synchronize by thorimur
42s thorimur:backreporters
thorimur:backreporters
42s
Build the project Build #680: Pull request #170 synchronize by thorimur
44s thorimur:backreporters
thorimur:backreporters
44s
Build the project Build #679: Pull request #168 synchronize by thorimur
44s thorimur:min-imports-module
thorimur:min-imports-module
44s
Build the project Build #678: Pull request #168 synchronize by thorimur
49s thorimur:min-imports-module
thorimur:min-imports-module
49s
Build the project Build #677: Pull request #168 synchronize by thorimur
51s thorimur:min-imports-module
thorimur:min-imports-module
51s
Build the project Build #676: Pull request #168 synchronize by thorimur
42s thorimur:min-imports-module
thorimur:min-imports-module
42s
Build the project Build #675: Pull request #170 synchronize by thorimur
47s thorimur:backreporters
thorimur:backreporters
47s
Build the project Build #674: Pull request #170 opened by thorimur
43s thorimur:backreporters
thorimur:backreporters
43s
Build the project Build #673: Pull request #168 synchronize by thorimur
40s thorimur:min-imports-module
thorimur:min-imports-module
40s
Build the project Build #672: Pull request #168 synchronize by thorimur
40s thorimur:min-imports-module
thorimur:min-imports-module
40s
Build the project Build #671: Pull request #168 synchronize by thorimur
42s thorimur:min-imports-module
thorimur:min-imports-module
42s
Build the project Build #670: Pull request #168 synchronize by thorimur
40s thorimur:min-imports-module
thorimur:min-imports-module
40s
Build the project Build #669: Pull request #168 synchronize by thorimur
45s thorimur:min-imports-module
thorimur:min-imports-module
45s