Skip to content

Actions: google-deepmind/debate

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

golf Prob/Defs build lean #15: Pull request #4 synchronize by madvorak
October 10, 2024 09:29 Action required madvorak:main
madvorak:main
October 10, 2024 09:29 Action required
golf Prob/Defs build lean #14: Pull request #4 opened by madvorak
October 10, 2024 09:29 Action required madvorak:main
madvorak:main
October 10, 2024 09:29 Action required
Write down precise constants in the asymptotic complexity (#3) build lean #13: Commit de3a6e5 pushed by eric-wieser
October 8, 2024 13:17 4m 41s main
main
October 8, 2024 13:17 4m 41s
Write down precise constants in the asymptotic complexity build lean #12: Pull request #3 synchronize by girving
September 9, 2024 18:05 3m 56s girving:constant
girving:constant
September 9, 2024 18:05 3m 56s
Write down precise constants in the asymptotic complexity build lean #9: Pull request #3 opened by girving
August 16, 2024 20:27 4m 3s girving:constant
girving:constant
August 16, 2024 20:27 4m 3s
Merge pull request #2 from girving/lean-4.8 build lean #8: Commit 7fb3925 pushed by eric-wieser
August 16, 2024 12:27 1m 37s main
main
August 16, 2024 12:27 1m 37s
Update to Lean 4.8.0 build lean #7: Pull request #2 synchronize by girving
August 14, 2024 19:53 2m 0s girving:lean-4.8
girving:lean-4.8
August 14, 2024 19:53 2m 0s
Update to Lean 4.8.0 build lean #4: Pull request #2 synchronize by eric-wieser
August 14, 2024 16:29 1m 58s girving:lean-4.8
girving:lean-4.8
August 14, 2024 16:29 1m 58s
Add github actions CI, and fix .gitignore build lean #3: Commit c938bab pushed by eric-wieser
August 14, 2024 15:51 4m 6s main
main
August 14, 2024 15:51 4m 6s
Add github actions CI, and fix .gitignore build lean #2: Commit bff6052 pushed by eric-wieser
August 14, 2024 15:49 28s main
main
August 14, 2024 15:49 28s
Add github actions CI, and fix .gitignore build lean #1: Commit baa109a pushed by eric-wieser
August 14, 2024 15:48 17s main
main
August 14, 2024 15:48 17s