Skip to content

Actions: quint-co/choreo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
39 workflow runs
39 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
Scheduled CodeQL #11: by github-advanced-security AI
45s main
main
45s
Scheduled CodeQL #10: by github-advanced-security AI
39s main
main
39s
Merge pull request #22 from quint-co/yassine/remove-bluespec Choreo Examples Tests #20: Commit 000cf4e pushed by beu5a
2m 44s main
main
2m 44s
Push on main CodeQL #9: by beu5a
45s main
main
45s
Remove Bluespec Emacs mode tag Choreo Examples Tests #19: Pull request #22 opened by beu5a
2m 57s yassine/remove-bluespec
yassine/remove-bluespec
2m 57s
PR #22 CodeQL #8: by beu5a
42s refs/pull/22/head
refs/pull/22/head
42s
Scheduled CodeQL #7: by github-advanced-security AI
48s main
main
48s
Scheduled CodeQL #6: by github-advanced-security AI
40s main
main
40s
Scheduled CodeQL #5: by github-advanced-security AI
49s main
main
49s
Scheduled CodeQL #4: by github-advanced-security AI
48s main
main
48s
Scheduled CodeQL #3: by github-advanced-security AI
49s main
main
49s
Scheduled CodeQL #2: by github-advanced-security AI
44s main
main
44s
CodeQL Setup CodeQL #1: by bugarela
49s main
main
49s
Merge pull request #21 from informalsystems/gabriela/remove-useless-if Choreo Examples Tests #18: Commit 36fc4cd pushed by bugarela
2m 52s main
main
2m 52s
Remove unecessary if statement Choreo Examples Tests #17: Pull request #21 opened by bugarela
2m 58s gabriela/remove-useless-if
gabriela/remove-useless-if
2m 58s
Add rounds to prevent granting stale requests Choreo Examples Tests #16: Commit c070024 pushed by bugarela
1m 43s main
main
1m 43s
Merge pull request #20 from informalsystems/gabriela/atm-distributed-… Choreo Examples Tests #15: Commit 82ca208 pushed by bugarela
1m 46s main
main
1m 46s
Distributed lock example with ATMs Choreo Examples Tests #14: Pull request #20 synchronize by bugarela
1m 32s gabriela/atm-distributed-lock-example
gabriela/atm-distributed-lock-example
1m 32s
Distributed lock example with ATMs Choreo Examples Tests #13: Pull request #20 synchronize by bugarela
1m 36s gabriela/atm-distributed-lock-example
gabriela/atm-distributed-lock-example
1m 36s
Distributed lock example with ATMs Choreo Examples Tests #12: Pull request #20 synchronize by bugarela
17s gabriela/atm-distributed-lock-example
gabriela/atm-distributed-lock-example
17s
Distributed lock example with ATMs Choreo Examples Tests #11: Pull request #20 synchronize by bugarela
1m 13s gabriela/atm-distributed-lock-example
gabriela/atm-distributed-lock-example
1m 13s
Distributed lock example with ATMs Choreo Examples Tests #10: Pull request #20 synchronize by bugarela
1m 15s gabriela/atm-distributed-lock-example
gabriela/atm-distributed-lock-example
1m 15s
Distributed lock example with ATMs Choreo Examples Tests #9: Pull request #20 opened by bugarela
1m 14s gabriela/atm-distributed-lock-example
gabriela/atm-distributed-lock-example
1m 14s
Merge pull request #19 from informalsystems/yassine/add-perform-displ… Choreo Examples Tests #8: Commit 1a358ae pushed by beu5a
1m 20s main
main
1m 20s
Add perform with displayer action Choreo Examples Tests #7: Pull request #19 opened by beu5a
1m 24s yassine/add-perform-displayer
yassine/add-perform-displayer
1m 24s