Skip to content

Actions: Aaronontheweb/ShellSyntaxTree

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
642 workflow runs
642 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 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
Add structured Bash command substitutions pr_validation #234: Pull request #88 opened by Aaronontheweb
2m 3s feature/v03-bash-substitution
feature/v03-bash-substitution
2m 3s
Merge pull request #87 from Aaronontheweb/feature/v03-structural-corpus pr_validation #233: Commit 593c16d pushed by Aaronontheweb
2m 56s dev
dev
2m 56s
test(corpus): pin v0.3 structural projections pr_validation #232: Pull request #87 opened by Aaronontheweb
1m 47s feature/v03-structural-corpus
feature/v03-structural-corpus
1m 47s