Skip to content

Actions: informalsystems/quint

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
938 workflow runs
938 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Sort the best traces as we go using insertion sort instead of sorting the whole array each time build #3424: Pull request #1481 opened by romac
August 15, 2024 13:57 7m 54s romac/trace-insertion-sort
romac/trace-insertion-sort
August 15, 2024 13:57 7m 54s
Add rock-paper-scissors game example build #3423: Pull request #1479 synchronize by MahtabNorouzi
August 14, 2024 20:35 4m 57s new-example
new-example
August 14, 2024 20:35 4m 57s
Add rock-paper-scissors game example build #3422: Pull request #1479 synchronize by MahtabNorouzi
August 14, 2024 20:01 4m 19s new-example
new-example
August 14, 2024 20:01 4m 19s
Add rock-paper-scissors game example build #3421: Pull request #1479 synchronize by MahtabNorouzi
August 14, 2024 19:54 6m 33s new-example
new-example
August 14, 2024 19:54 6m 33s
Add rock-paper-scissors game example build #3420: Pull request #1479 synchronize by MahtabNorouzi
August 14, 2024 19:26 4m 26s new-example
new-example
August 14, 2024 19:26 4m 26s
Add rock-paper-scissors game example build #3419: Pull request #1479 synchronize by MahtabNorouzi
August 14, 2024 18:42 5m 32s new-example
new-example
August 14, 2024 18:42 5m 32s
bump the grpc-js version and increase message sizes build #3418: Pull request #1480 synchronize by konnov
August 9, 2024 17:31 5m 30s konnov:igor/bump-grpc
konnov:igor/bump-grpc
August 9, 2024 17:31 5m 30s
bump the grpc-js version and increase message sizes build #3417: Pull request #1480 opened by konnov
August 9, 2024 17:30 8m 51s konnov:igor/bump-grpc
konnov:igor/bump-grpc
August 9, 2024 17:30 8m 51s
Add rock-paper-scissors game example build #3416: Pull request #1479 synchronize by MahtabNorouzi
August 8, 2024 20:54 5m 58s new-example
new-example
August 8, 2024 20:54 5m 58s
Add rock-paper-scissors game example build #3415: Pull request #1479 synchronize by MahtabNorouzi
August 8, 2024 20:15 4m 28s new-example
new-example
August 8, 2024 20:15 4m 28s
Add rock-paper-scissors game example build #3414: Pull request #1479 synchronize by MahtabNorouzi
August 8, 2024 19:57 4m 54s new-example
new-example
August 8, 2024 19:57 4m 54s
Add rock-paper-scissors game example build #3413: Pull request #1479 opened by MahtabNorouzi
August 8, 2024 19:36 8m 12s new-example
new-example
August 8, 2024 19:36 8m 12s
Added a new example rock paper scissor build #3412: Pull request #1478 synchronize by MahtabNorouzi
August 8, 2024 18:42 4m 56s new-example
new-example
August 8, 2024 18:42 4m 56s
Added a new example rock paper scissor build #3411: Pull request #1478 opened by MahtabNorouzi
August 8, 2024 16:39 7m 23s new-example
new-example
August 8, 2024 16:39 7m 23s
Added a new example build #3410: Pull request #1477 opened by MahtabNorouzi
August 7, 2024 23:31 7m 16s new-example
new-example
August 7, 2024 23:31 7m 16s
Added new example RockPaperScissor to classic/distributed build #3409: Pull request #1476 synchronize by MahtabNorouzi
August 7, 2024 23:27 5m 0s new-example
new-example
August 7, 2024 23:27 5m 0s
Added new example RockPaperScissor to classic/distributed build #3408: Pull request #1476 reopened by MahtabNorouzi
August 7, 2024 19:43 4m 36s new-example
new-example
August 7, 2024 19:43 4m 36s
Added new example RockPaperScissor to classic/distributed build #3407: Pull request #1476 opened by MahtabNorouzi
August 7, 2024 19:30 7m 27s new-example
new-example
August 7, 2024 19:30 7m 27s
Merge pull request #1467 from informalsystems/MahtabNorouzi-patch-2 build #3406: Commit c9eac44 pushed by MahtabNorouzi
August 7, 2024 19:16 4m 29s main
main
August 7, 2024 19:16 4m 29s
fixed links build #3405: Pull request #1467 synchronize by MahtabNorouzi
August 5, 2024 18:13 8m 13s MahtabNorouzi-patch-2
MahtabNorouzi-patch-2
August 5, 2024 18:13 8m 13s
Merge pull request #1469 from informalsystems/release/0.21.1 build #3404: Commit 63f0730 pushed by bugarela
July 30, 2024 16:31 4m 59s main
main
July 30, 2024 16:31 4m 59s
Release v0.21.1 build #3403: Pull request #1469 synchronize by bugarela
July 30, 2024 14:38 5m 17s release/0.21.1
release/0.21.1
July 30, 2024 14:38 5m 17s
Merge pull request #1470 from informalsystems/gabriela/website-fixes build #3402: Commit bb46f8f pushed by bugarela
July 29, 2024 17:45 4m 50s main
main
July 29, 2024 17:45 4m 50s
Website updates build #3401: Pull request #1470 synchronize by bugarela
July 29, 2024 17:40 4m 53s gabriela/website-fixes
gabriela/website-fixes
July 29, 2024 17:40 4m 53s
Website updates build #3400: Pull request #1470 opened by bugarela
July 29, 2024 13:42 10m 25s gabriela/website-fixes
gabriela/website-fixes
July 29, 2024 13:42 10m 25s
ProTip! You can narrow down the results and go further in time using created:<2024-07-29 or the other filters available.