8000 Workflow runs · avigad/LeanSudoku · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: avigad/LeanSudoku

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1 from timotree3/wip-port Lean Action CI #4: Commit c5d60b8 pushed by avigad
October 25, 2024 18:12 2m 4s main
main
October 25, 2024 18:12 2m 4s
wip port STactic.lean Lean Action CI #3: Pull request #1 opened by timotree3
October 23, 2024 20:05 2m 9s timotree3:wip-port
timotree3:wip-port
October 23, 2024 20:05 2m 9s
add unported files Lean Action CI #2: Commit 36cf0d0 pushed by avigad
October 10, 2024 18:23 2m 54s main
main
October 10, 2024 18:23 2m 54s
begin port Lean Action CI #1: Commit b3055b2 pushed by avigad
October 10, 2024 18:21 3m 9s main
main
October 10, 2024 18:21 3m 9s
0