Skip to content

Actions: informalsystems/quint

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
88 workflow run results
88 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1201 from informalsystems/vscode-release/0.9.1 build #2720: Commit 72d563a pushed by bugarela
October 2, 2023 15:05 9m 55s main
main
October 2, 2023 15:05 9m 55s
VSCode Release v0.9.1 build #2719: Pull request #1201 opened by bugarela
October 2, 2023 14:37 11m 57s vscode-release/0.9.1
vscode-release/0.9.1
October 2, 2023 14:37 11m 57s
Merge pull request #1200 from informalsystems/release/0.14.4 build #2718: Commit d791fd7 pushed by bugarela
October 2, 2023 13:09 11m 6s main
main
October 2, 2023 13:09 11m 6s
Release v0.14.4 build #2717: Pull request #1200 opened by bugarela
October 2, 2023 11:38 10m 9s release/0.14.4
release/0.14.4
October 2, 2023 11:38 10m 9s
Ref nix expr in reqs build #2716: Commit fa021e3 pushed by shonfeder
September 29, 2023 14:05 10m 42s main
main
September 29, 2023 14:05 10m 42s
Document how to use lmt for writing literate executable specs build #2715: Pull request #1193 synchronize by shonfeder
September 29, 2023 13:55 9m 35s 449/document-lmt-use
449/document-lmt-use
September 29, 2023 13:55 9m 35s
Document how to use lmt for writing literate executable specs build #2714: Pull request #1193 synchronize by shonfeder
September 29, 2023 13:44 10m 15s 449/document-lmt-use
449/document-lmt-use
September 29, 2023 13:44 10m 15s
Merge pull request #1190 from informalsystems/gabriela/fix-repl-insta… build #2713: Commit 2f0e734 pushed by bugarela
September 29, 2023 12:10 9m 53s main
main
September 29, 2023 12:10 9m 53s
Workaround for state vars from instances in incremental compilation (REPL) build #2712: Pull request #1190 synchronize by bugarela
September 29, 2023 11:58 11m 45s gabriela/fix-repl-instance-vars
gabriela/fix-repl-instance-vars
September 29, 2023 11:58 11m 45s
Document how to use lmt for writing literate executable specs build #2711: Pull request #1193 opened by shonfeder
September 28, 2023 22:04 9m 32s 449/document-lmt-use
449/document-lmt-use
September 28, 2023 22:04 9m 32s
Merge pull request #1191 from informalsystems/gabriela/fix-instance-c… build #2710: Commit 384c28e pushed by bugarela
September 28, 2023 21:14 9m 48s main
main
September 28, 2023 21:14 9m 48s
Add constant -> instance dependency to callgraph build #2709: Pull request #1191 synchronize by bugarela
September 28, 2023 21:03 10m 54s gabriela/fix-instance-constant-callgraph
gabriela/fix-instance-constant-callgraph
September 28, 2023 21:03 10m 54s
Add constant -> instance dependency to callgraph build #2708: Pull request #1191 synchronize by bugarela
September 28, 2023 20:52 14m 7s gabriela/fix-instance-constant-callgraph
gabriela/fix-instance-constant-callgraph
September 28, 2023 20:52 14m 7s
Add constant -> instance dependency to callgraph build #2707: Pull request #1191 opened by bugarela
September 28, 2023 20:50 14m 1s gabriela/fix-instance-constant-callgraph
gabriela/fix-instance-constant-callgraph
September 28, 2023 20:50 14m 1s
Workaround for state vars from instances in incremental compilation (REPL) build #2706: Pull request #1190 synchronize by bugarela
September 28, 2023 20:45 11m 34s gabriela/fix-repl-instance-vars
gabriela/fix-repl-instance-vars
September 28, 2023 20:45 11m 34s
Workaround for state vars from instances in incremental compilation (REPL) build #2705: Pull request #1190 opened by bugarela
September 28, 2023 20:43 9m 52s gabriela/fix-repl-instance-vars
gabriela/fix-repl-instance-vars
September 28, 2023 20:43 9m 52s
Merge pull request #1188 from informalsystems/th/symbsim build #2704: Commit 576d72b pushed by thpani
September 28, 2023 13:49 10m 58s main
main
September 28, 2023 13:49 10m 58s
Add --random-transitions to run Apalache symbolic simulator build #2703: Pull request #1188 synchronize by thpani
September 28, 2023 13:39 9m 30s th/symbsim
th/symbsim
September 28, 2023 13:39 9m 30s
Merge pull request #1181 from informalsystems/gabriela/neovim-lsp build #2702: Commit 8b7bd64 pushed by bugarela
September 28, 2023 12:53 15m 26s main
main
September 28, 2023 12:53 15m 26s
Add --random-transitions to run Apalache symbolic simulator build #2701: Pull request #1188 synchronize by thpani
September 28, 2023 12:45 17m 21s th/symbsim
th/symbsim
September 28, 2023 12:45 17m 21s
Add --random-transitions to run Apalache symbolic simulator build #2700: Pull request #1188 opened by thpani
September 28, 2023 12:44 11m 41s th/symbsim
th/symbsim
September 28, 2023 12:44 11m 41s
LSP configuration for Neovim build #2699: Pull request #1181 synchronize by bugarela
September 28, 2023 12:43 9m 51s gabriela/neovim-lsp
gabriela/neovim-lsp
September 28, 2023 12:43 9m 51s
LSP configuration for Neovim build #2698: Pull request #1181 synchronize by thpani
September 27, 2023 12:51 9m 52s gabriela/neovim-lsp
gabriela/neovim-lsp
September 27, 2023 12:51 9m 52s
LSP configuration for Neovim build #2697: Pull request #1181 synchronize by konnov
September 27, 2023 09:01 11m 16s gabriela/neovim-lsp
gabriela/neovim-lsp
September 27, 2023 09:01 11m 16s
LSP configuration for Neovim build #2696: Pull request #1181 opened by bugarela
September 25, 2023 14:47 12m 31s gabriela/neovim-lsp
gabriela/neovim-lsp
September 25, 2023 14:47 12m 31s