Skip to content

Actions: informalsystems/quint

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
652 workflow run results
652 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1462 from informalsystems/gabriela/readme-update build #3398: Commit 7cfefe9 pushed by bugarela
July 26, 2024 21:58 4m 46s main
main
July 26, 2024 21:58 4m 46s
Website-related updates to README build #3397: Pull request #1462 synchronize by bugarela
July 26, 2024 21:53 5m 0s gabriela/readme-update
gabriela/readme-update
July 26, 2024 21:53 5m 0s
Merge pull request #1465 from informalsystems/gabriela/fix-memory-issue build #3396: Commit 2d1a9df pushed by bugarela
July 26, 2024 16:07 4m 31s main
main
July 26, 2024 16:07 4m 31s
Website-related updates to README build #3395: Pull request #1462 synchronize by bugarela
July 26, 2024 15:58 11m 29s gabriela/readme-update
gabriela/readme-update
July 26, 2024 15:58 11m 29s
Hotfix for high memory usage build #3394: Pull request #1465 synchronize by bugarela
July 26, 2024 15:57 9m 48s gabriela/fix-memory-issue
gabriela/fix-memory-issue
July 26, 2024 15:57 9m 48s
Merge pull request #1463 from informalsystems/gabriela/flakes build #3393: Commit 480b365 pushed by bugarela
July 26, 2024 15:57 8m 40s main
main
July 26, 2024 15:57 8m 40s
fixed links build #3392: Pull request #1467 opened by MahtabNorouzi
July 26, 2024 15:37 6m 24s MahtabNorouzi-patch-2
MahtabNorouzi-patch-2
July 26, 2024 15:37 6m 24s
fixed some typos build #3391: Pull request #1466 opened by MahtabNorouzi
July 25, 2024 20:11 6m 46s MahtabNorouzi-patch-1
MahtabNorouzi-patch-1
July 25, 2024 20:11 6m 46s
Hotfix for high memory usage build #3390: Pull request #1465 synchronize by bugarela
July 24, 2024 13:00 5m 25s gabriela/fix-memory-issue
gabriela/fix-memory-issue
July 24, 2024 13:00 5m 25s
Hotfix for high memory usage build #3389: Pull request #1465 synchronize by bugarela
July 24, 2024 12:57 5m 12s gabriela/fix-memory-issue
gabriela/fix-memory-issue
July 24, 2024 12:57 5m 12s
Hotfix for high memory usage build #3388: Pull request #1465 opened by bugarela
July 24, 2024 12:56 8m 34s gabriela/fix-memory-issue
gabriela/fix-memory-issue
July 24, 2024 12:56 8m 34s
Use Nix flake for CI build #3387: Pull request #1463 synchronize by bugarela
July 23, 2024 13:15 6m 14s gabriela/flakes
gabriela/flakes
July 23, 2024 13:15 6m 14s
Use Nix flake for CI build #3386: Pull request #1463 synchronize by bugarela
July 23, 2024 12:48 9m 55s gabriela/flakes
gabriela/flakes
July 23, 2024 12:48 9m 55s
Use Nix flake for CI build #3385: Pull request #1463 synchronize by bugarela
July 22, 2024 19:19 8m 5s gabriela/flakes
gabriela/flakes
July 22, 2024 19:19 8m 5s
Use Nix flake for CI build #3384: Pull request #1463 synchronize by bugarela
July 22, 2024 19:09 6m 0s gabriela/flakes
gabriela/flakes
July 22, 2024 19:09 6m 0s
Use Nix flake for CI build #3383: Pull request #1463 opened by bugarela
July 22, 2024 19:02 7m 30s gabriela/flakes
gabriela/flakes
July 22, 2024 19:02 7m 30s
Website-related updates to README build #3382: Pull request #1462 synchronize by bugarela
July 22, 2024 17:43 7m 40s gabriela/readme-update
gabriela/readme-update
July 22, 2024 17:43 7m 40s
Website-related updates to README build #3381: Pull request #1462 opened by bugarela
July 22, 2024 17:36 2m 10s gabriela/readme-update
gabriela/readme-update
July 22, 2024 17:36 2m 10s
Add generate operator build #3380: Pull request #1455 synchronize by konnov
July 18, 2024 08:54 7m 28s konnov:igor/add-gen
konnov:igor/add-gen
July 18, 2024 08:54 7m 28s
Merge pull request #1459 from informalsystems/gabriela/website build #3379: Commit 2230744 pushed by bugarela
July 2, 2024 17:49 5m 56s main
main
July 2, 2024 17:49 5m 56s
Website! build #3378: Pull request #1459 synchronize by bugarela
July 2, 2024 17:43 6m 50s gabriela/website
gabriela/website
July 2, 2024 17:43 6m 50s
Website! build #3377: Pull request #1459 synchronize by bugarela
July 1, 2024 13:48 8m 33s gabriela/website
gabriela/website
July 1, 2024 13:48 8m 33s
Website! build #3376: Pull request #1459 synchronize by bugarela
July 1, 2024 12:02 5m 43s gabriela/website
gabriela/website
July 1, 2024 12:02 5m 43s
Website! build #3375: Pull request #1459 synchronize by bugarela
July 1, 2024 00:00 5m 44s gabriela/website
gabriela/website
July 1, 2024 00:00 5m 44s
Website! build #3374: Pull request #1459 synchronize by bugarela
June 30, 2024 23:57 6m 0s gabriela/website
gabriela/website
June 30, 2024 23:57 6m 0s