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 #1431 from informalsystems/gabriela/nondet-checks build #3302: Commit ae57489 pushed by bugarela
May 7, 2024 12:47 4m 49s main
main
May 7, 2024 12:47 4m 49s
Checks for misuse of nondet and oneOf build #3301: Pull request #1431 synchronize by bugarela
May 7, 2024 12:42 4m 51s gabriela/nondet-checks
gabriela/nondet-checks
May 7, 2024 12:42 4m 51s
Checks for misuse of nondet and oneOf build #3300: Pull request #1431 synchronize by bugarela
May 7, 2024 12:36 5m 1s gabriela/nondet-checks
gabriela/nondet-checks
May 7, 2024 12:36 5m 1s
Checks for misuse of nondet and oneOf build #3299: Pull request #1431 synchronize by bugarela
May 7, 2024 12:21 5m 19s gabriela/nondet-checks
gabriela/nondet-checks
May 7, 2024 12:21 5m 19s
Merge pull request #1432 from informalsystems/gabriela/bump-apalache-… build #3298: Commit 8d52de2 pushed by bugarela
May 7, 2024 12:20 5m 4s main
main
May 7, 2024 12:20 5m 4s
Bump apalache version build #3297: Pull request #1432 opened by bugarela
May 6, 2024 18:55 4m 53s gabriela/bump-apalache-version
gabriela/bump-apalache-version
May 6, 2024 18:55 4m 53s
Checks for misuse of nondet and oneOf build #3296: Pull request #1431 synchronize by bugarela
May 6, 2024 18:02 5m 2s gabriela/nondet-checks
gabriela/nondet-checks
May 6, 2024 18:02 5m 2s
Checks for misuse of nondet and oneOf build #3295: Pull request #1431 synchronize by bugarela
May 6, 2024 17:57 4m 47s gabriela/nondet-checks
gabriela/nondet-checks
May 6, 2024 17:57 4m 47s
Checks for misuse of nondet and oneOf build #3294: Pull request #1431 synchronize by bugarela
May 6, 2024 17:48 4m 58s gabriela/nondet-checks
gabriela/nondet-checks
May 6, 2024 17:48 4m 58s
Checks for misuse of nondet and oneOf build #3293: Pull request #1431 synchronize by bugarela
May 6, 2024 17:44 4m 15s gabriela/nondet-checks
gabriela/nondet-checks
May 6, 2024 17:44 4m 15s
Checks for misuse of nondet and oneOf build #3292: Pull request #1431 opened by bugarela
May 6, 2024 17:44 4m 16s gabriela/nondet-checks
gabriela/nondet-checks
May 6, 2024 17:44 4m 16s
Merge pull request #1429 from informalsystems/gabriela/refactor-traces build #3291: Commit 5929b3e pushed by bugarela
April 25, 2024 12:12 5m 16s main
main
April 25, 2024 12:12 5m 16s
Refactor traces in the compiler build #3290: Pull request #1429 synchronize by bugarela
April 25, 2024 12:02 5m 8s gabriela/refactor-traces
gabriela/refactor-traces
April 25, 2024 12:02 5m 8s
Refactor traces in the compiler build #3289: Pull request #1429 synchronize by bugarela
April 25, 2024 11:51 4m 52s gabriela/refactor-traces
gabriela/refactor-traces
April 25, 2024 11:51 4m 52s
Refactor traces in the compiler build #3288: Pull request #1429 synchronize by bugarela
April 24, 2024 12:48 2m 49s gabriela/refactor-traces
gabriela/refactor-traces
April 24, 2024 12:48 2m 49s
Refactor traces in the compiler build #3287: Pull request #1429 synchronize by bugarela
April 24, 2024 12:32 2m 21s gabriela/refactor-traces
gabriela/refactor-traces
April 24, 2024 12:32 2m 21s
Refactor traces in the compiler build #3286: Pull request #1429 opened by bugarela
April 24, 2024 12:30 4m 51s gabriela/refactor-traces
gabriela/refactor-traces
April 24, 2024 12:30 4m 51s
Merge pull request #1426 from informalsystems/vscode-release/0.14.1 build #3285: Commit 0df553c pushed by bugarela
April 9, 2024 17:45 10m 46s main
main
April 9, 2024 17:45 10m 46s
VSCode Release v0.14.1 build #3284: Pull request #1426 opened by bugarela
April 9, 2024 17:32 11m 43s vscode-release/0.14.1
vscode-release/0.14.1
April 9, 2024 17:32 11m 43s
Release v0.19.2 release #30: Commit 6ad8f39 pushed by bugarela
April 9, 2024 17:29 1m 17s v0.19.2
v0.19.2
April 9, 2024 17:29 1m 17s
Merge pull request #1425 from informalsystems/release/0.19.2 build #3283: Commit 5599c2d pushed by bugarela
April 9, 2024 17:28 11m 53s main
main
April 9, 2024 17:28 11m 53s
Release v0.19.2 build #3282: Pull request #1425 opened by bugarela
April 9, 2024 17:05 12m 26s release/0.19.2
release/0.19.2
April 9, 2024 17:05 12m 26s
Merge pull request #1423 from informalsystems/gabriela/readme-updates build #3281: Commit 100af48 pushed by bugarela
April 9, 2024 11:22 8m 53s main
main
April 9, 2024 11:22 8m 53s
New Logo ✨ build #3280: Pull request #1423 synchronize by bugarela
April 8, 2024 18:26 12m 58s gabriela/readme-updates
gabriela/readme-updates
April 8, 2024 18:26 12m 58s
New Logo ✨ build #3279: Pull request #1423 opened by bugarela
April 8, 2024 18:26 12m 31s gabriela/readme-updates
gabriela/readme-updates
April 8, 2024 18:26 12m 31s