Skip to content

Actions: informalsystems/quint

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,358 workflow runs
1,358 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add mafia game to examples build #3525: Pull request #1489 synchronize by MahtabNorouzi
September 17, 2024 21:24 5m 54s add-new-example
add-new-example
September 17, 2024 21:24 5m 54s
Add mafia game to examples build #3524: Pull request #1489 synchronize by MahtabNorouzi
September 17, 2024 20:42 6m 4s add-new-example
add-new-example
September 17, 2024 20:42 6m 4s
Merge pull request #1499 from informalsystems/gabriela/fix-windows-ap… build #3523: Commit 66a07f0 pushed by bugarela
September 17, 2024 20:25 6m 6s main
main
September 17, 2024 20:25 6m 6s
Start a bat for Apalache when in Windows build #3522: Pull request #1499 synchronize by bugarela
September 17, 2024 20:17 8m 40s gabriela/fix-windows-apalache
gabriela/fix-windows-apalache
September 17, 2024 20:17 8m 40s
Merge pull request #1498 from informalsystems/gabriela/fix-windows-so… build #3521: Commit 2fbfb6f pushed by bugarela
September 17, 2024 20:11 6m 19s main
main
September 17, 2024 20:11 6m 19s
Fix file source resolution in Windows build #3520: Pull request #1498 synchronize by bugarela
September 17, 2024 20:01 10m 12s gabriela/fix-windows-sources
gabriela/fix-windows-sources
September 17, 2024 20:01 10m 12s
New spells build #3519: Pull request #1507 opened by bugarela
September 17, 2024 19:54 8m 48s gabriela/new-spells
gabriela/new-spells
September 17, 2024 19:54 8m 48s
Add mafia game to examples build #3518: Pull request #1489 synchronize by MahtabNorouzi
September 17, 2024 19:36 5m 30s add-new-example
add-new-example
September 17, 2024 19:36 5m 30s
Add mafia game to examples build #3517: Pull request #1489 synchronize by MahtabNorouzi
September 17, 2024 19:25 5m 51s add-new-example
add-new-example
September 17, 2024 19:25 5m 51s
Add several FAQ entries on comparisons build #3516: Pull request #1506 opened by bugarela
September 17, 2024 15:22 8m 39s gabriela/faq-comparissons
gabriela/faq-comparissons
September 17, 2024 15:22 8m 39s
Add mafia game to examples build #3515: Pull request #1489 synchronize by MahtabNorouzi
September 16, 2024 22:24 8m 7s add-new-example
add-new-example
September 16, 2024 22:24 8m 7s
refactoring the ics23 spec build #3514: Pull request #975 synchronize by bugarela
September 10, 2024 18:12 7m 19s igor/ics23-fix
igor/ics23-fix
September 10, 2024 18:12 7m 19s
refactoring the ics23 spec build #3513: Pull request #975 synchronize by bugarela
September 10, 2024 14:24 12m 2s igor/ics23-fix
igor/ics23-fix
September 10, 2024 14:24 12m 2s
Release v0.22.0 release #37: Commit 0047d48 pushed by bugarela
September 9, 2024 19:09 1m 10s v0.22.0
v0.22.0
September 9, 2024 19:09 1m 10s
Merge pull request #1505 from informalsystems/release/0.22.0 build #3512: Commit 1c22e64 pushed by bugarela
September 9, 2024 19:09 5m 40s main
main
September 9, 2024 19:09 5m 40s
Release v0.22.0 build #3511: Pull request #1505 opened by bugarela
September 9, 2024 18:57 10m 4s release/0.22.0
release/0.22.0
September 9, 2024 18:57 10m 4s
Merge pull request #1495 from informalsystems/gabriela/new-evaluator build #3510: Commit e9a0b38 pushed by bugarela
September 9, 2024 18:53 5m 50s main
main
September 9, 2024 18:53 5m 50s
New evaluator that doesn't depend on flattening build #3509: Pull request #1495 synchronize by bugarela
September 9, 2024 18:47 5m 34s gabriela/new-evaluator
gabriela/new-evaluator
September 9, 2024 18:47 5m 34s
New evaluator that doesn't depend on flattening build #3508: Pull request #1495 synchronize by bugarela
September 9, 2024 18:13 6m 10s gabriela/new-evaluator
gabriela/new-evaluator
September 9, 2024 18:13 6m 10s
Merge pull request #1504 from informalsystems/vscode-release/0.14.5 build #3507: Commit 27e91c9 pushed by bugarela
September 9, 2024 14:13 8m 30s main
main
September 9, 2024 14:13 8m 30s
VSCode Release v0.14.5 build #3506: Pull request #1504 opened by bugarela
September 9, 2024 12:54 8m 47s vscode-release/0.14.5
vscode-release/0.14.5
September 9, 2024 12:54 8m 47s
Release v0.21.2 release #36: Commit 60d7e25 pushed by bugarela
September 9, 2024 12:44 1m 14s v0.21.2
v0.21.2
September 9, 2024 12:44 1m 14s
Merge pull request #1503 from informalsystems/release/0.21.2 build #3505: Commit 2cacc81 pushed by bugarela
September 9, 2024 12:41 4m 33s main
main
September 9, 2024 12:41 4m 33s
Release v0.21.2 build #3504: Pull request #1503 opened by bugarela
September 9, 2024 12:31 9m 3s release/0.21.2
release/0.21.2
September 9, 2024 12:31 9m 3s
Start a bat for Apalache when in Windows build #3503: Pull request #1499 synchronize by bugarela
September 5, 2024 20:20 9m 55s gabriela/fix-windows-apalache
gabriela/fix-windows-apalache
September 5, 2024 20:20 9m 55s