Skip to content

Actions: microsoft/accordant

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
129 workflow runs
129 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
github_actions in /. - Update #1562302232 Dependabot Updates #4: by dependabot Bot
36s main
main
36s
github_actions in /. - Update #1547754582 Dependabot Updates #3: by dependabot Bot
53s main
main
53s
github_actions in /. - Update #1539027262 Dependabot Updates #2: by dependabot Bot
1m 0s main
main
1m 0s
fix(packaging): align dependencies by target framework CI #101: Pull request #39 synchronize by ReubenBond
4m 57s ReubenBond:rb-fix-system-text-json-tfms
ReubenBond:rb-fix-system-text-json-tfms
4m 57s
fix(packaging): align dependencies by target framework CI #100: Pull request #39 synchronize by ReubenBond
2m 18s ReubenBond:rb-fix-system-text-json-tfms
ReubenBond:rb-fix-system-text-json-tfms
2m 18s
fix(packaging): align dependencies by target framework CI #99: Pull request #39 opened by ReubenBond
5m 32s ReubenBond:rb-fix-system-text-json-tfms
ReubenBond:rb-fix-system-text-json-tfms
5m 32s
Bump the github-actions group with 4 updates (#37) Deploy Documentation #27: Commit f38eea1 pushed by imnaseer
1m 21s main
main
1m 21s
Bump the github-actions group with 4 updates (#37) CI #98: Commit f38eea1 pushed by imnaseer
1m 36s main
main
1m 36s
Bump the github-actions group with 4 updates CI #97: Pull request #37 opened by dependabot Bot
1m 37s dependabot/github_actions/github-actions-c9aaa5d927
dependabot/github_actions/github-actions-c9aaa5d927
1m 37s
github_actions in /. - Update #1531654013 Dependabot Updates #1: by dependabot Bot
1m 22s main
main
1m 22s
Pin GitHub Actions to full-length commit SHAs (#36) Deploy Documentation #26: Commit 7466bd2 pushed by imnaseer
1m 53s main
main
1m 53s
Pin GitHub Actions to full-length commit SHAs (#36) CI #96: Commit 7466bd2 pushed by imnaseer
1m 58s main
main
1m 58s
Pin GitHub Actions to full-length commit SHAs CI #95: Pull request #36 opened by danfiedler-msft
2m 5s danfiedler-msft:danfiedler/pin-actions
danfiedler-msft:danfiedler/pin-actions
2m 5s
RLTL model checking support CI #94: Pull request #20 synchronize by imnaseer
2m 0s personal/imnaseer/rltl-port
personal/imnaseer/rltl-port
2m 0s
Add lazy (on-the-fly) state-graph construction with a unified eager/l… CI #93: Commit 7d18237 pushed by imnaseer
1m 26s main
main
1m 26s
Add lazy (on-the-fly) state-graph construction with a unified eager/l… Deploy Documentation #25: Commit 7d18237 pushed by imnaseer
1m 8s main
main
1m 8s
RLTL model checking support CI #92: Pull request #20 synchronize by imnaseer
1m 2s personal/imnaseer/rltl-port
personal/imnaseer/rltl-port
1m 2s
Add lazy (on-the-fly) state-graph construction with a unified eager/l… CI #91: Pull request #34 synchronize by imnaseer
1m 35s personal/imnaseer/lazy-state-graph
personal/imnaseer/lazy-state-graph
1m 35s
Add lazy (on-the-fly) state-graph construction with a unified eager/l… CI #90: Pull request #34 synchronize by imnaseer
1m 21s personal/imnaseer/lazy-state-graph
personal/imnaseer/lazy-state-graph
1m 21s
Add lazy (on-the-fly) state-graph construction with a unified eager/l… CI #89: Pull request #34 synchronize by imnaseer
1m 37s personal/imnaseer/lazy-state-graph
personal/imnaseer/lazy-state-graph
1m 37s
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