Skip to content

Actions: microsoft/accordant

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
109 workflow runs
109 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 lazy (on-the-fly) state-graph construction with a unified eager/l… CI #88: Pull request #34 opened by imnaseer
1m 52s personal/imnaseer/lazy-state-graph
personal/imnaseer/lazy-state-graph
1m 52s
Support Happens-Before Constraints in Spec.AllowsConcurrent (#31) Deploy Documentation #24: Commit 77ff684 pushed by imnaseer
1m 26s main
main
1m 26s
Support Happens-Before Constraints in Spec.AllowsConcurrent (#31) CI #87: Commit 77ff684 pushed by imnaseer
1m 36s main
main
1m 36s
Support Happens-Before Constraints in Spec.AllowsConcurrent CI #86: Pull request #31 synchronize by Tomperez98
1m 38s Tomperez98:main
Tomperez98:main
1m 38s
RLTL model checking support CI #83: Pull request #20 synchronize by imnaseer
1m 9s personal/imnaseer/rltl-port
personal/imnaseer/rltl-port
1m 9s
Add cross-language testing guide and agent skill (#24) CI #82: Commit ec768bf pushed by imnaseer
2m 31s main
main
2m 31s
Add cross-language testing guide and agent skill (#24) Deploy Documentation #23: Commit ec768bf pushed by imnaseer
2m 41s main
main
2m 41s
Add cross-language testing guide and agent skill CI #81: Pull request #24 opened by imnaseer
1m 56s personal/imnaseer/cross-language-testing-guide
personal/imnaseer/cross-language-testing-guide
1m 56s
.editorconfig and code cleanup (#22) Deploy Documentation #22: Commit 7b8b8c5 pushed by imnaseer
2m 54s main
main
2m 54s
.editorconfig and code cleanup (#22) CI #80: Commit 7b8b8c5 pushed by imnaseer
1m 41s main
main
1m 41s
.editorconfig and code cleanup CI #79: Pull request #22 synchronize by agriffard
2m 51s agriffard:main
agriffard:main
2m 51s
.editorconfig and code cleanup CI #78: Pull request #22 synchronize by agriffard
1m 10s agriffard:main
agriffard:main
1m 10s
Upgrade .NET SDK to 10.0.301 to mitigate security vulnerability (#23) CI #77: Commit e9bf106 pushed by imnaseer
1m 46s main
main
1m 46s
Upgrade .NET SDK to 10.0.301 to mitigate security vulnerability (#23) Deploy Documentation #21: Commit e9bf106 pushed by imnaseer
2m 48s main
main
2m 48s
Upgrade .NET SDK to 10.0.301 to mitigate security vulnerability CI #76: Pull request #23 synchronize by imnaseer
1m 19s personal/imnaseer/upgrade-dotnet-sdk-10.0.301
personal/imnaseer/upgrade-dotnet-sdk-10.0.301
1m 19s
Upgrade .NET SDK to 10.0.301 to mitigate security vulnerability CI #75: Pull request #23 synchronize by imnaseer
1m 23s personal/imnaseer/upgrade-dotnet-sdk-10.0.301
personal/imnaseer/upgrade-dotnet-sdk-10.0.301
1m 23s
Upgrade .NET SDK to 10.0.301 to mitigate security vulnerability CI #74: Pull request #23 synchronize by imnaseer
1m 10s personal/imnaseer/upgrade-dotnet-sdk-10.0.301
personal/imnaseer/upgrade-dotnet-sdk-10.0.301
1m 10s
Upgrade .NET SDK to 10.0.301 to mitigate security vulnerability CI #73: Pull request #23 opened by imnaseer
26s personal/imnaseer/upgrade-dotnet-sdk-10.0.301
personal/imnaseer/upgrade-dotnet-sdk-10.0.301
26s
Fix stale API references across docs and AI skills (#21) CI #71: Commit 93c6e19 pushed by imnaseer
1m 59s main
main
1m 59s
Fix stale API references across docs and AI skills (#21) Deploy Documentation #20: Commit 93c6e19 pushed by imnaseer
3m 18s main
main
3m 18s
Fix stale API references across docs and AI skills CI #70: Pull request #21 opened by imnaseer
1m 30s personal/imnaseer/improve-docs-vi
personal/imnaseer/improve-docs-vi
1m 30s
Fix broken links in docs and README (#19) Deploy Documentation #19: Commit b9aa14d pushed by imnaseer
1m 55s main
main
1m 55s
Fix broken links in docs and README (#19) CI #69: Commit b9aa14d pushed by imnaseer
1m 12s main
main
1m 12s
RLTL model checking support CI #68: Pull request #20 opened by imnaseer
1m 26s personal/imnaseer/rltl-port
personal/imnaseer/rltl-port
1m 26s
Fix broken links in docs and README CI #67: Pull request #19 opened by imnaseer
2m 31s personal/imnaseer/improve-docs-iv
personal/imnaseer/improve-docs-iv
2m 31s