Skip to content

Actions: Shreyas4991/DGAlgorithms

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
60 workflow runs
60 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
Proof of PNNetwork.boxProd preserving SimplePN Build Project #17: Pull request #16 synchronize by chi-p-3141
2m 28s chi-p-3141:tests
chi-p-3141:tests
2m 28s
Proof of PNNetwork.boxProd preserving SimplePN Build Project #16: Pull request #16 opened by chi-p-3141
2m 19s chi-p-3141:tests
chi-p-3141:tests
2m 19s
github_actions in /. - Update #1303612468 Dependabot Updates #4: by dependabot bot
25s main
main
25s
Merge pull request #15 from Shreyas4991/view-models Build Project #15: Commit bdd6553 pushed by Shreyas4991
2m 20s main
main
2m 20s
View models Build Project #14: Pull request #15 synchronize by Shreyas4991
2m 23s view-models
view-models
2m 23s
View models Build Project #13: Pull request #15 opened by Shreyas4991
1m 43s view-models
view-models
1m 43s
github_actions in /. - Update #1263221570 Dependabot Updates #3: by dependabot bot
27s main
main
27s
sorrys in PNNetwork.cycle_cover Build Project #12: Pull request #14 opened by chi-p-3141
2m 41s chi-p-3141:main
chi-p-3141:main
2m 41s
Merge pull request #13 from chi-p-3141/main Build Project #11: Commit f4da39f pushed by Shreyas4991
2m 3s main
main
2m 3s
Fixed dirCycle pmap and is_well_defined Build Project #10: Pull request #13 opened by chi-p-3141
2m 7s chi-p-3141:main
chi-p-3141:main
2m 7s
Merge pull request #12 from Shreyas4991/add_local_more Build Project #9: Commit d68bd1d pushed by Shreyas4991
2m 4s main
main
2m 4s
DLocal and RLocal Build Project #8: Pull request #12 opened by Shreyas4991
2m 12s add_local_more
add_local_more
2m 12s
Merge pull request #11 from Shreyas4991/Add_local Build Project #7: Commit 29de882 pushed by Shreyas4991
1m 54s main
main
1m 54s
Add bounded ID DLocal and RLOCAL models Build Project #6: Pull request #11 opened by Shreyas4991
1m 57s Add_local
Add_local
1m 57s
Merge pull request #10 from Shreyas4991/Add_local Build Project #5: Commit 941a2e2 pushed by Shreyas4991
2m 5s main
main
2m 5s
LOCAL model basics Build Project #4: Pull request #10 opened by Shreyas4991
2m 10s Add_local
Add_local
2m 10s
Labelling problems in main: Build Project #3: Commit afef6ea pushed by Shreyas4991
2m 0s main
main
2m 0s
Merge branch 'new_PN_model' Build Project #2: Commit 6badfd0 pushed by henkkuli
2m 14s main
main
2m 14s
Bind cslib version Build Project #1: Commit f8c9a4f pushed by henkkuli
2m 8s main
main
2m 8s
github_actions in /. - Update #1260140729 Dependabot Updates #2: by dependabot bot
29s main
main
29s
github_actions in /. - Update #1260140725 Dependabot Updates #1: by dependabot bot
28s main
main
28s
Cleanup. Depend on CSLib Lean Action CI #29: Commit ebd6379 pushed by Shreyas4991
3m 36s main
main
3m 36s
Cleanup. Depend on CSLib Compile blueprint #10: Commit ebd6379 pushed by Shreyas4991
2m 27s main
main
2m 27s
Remove blueprint stuff Compile blueprint #9: Commit b92b1d5 pushed by Shreyas4991
1h 1m 19s main
main
1h 1m 19s
Remove blueprint stuff Lean Action CI #28: Commit b92b1d5 pushed by Shreyas4991
1m 10s main
main
1m 10s