Skip to content

Actions: alexyorke/SharpProof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,051 workflow runs
2,051 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 nullable contract verification Cross-platform package consumers #11: Pull request #79 synchronize by alexyorke
3m 16s codex/nullable-contract-verification
codex/nullable-contract-verification
3m 16s
Add nullable contract verification CI/CD #1874: Pull request #79 synchronize by alexyorke
10m 59s codex/nullable-contract-verification
codex/nullable-contract-verification
10m 59s
Fix analyzer soundness and centralize semantic access CI/CD #1873: Commit 962eaf0 pushed by alexyorke
11m 45s codex/nullable-contract-verification
codex/nullable-contract-verification
11m 45s
Fix analyzer soundness and centralize semantic access Cross-platform package consumers #10: Commit 962eaf0 pushed by alexyorke
3m 34s codex/nullable-contract-verification
codex/nullable-contract-verification
3m 34s
Add nullable contract verification CI/CD #1872: Pull request #79 synchronize by alexyorke
12m 41s codex/nullable-contract-verification
codex/nullable-contract-verification
12m 41s
Add nullable contract verification Cross-platform package consumers #9: Pull request #79 synchronize by alexyorke
4m 10s codex/nullable-contract-verification
codex/nullable-contract-verification
4m 10s
Fix confirmed potential bug root causes Cross-platform package consumers #8: Commit 35b06a1 pushed by alexyorke
3m 4s codex/nullable-contract-verification
codex/nullable-contract-verification
3m 4s
Fix confirmed potential bug root causes CI/CD #1871: Commit 35b06a1 pushed by alexyorke
12m 54s codex/nullable-contract-verification
codex/nullable-contract-verification
12m 54s
Close Stale Issues Close Stale Issues #7: Scheduled
11s master
master
11s
Add nullable contract verification Cross-platform package consumers #7: Pull request #79 opened by alexyorke
3m 6s codex/nullable-contract-verification
codex/nullable-contract-verification
3m 6s
Add nullable contract verification CI/CD #1870: Pull request #79 opened by alexyorke
11m 37s codex/nullable-contract-verification
codex/nullable-contract-verification
11m 37s
Integrate nullable diagnostics with existing suites Cross-platform package consumers #6: Commit 37b18f8 pushed by alexyorke
3m 4s codex/nullable-contract-verification
codex/nullable-contract-verification
3m 4s
Integrate nullable diagnostics with existing suites CI/CD #1869: Commit 37b18f8 pushed by alexyorke
12m 7s codex/nullable-contract-verification
codex/nullable-contract-verification
12m 7s
nuget in /PurelySharp.Test for Microsoft.NET.Test.Sdk - Update #1456828668 Dependabot Updates #334: by dependabot Bot
1m 9s master
master
1m 9s
nuget in /PurelySharp.Analyzer for System.Text.Json - Update #1456828663 Dependabot Updates #333: by dependabot Bot
1m 30s master
master
1m 30s
nuget in /PurelySharp.Analyzer for Microsoft.CodeAnalysis.Analyzers, Microsoft.CodeAnalysis.CSharp, System.Collections.Immutable - Update #1456828661 Dependabot Updates #332: by dependabot Bot
1m 8s master
master
1m 8s
nuget in /PurelySharp.CodeFixes for Microsoft.CodeAnalysis.Common, Microsoft.CodeAnalysis.CSharp.Workspaces - Update #1456828655 Dependabot Updates #331: by dependabot Bot
1m 9s master
master
1m 9s
nuget in /PurelySharp.Test for System.Configuration.ConfigurationManager - Update #1456828657 Dependabot Updates #330: by dependabot Bot
1m 6s master
master
1m 6s
Stabilize CI and retire potential bug audit Cross-platform package consumers #5: Commit b9a7cd0 pushed by alexyorke
3m 48s master
master
3m 48s
Stabilize CI and retire potential bug audit CI/CD #1868: Commit b9a7cd0 pushed by alexyorke
12m 30s master
master
12m 30s
Stabilize CI and retire potential bug audit CI/CD #1867: Commit b9a7cd0 pushed by alexyorke
11m 48s codex/semantic-pipeline-convergence
codex/semantic-pipeline-convergence
11m 48s
Stabilize CI and retire potential bug audit Cross-platform package consumers #4: Commit b9a7cd0 pushed by alexyorke
2m 54s codex/semantic-pipeline-convergence
codex/semantic-pipeline-convergence
2m 54s
Forbid local runtime hazard bounds construction Cross-platform package consumers #3: Commit 8667167 pushed by alexyorke
4m 10s codex/semantic-pipeline-convergence
codex/semantic-pipeline-convergence
4m 10s
Forbid local runtime hazard bounds construction CI/CD #1866: Commit 8667167 pushed by alexyorke
9m 47s codex/semantic-pipeline-convergence
codex/semantic-pipeline-convergence
9m 47s
Close Stale Issues Close Stale Issues #6: Scheduled
11s master
master
11s