Skip to content

Actions: informalsystems/quint

Actions

Integration Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
integration-tests.yml
44 workflow runs
44 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add leadsTo and fix fairness effects Integration Tests #44: Pull request #1932 synchronize by bugarela
5m 56s gabriela/leadsto-and-fairness-fix
gabriela/leadsto-and-fairness-fix
5m 56s
Add leadsTo and fix fairness effects Integration Tests #43: Pull request #1932 opened by bugarela
5m 56s gabriela/leadsto-and-fairness-fix
gabriela/leadsto-and-fairness-fix
5m 56s
Merge pull request #1931 from informalsystems/gabriela/website-cognit… Integration Tests #42: Commit 05085c3 pushed by bugarela
5m 59s main
main
5m 59s
[website] Cognitive debt blog Integration Tests #41: Pull request #1931 opened by bugarela
9s gabriela/website-cognitive-debt-blog
gabriela/website-cognitive-debt-blog
9s
Fix TS backend: clear MBT metadata after shift Integration Tests #40: Pull request #1929 opened by dearlordylord
Action required dearlordylord:fix/ts-backend-clear-metadata-on-shift
dearlordylord:fix/ts-backend-clear-metadata-on-shift
Action required
Merge pull request #1927 from TSPMP/fix-docs-typo Integration Tests #39: Commit 67a9054 pushed by bugarela
6m 11s main
main
6m 11s
Fix typo in model-checkers.mdx Integration Tests #38: Pull request #1927 opened by TSPMP
11s TSPMP:fix-docs-typo
TSPMP:fix-docs-typo
11s
Merge pull request #1925 from informalsystems/gabriela/website-x-tool… Integration Tests #37: Commit 811e137 pushed by bugarela
5m 58s main
main
5m 58s
Website updates and fixes Integration Tests #36: Pull request #1925 opened by bugarela
13s gabriela/website-x-tools-nix-and-broken-link
gabriela/website-x-tools-nix-and-broken-link
13s
Merge pull request #1924 from informalsystems/vscode-release/0.19.0 Integration Tests #35: Commit 8d19489 pushed by bugarela
5m 56s main
main
5m 56s
VSCode Release v0.19.0 Integration Tests #34: Pull request #1924 opened by bugarela
10s vscode-release/0.19.0
vscode-release/0.19.0
10s
Merge pull request #1923 from informalsystems/gabriela/reuse-test-job… Integration Tests #33: Commit 34779dd pushed by bugarela
6m 4s main
main
6m 4s
Re-use test jobs in release workflow Integration Tests #32: Pull request #1923 opened by bugarela
12s gabriela/reuse-test-jobs-in-release
gabriela/reuse-test-jobs-in-release
12s
Use random temp QUINT_HOME for Apalache dist test Integration Tests #31: Commit ee43c41 pushed by bugarela
8m 5s main
main
8m 5s
Merge pull request #1922 from informalsystems/yassine/fix-release-ci-… Integration Tests #30: Commit e22e555 pushed by beu5a
8m 7s main
main
8m 7s
fix: move distribution tests up the order to have clean state Integration Tests #29: Pull request #1922 synchronize by beu5a
13s yassine/fix-release-ci-distribution
yassine/fix-release-ci-distribution
13s
fix: move distribution tests up the order to have clean state Integration Tests #28: Pull request #1922 opened by beu5a
9s yassine/fix-release-ci-distribution
yassine/fix-release-ci-distribution
9s
fix: add Apalache JAR to release CI env before v0.31.0 release Integration Tests #27: Commit 6d3399c pushed by beu5a
8m 9s main
main
8m 9s
Add Apalache jar to release CI env Integration Tests #26: Pull request #1921 opened by beu5a
12s yassine/fix-release-ci
yassine/fix-release-ci
12s
Merge pull request #1920 from informalsystems/release/0.31.0 Integration Tests #25: Commit 82bef17 pushed by beu5a
7m 51s main
main
7m 51s
Release v0.31.0 Integration Tests #24: Pull request #1920 synchronize by beu5a
2m 17s release/0.31.0
release/0.31.0
2m 17s
Release v0.31.0 Integration Tests #23: Pull request #1920 synchronize by beu5a
4m 1s release/0.31.0
release/0.31.0
4m 1s
Release v0.31.0 Integration Tests #22: Pull request #1920 synchronize by beu5a
8m 29s release/0.31.0
release/0.31.0
8m 29s
Release v0.31.0 Integration Tests #21: Pull request #1920 opened by beu5a
4m 23s release/0.31.0
release/0.31.0
4m 23s
Merge pull request #1919 from informalsystems/yassine/release-polishing Integration Tests #20: Commit 19f856e pushed by beu5a
2m 23s main
main
2m 23s