Skip to content

Actions: trishullab/PutnamBench

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
213 workflow runs
213 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
Merge pull request #331 from trishullab/GeorgeTsoukalas-patch-8 build lean #547: Commit 77ea5a0 pushed by GeorgeTsoukalas
41m 30s main
main
41m 30s
pages build and deployment pages-build-deployment #162: by GeorgeTsoukalas
41s main
main
41s
Update results.json build lean #546: Pull request #331 opened by GeorgeTsoukalas
39m 14s GeorgeTsoukalas-patch-8
GeorgeTsoukalas-patch-8
39m 14s
Update results.json build lean #545: Commit ded59c5 pushed by GeorgeTsoukalas
38m 47s GeorgeTsoukalas-patch-8
GeorgeTsoukalas-patch-8
38m 47s
Update results.json build lean #544: Commit b9b46d3 pushed by GeorgeTsoukalas
39m 46s main
main
39m 46s
pages build and deployment pages-build-deployment #161: by GeorgeTsoukalas
33s main
main
33s
Update Hilbert as partial open source build lean #543: Commit b391f48 pushed by GeorgeTsoukalas
39m 54s main
main
39m 54s
pages build and deployment pages-build-deployment #160: by GeorgeTsoukalas
33s main
main
33s
Merge pull request #329 from mo271/bump_to_v4.27.0 build lean #542: Commit 19620b1 pushed by GeorgeTsoukalas
40m 49s main
main
40m 49s
pages build and deployment pages-build-deployment #159: by GeorgeTsoukalas
40s main
main
40s
bumps up to v4.27.0 build lean #541: Pull request #329 synchronize by mo271
40m 22s mo271:bump_to_v4.27.0
mo271:bump_to_v4.27.0
40m 22s
bumps up to v4.27.0 build lean #540: Pull request #329 synchronize by mo271
21m 8s mo271:bump_to_v4.27.0
mo271:bump_to_v4.27.0
21m 8s
bumps up to v4.27.0 build lean #539: Pull request #329 synchronize by mo271
22m 14s mo271:bump_to_v4.27.0
mo271:bump_to_v4.27.0
22m 14s
bumps up to v4.27.0 build lean #538: Pull request #329 synchronize by mo271
20m 34s mo271:bump_to_v4.27.0
mo271:bump_to_v4.27.0
20m 34s
bumps up to v4.27.0 build lean #537: Pull request #329 synchronize by mo271
20m 50s mo271:bump_to_v4.27.0
mo271:bump_to_v4.27.0
20m 50s
bumps up to v4.27.0 build lean #536: Pull request #329 synchronize by mo271
21m 28s mo271:bump_to_v4.27.0
mo271:bump_to_v4.27.0
21m 28s
bumps up to v4.27.0 build lean #535: Pull request #329 opened by mo271
21m 41s mo271:bump_to_v4.27.0
mo271:bump_to_v4.27.0
21m 41s
Merge pull request #327 from trishullab/GeorgeTsoukalas-patch-7 build lean #534: Commit abd6e84 pushed by GeorgeTsoukalas
30m 19s main
main
30m 19s
pages build and deployment pages-build-deployment #158: by GeorgeTsoukalas
45s main
main
45s
Update results.json build lean #533: Pull request #327 opened by GeorgeTsoukalas
33m 9s GeorgeTsoukalas-patch-7
GeorgeTsoukalas-patch-7
33m 9s
Update results.json build lean #532: Commit dcbffdc pushed by GeorgeTsoukalas
29m 56s GeorgeTsoukalas-patch-7
GeorgeTsoukalas-patch-7
29m 56s
Merge pull request #326 from logical-ivan/aleph-one-more-fix build lean #531: Commit 961af76 pushed by GeorgeTsoukalas
30m 29s main
main
30m 29s
pages build and deployment pages-build-deployment #157: by GeorgeTsoukalas
38s main
main
38s
putnam_2010_a3: Fix partial derivative formalization build lean #530: Pull request #326 opened by logical-ivan
30m 56s logical-ivan:aleph-one-more-fix
logical-ivan:aleph-one-more-fix
30m 56s
Merge pull request #325 from logical-ivan/aleph-fix-more build lean #529: Commit 1658014 pushed by GeorgeTsoukalas
29m 48s main
main
29m 48s