Skip to content

Actions: agtm1199/uber-polya

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 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
Add First Proof Challenge section to main page CI #9: Commit 565971f pushed by agtm1199
2m 13s main
main
2m 13s
pages build and deployment pages-build-deployment #16: by agtm1199
36s main
main
36s
Add First Proof solutions: 10 novel approaches with Python verification CI #8: Commit 545e26d pushed by agtm1199
2m 18s main
main
2m 18s
pages build and deployment pages-build-deployment #15: by agtm1199
41s main
main
41s
added LaTeX PDF support CI #7: Commit 16db45c pushed by agtm1199
2m 16s main
main
2m 16s
pages build and deployment pages-build-deployment #14: by agtm1199
39s main
main
39s
PR an ISSUE template CI #6: Commit 3b00d6a pushed by agtm1199
2m 17s main
main
2m 17s
pages build and deployment pages-build-deployment #13: by agtm1199
34s main
main
34s
new examples CI #5: Commit ebe0372 pushed by agtm1199
2m 24s main
main
2m 24s
pages build and deployment pages-build-deployment #12: by agtm1199
39s main
main
39s
add cross-platform names/logos CI #4: Commit d9ca34f pushed by agtm1199
2m 17s main
main
2m 17s
pages build and deployment pages-build-deployment #11: by agtm1199
35s main
main
35s
added cross platform CI #3: Commit 36cb88b pushed by agtm1199
2m 11s main
main
2m 11s
pages build and deployment pages-build-deployment #10: by agtm1199
41s main
main
41s
readme updates CI #2: Commit fcb83d1 pushed by agtm1199
2m 18s main
main
2m 18s
pages build and deployment pages-build-deployment #9: by agtm1199
34s main
main
34s
v0.3.0 CI #1: Commit 5f2c0d2 pushed by agtm1199
2m 17s main
main
2m 17s
pages build and deployment pages-build-deployment #8: by agtm1199
34s main
main
34s
pages build and deployment pages-build-deployment #7: by agtm1199
38s main
main
38s
pages build and deployment pages-build-deployment #6: by agtm1199
42s main
main
42s
pages build and deployment pages-build-deployment #5: by agtm1199
41s main
main
41s
pages build and deployment pages-build-deployment #4: by agtm1199
42s main
main
42s
pages build and deployment pages-build-deployment #3: by agtm1199
39s main
main
39s
pages build and deployment pages-build-deployment #2: by agtm1199
37s main
main
37s
pages build and deployment pages-build-deployment #1: by agtm1199
37s main
main
37s