Skip to content

Actions: leanprover-community/import-graph

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
368 workflow runs
368 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 #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
Build the project Build #668: Pull request #168 synchronize by thorimur
44s thorimur:min-imports-module
thorimur:min-imports-module
44s
Build the project Build #667: Pull request #168 synchronize by thorimur
46s thorimur:min-imports-module
thorimur:min-imports-module
46s
Build the project Build #666: Pull request #168 synchronize by thorimur
40s thorimur:min-imports-module
thorimur:min-imports-module
40s
Build the project Build #665: Commit 7ad9f2e pushed by kim-em
40s main
main
40s
Build the project Build #664: Pull request #169 opened by kim-em
42s repin-actions
repin-actions
42s
Build the project Build #663: Pull request #168 opened by thorimur
49s thorimur:min-imports-module
thorimur:min-imports-module
49s
Build the project Build #662: Pull request #167 opened by thorimur
48s thorimur:precompile
thorimur:precompile
48s
Build the project Build #661: Pull request #166 opened by thorimur
54s thorimur:declneeds-tests
thorimur:declneeds-tests
54s
Build the project Build #660: Pull request #160 synchronize by thorimur
47s thorimur:run-shake-fix
thorimur:run-shake-fix
47s
Build the project Build #659: Commit 103cd9a pushed by joneugster
49s main
main
49s
Build the project Build #658: Commit 354f5c0 pushed by joneugster
53s main
main
53s
Build the project Build #657: Commit d36e275 pushed by joneugster
52s main
main
52s
Build the project Build #656: Commit ab16730 pushed by kim-em
41s main
main
41s