Skip to content

Actions: mukeshtiwari/Semiring_graph_algorithm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 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
Comments build #17: Commit d992bc9 pushed by mukeshtiwari
9m 26s main
main
9m 26s
pages build and deployment pages-build-deployment #5: by mukeshtiwari
38s main
main
38s
Benchmarking build #16: Commit ff0ef3c pushed by mukeshtiwari
9m 5s main
main
9m 5s
pages build and deployment pages-build-deployment #4: by mukeshtiwari
44s main
main
44s
HTML build #15: Commit 2e32a3d pushed by mukeshtiwari
9m 2s main
main
9m 2s
pages build and deployment pages-build-deployment #3: by mukeshtiwari
50s main
main
50s
HTML files build #14: Commit 4345385 pushed by mukeshtiwari
8m 49s main
main
8m 49s
pages build and deployment pages-build-deployment #2: by mukeshtiwari
42s main
main
42s
pages build and deployment pages-build-deployment #1: by mukeshtiwari
56s main
main
56s
Documentation build #13: Commit d54ecb9 pushed by mukeshtiwari
7m 27s main
main
7m 27s
Left out concrete instances build #12: Commit 48a0823 pushed by mukeshtiwari
7m 1s main
main
7m 1s
Change build #11: Commit 1e28a2c pushed by mukeshtiwari
7m 39s main
main
7m 39s
Ballot layer build #10: Commit f6e2a50 pushed by mukeshtiwari
11m 59s main
main
11m 59s
remove the paper build #9: Commit 17b5f02 pushed by mukeshtiwari
7m 31s main
main
7m 31s
changes build #8: Commit 91b4e52 pushed by mukeshtiwari
9m 11s main
main
9m 11s
Some more code build #7: Commit 4206989 pushed by mukeshtiwari
9m 15s main
main
9m 15s
Mapping for paper theorems to Rocq formalisation build #6: Commit 3ea1d52 pushed by mukeshtiwari
7m 12s main
main
7m 12s
Comments' build #5: Commit a1b2a07 pushed by mukeshtiwari
7m 32s main
main
7m 32s
rocq build #4: Commit 307ee9a pushed by mukeshtiwari
8m 55s main
main
8m 55s
Iterated Smith-IIA build #3: Commit 849667b pushed by mukeshtiwari
8m 38s main
main
8m 38s
further split build #2: Commit 6ef31e0 pushed by mukeshtiwari
9m 24s main
main
9m 24s
CI action build #1: Commit fb202e6 pushed by mukeshtiwari
11m 59s main
main
11m 59s