Skip to content

Actions: informalsystems/quint

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1406 from informalsystems/1401/empty-tuple-unit build #3255: Commit dfd0f7f pushed by bugarela
March 22, 2024 11:43 11m 18s main
main
March 22, 2024 11:43 11m 18s
Use the empty tuple for the unit build #3254: Pull request #1406 synchronize by bugarela
March 22, 2024 11:29 10m 42s 1401/empty-tuple-unit
1401/empty-tuple-unit
March 22, 2024 11:29 10m 42s
Fix the type quantification strategy build #3253: Pull request #1409 opened by bugarela
March 21, 2024 14:41 8m 47s gabriela/type-quantification-fix
gabriela/type-quantification-fix
March 21, 2024 14:41 8m 47s
Use the empty tuple for the unit build #3252: Pull request #1406 synchronize by bugarela
March 20, 2024 12:01 9m 29s 1401/empty-tuple-unit
1401/empty-tuple-unit
March 20, 2024 12:01 9m 29s
Use the empty tuple for the unit build #3251: Pull request #1406 synchronize by bugarela
March 19, 2024 20:37 7m 30s 1401/empty-tuple-unit
1401/empty-tuple-unit
March 19, 2024 20:37 7m 30s
Add q::* operators to compiled targets build #3250: Pull request #1407 opened by shonfeder
March 14, 2024 21:16 9m 11s 1402/compile-init-step-inv
1402/compile-init-step-inv
March 14, 2024 21:16 9m 11s
Use the empty tuple for the unit build #3249: Pull request #1406 synchronize by shonfeder
March 14, 2024 03:14 8m 36s 1401/empty-tuple-unit
1401/empty-tuple-unit
March 14, 2024 03:14 8m 36s
Use the empty tuple for the unit build #3248: Pull request #1406 opened by shonfeder
March 14, 2024 03:09 6m 22s 1401/empty-tuple-unit
1401/empty-tuple-unit
March 14, 2024 03:09 6m 22s
Merge pull request #1399 from informalsystems/1309/to-tla build #3247: Commit 393ec51 pushed by shonfeder
March 12, 2024 17:48 8m 26s main
main
March 12, 2024 17:48 8m 26s
Add compile subcommand build #3246: Pull request #1399 synchronize by shonfeder
March 12, 2024 16:49 6m 40s 1309/to-tla
1309/to-tla
March 12, 2024 16:49 6m 40s
Add compile subcommand build #3245: Pull request #1399 synchronize by shonfeder
March 12, 2024 15:56 8m 45s 1309/to-tla
1309/to-tla
March 12, 2024 15:56 8m 45s
Add compile subcommand build #3244: Pull request #1399 opened by shonfeder
March 12, 2024 01:40 12m 21s 1309/to-tla
1309/to-tla
March 12, 2024 01:40 12m 21s
Merge pull request #1397 from informalsystems/1396/factor-out-client build #3243: Commit 0912fea pushed by shonfeder
March 7, 2024 18:05 7m 49s main
main
March 7, 2024 18:05 7m 49s
Move Apalache client into its own module build #3242: Pull request #1397 opened by shonfeder
March 7, 2024 17:56 8m 7s 1396/factor-out-client
1396/factor-out-client
March 7, 2024 17:56 8m 7s
Merge pull request #1395 from informalsystems/apalache-version-44.7 build #3241: Commit d3346e1 pushed by shonfeder
March 7, 2024 16:13 12m 4s main
main
March 7, 2024 16:13 12m 4s
Use Apalache versin 0.44.7 build #3240: Pull request #1395 opened by shonfeder
March 7, 2024 16:05 8m 29s apalache-version-44.7
apalache-version-44.7
March 7, 2024 16:05 8m 29s
Merge pull request #1394 from informalsystems/gabriela/allow-shadowing build #3239: Commit bffb679 pushed by bugarela
March 5, 2024 18:42 11m 40s main
main
March 5, 2024 18:42 11m 40s
Allow shadowing build #3238: Pull request #1394 synchronize by bugarela
March 5, 2024 18:34 8m 14s gabriela/allow-shadowing
gabriela/allow-shadowing
March 5, 2024 18:34 8m 14s
Allow shadowing build #3237: Pull request #1394 synchronize by bugarela
March 5, 2024 15:25 7m 12s gabriela/allow-shadowing
gabriela/allow-shadowing
March 5, 2024 15:25 7m 12s
Allow shadowing build #3236: Pull request #1394 opened by bugarela
March 5, 2024 15:08 11m 3s gabriela/allow-shadowing
gabriela/allow-shadowing
March 5, 2024 15:08 11m 3s
Merge pull request #1392 from informalsystems/1391/resolve-apps-on-IR build #3235: Commit f51cf1a pushed by bugarela
March 4, 2024 12:02 9m 18s main
main
March 4, 2024 12:02 9m 18s
Resolve type applications at the IR level build #3234: Pull request #1392 synchronize by shonfeder
March 2, 2024 05:13 12m 37s 1391/resolve-apps-on-IR
1391/resolve-apps-on-IR
March 2, 2024 05:13 12m 37s
Resolve type applications at the IR level build #3233: Pull request #1392 synchronize by shonfeder
March 2, 2024 04:54 12m 28s 1391/resolve-apps-on-IR
1391/resolve-apps-on-IR
March 2, 2024 04:54 12m 28s
Resolve type applications at the IR level build #3232: Pull request #1392 opened by bugarela
March 1, 2024 21:17 13m 47s 1391/resolve-apps-on-IR
1391/resolve-apps-on-IR
March 1, 2024 21:17 13m 47s
Merge pull request #1386 from informalsystems/1298/typechecking-polym… build #3231: Commit 62d6b55 pushed by shonfeder
March 1, 2024 21:11 11m 9s main
main
March 1, 2024 21:11 11m 9s