Skip to content

Actions: opencompl/lean-mlir

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: try lean-action CI #6: Pull request #632 synchronize by tobiasgrosser
September 20, 2024 19:04 1m 16s lean-action
lean-action
September 20, 2024 19:04 1m 16s
feat: try lean-action CI #5: Pull request #632 synchronize by tobiasgrosser
September 20, 2024 19:00 1m 58s lean-action
lean-action
September 20, 2024 19:00 1m 58s
feat: try lean-action CI #4: Pull request #632 synchronize by tobiasgrosser
September 20, 2024 18:53 1m 33s lean-action
lean-action
September 20, 2024 18:53 1m 33s
feat: try lean-action CI #3: Pull request #632 synchronize by tobiasgrosser
September 20, 2024 18:22 1m 32s lean-action
lean-action
September 20, 2024 18:22 1m 32s
feat: try lean-action CI #2: Pull request #632 synchronize by tobiasgrosser
September 20, 2024 18:16 2m 2s lean-action
lean-action
September 20, 2024 18:16 2m 2s
feat: try lean-action CI #1: Pull request #632 opened by tobiasgrosser
September 20, 2024 15:37 4m 52s lean-action
lean-action
September 20, 2024 15:37 4m 52s