Skip to content

Actions: smithy-lang/smithy-dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,270 workflow runs
6,270 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Dafny Nightly Dafny Nightly #698: Scheduled
56s main-1.x
main-1.x
56s
Dafny Nightly Dafny Nightly #697: Scheduled
25m 19s main-1.x
main-1.x
25m 19s
Dafny Nightly Dafny Nightly #696: Scheduled
1m 1s main-1.x
main-1.x
1m 1s
Scheduled CodeQL #30: by github-advanced-security bot
59s main-1.x
main-1.x
59s
Dafny Nightly Dafny Nightly #695: Scheduled
1m 18s main-1.x
main-1.x
1m 18s
fix(Go): Upgrade DafnyRuntimeGo to 4.11.2 (#822) smithy-dafny-conversion workflows #3220: Commit e9bd04a pushed by robin-aws
1m 40s main-1.x
main-1.x
1m 40s
fix(Go): Upgrade DafnyRuntimeGo to 4.11.2 (#822) Push CI #224: Commit e9bd04a pushed by robin-aws
24m 34s main-1.x
main-1.x
24m 34s
fix(Go): Upgrade DafnyRuntimeGo to 4.11.2 (#822) smithy-dafny-codegen-cli workflows #4110: Commit e9bd04a pushed by robin-aws
9m 28s main-1.x
main-1.x
9m 28s
Push on main-1.x CodeQL #29: by github-advanced-security bot
1m 9s main-1.x
main-1.x
1m 9s
fix(Go): Upgrade DafnyRuntimeGo to 4.11.2 PR CI #2678: Pull request #822 opened by ShubhamChaturvedi7
24m 40s GoPerfFix
GoPerfFix
24m 40s
fix(Go): Upgrade DafnyRuntimeGo to 4.11.2 Java Format Check #2344: Pull request #822 opened by ShubhamChaturvedi7
27s GoPerfFix
GoPerfFix
27s
fix(Go): Upgrade DafnyRuntimeGo to 4.11.2 smithy-dafny-conversion workflows #3219: Pull request #822 opened by ShubhamChaturvedi7
2m 0s GoPerfFix
GoPerfFix
2m 0s
fix(Go): Upgrade DafnyRuntimeGo to 4.11.2 smithy-dafny-codegen-cli workflows #4109: Pull request #822 opened by ShubhamChaturvedi7
7m 54s GoPerfFix
GoPerfFix
7m 54s
PR #822 CodeQL #28: by ShubhamChaturvedi7
57s refs/pull/822/head
refs/pull/822/head
57s
ci: scope down GitHub Token permissions PR CI #2677: Pull request #821 opened by AdnaneKhan
Startup failure AdnaneKhan:update/scopedown-token
AdnaneKhan:update/scopedown-token
Startup failure
ci: scope down GitHub Token permissions Java Format Check #2343: Pull request #821 opened by AdnaneKhan
28s AdnaneKhan:update/scopedown-token
AdnaneKhan:update/scopedown-token
28s
ci: scope down GitHub Token permissions smithy-dafny-codegen-cli workflows #4108: Pull request #821 opened by AdnaneKhan
8m 50s AdnaneKhan:update/scopedown-token
AdnaneKhan:update/scopedown-token
8m 50s
ci: scope down GitHub Token permissions smithy-dafny-conversion workflows #3218: Pull request #821 opened by AdnaneKhan
1m 22s AdnaneKhan:update/scopedown-token
AdnaneKhan:update/scopedown-token
1m 22s
Dafny Nightly Dafny Nightly #694: Scheduled
1m 33s main-1.x
main-1.x
1m 33s
Dafny Nightly Dafny Nightly #693: Scheduled
25m 1s main-1.x
main-1.x
25m 1s
Dafny Nightly Dafny Nightly #692: Scheduled
24m 16s main-1.x
main-1.x
24m 16s
Dafny Nightly Dafny Nightly #691: Scheduled
24m 26s main-1.x
main-1.x
24m 26s
Dafny Nightly Dafny Nightly #690: Scheduled
25m 24s main-1.x
main-1.x
25m 24s
Dafny Nightly Dafny Nightly #689: Scheduled
1m 10s main-1.x
main-1.x
1m 10s
Scheduled CodeQL #27: by github-advanced-security bot
1m 1s main-1.x
main-1.x
1m 1s