Skip to content

Actions: Aaronontheweb/ShellSyntaxTree

Actions

pr_validation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr_validation.yml
259 workflow runs
259 workflow runs

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
pr_validation pr_validation #259: by Aaronontheweb
1m 56s dev
dev
1m 56s
PowerShell: derive bounded foreach values pr_validation #258: Pull request #100 opened by Aaronontheweb
2m 11s feature/v03-pwsh-values
feature/v03-pwsh-values
2m 11s
Add PowerShell initial state contract (#99) pr_validation #257: Commit 6e85776 pushed by Aaronontheweb
1m 59s dev
dev
1m 59s
Add PowerShell initial state contract pr_validation #256: Pull request #99 opened by Aaronontheweb
2m 33s feature/v03-pwsh-initial-state
feature/v03-pwsh-initial-state
2m 33s
Add PowerShell foreach structural analysis (#98) pr_validation #255: Commit 507da91 pushed by Aaronontheweb
2m 1s dev
dev
2m 1s
Add bounded PowerShell foreach structure pr_validation #254: Pull request #98 opened by Aaronontheweb
2m 34s feature/v03-pwsh-foreach
feature/v03-pwsh-foreach
2m 34s
Complete Bash loop coverage matrix (#97) pr_validation #253: Commit 415d8df pushed by Aaronontheweb
1m 49s dev
dev
1m 49s
Complete Bash loop coverage matrix pr_validation #252: Pull request #97 opened by Aaronontheweb
1m 50s feature/v03-bash-coverage
feature/v03-bash-coverage
1m 50s
Implement Bash loop effective cwd transfers (#96) pr_validation #251: Commit 7dd634d pushed by Aaronontheweb
2m 19s dev
dev
2m 19s
Implement Bash loop effective cwd transfers pr_validation #250: Pull request #96 opened by Aaronontheweb
2m 0s feature/v03-bash-effective-argv
feature/v03-bash-effective-argv
2m 0s
Implement analyzer-owned Bash loop state (#95) pr_validation #249: Commit 0d1895e pushed by Aaronontheweb
1m 45s dev
dev
1m 45s
Implement analyzer-owned Bash loop state pr_validation #248: Pull request #95 opened by Aaronontheweb
1m 53s feature/v03-bash-loop-state-engine
feature/v03-bash-loop-state-engine
1m 53s
Require explicit Bash loop initial state (#94) pr_validation #247: Commit fc2ded0 pushed by Aaronontheweb
1m 46s dev
dev
1m 46s
Require explicit Bash loop initial state pr_validation #246: Pull request #94 opened by Aaronontheweb
1m 58s feature/v03-bash-loop-state-contract
feature/v03-bash-loop-state-contract
1m 58s
pr_validation pr_validation #245: by Aaronontheweb
1m 52s dev
dev
1m 52s
Add outcome-sensitive Bash cwd analysis pr_validation #244: Pull request #93 opened by Aaronontheweb
2m 2s feature/v03-bash-state-analysis
feature/v03-bash-state-analysis
2m 2s
Correct Bash abstract-state semantics (#92) pr_validation #243: Commit af3a543 pushed by Aaronontheweb
2m 11s dev
dev
2m 11s
Correct Bash abstract-state semantics pr_validation #242: Pull request #92 opened by Aaronontheweb
2m 20s feature/v03-bash-loop-state
feature/v03-bash-loop-state
2m 20s
Add bounded Bash for-in analysis (#91) pr_validation #241: Commit f634501 pushed by Aaronontheweb
2m 7s dev
dev
2m 7s
Add bounded Bash for-in analysis pr_validation #240: Pull request #91 opened by Aaronontheweb
2m 7s feature/v03-bash-for-in
feature/v03-bash-for-in
2m 7s
Merge pull request #90 from Aaronontheweb/feature/v03-bash-heredoc-su… pr_validation #239: Commit 6413437 pushed by Aaronontheweb
2m 21s dev
dev
2m 21s
Discover Bash heredoc substitutions pr_validation #238: Pull request #90 opened by Aaronontheweb
2m 13s feature/v03-bash-heredoc-substitution
feature/v03-bash-heredoc-substitution
2m 13s
Merge pull request #89 from Aaronontheweb/feature/v03-pwsh-substitution pr_validation #237: Commit ee1e189 pushed by Aaronontheweb
2m 1s dev
dev
2m 1s
Add structured PowerShell command substitutions pr_validation #236: Pull request #89 opened by Aaronontheweb
2m 9s feature/v03-pwsh-substitution
feature/v03-pwsh-substitution
2m 9s
Merge pull request #88 from Aaronontheweb/feature/v03-bash-substitution pr_validation #235: Commit 6d9d323 pushed by Aaronontheweb
1m 56s dev
dev
1m 56s