Skip to content

Actions: apalache-mc/apalache

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove git pull deploy #1335: Commit 2c19b45 pushed by konnov
December 16, 2024 13:26 16s main
main
December 16, 2024 13:26 16s
remove git pull build #7130: Commit 2c19b45 pushed by konnov
December 16, 2024 13:26 18m 59s main
main
December 16, 2024 13:26 18m 59s
remove git pull Auto-update #765: Commit 2c19b45 pushed by konnov
December 16, 2024 13:26 12s main
main
December 16, 2024 13:26 12s
remove git pull docker-container #1108: Commit 2c19b45 pushed by konnov
December 16, 2024 13:26 20s main
main
December 16, 2024 13:26 20s
prepare-release prepare-release #300: Manually run by konnov
December 14, 2024 00:07 1m 21s main
main
December 14, 2024 00:07 1m 21s
add branch Auto-update #764: Commit cbdfc39 pushed by konnov
December 13, 2024 19:51 11s main
main
December 13, 2024 19:51 11s
add branch docker-container #1107: Commit cbdfc39 pushed by konnov
December 13, 2024 19:51 3m 10s main
main
December 13, 2024 19:51 3m 10s
add branch build #7129: Commit cbdfc39 pushed by konnov
December 13, 2024 19:51 22m 40s main
main
December 13, 2024 19:51 22m 40s
add branch deploy #1334: Commit cbdfc39 pushed by konnov
December 13, 2024 19:51 16s main
main
December 13, 2024 19:51 16s
prepare-release prepare-release #299: Manually run by konnov
December 13, 2024 19:48 1m 41s main
main
December 13, 2024 19:48 1m 41s
add git pull deploy #1333: Commit 7e78e08 pushed by konnov
December 13, 2024 19:17 15s main
main
December 13, 2024 19:17 15s
add git pull build #7128: Commit 7e78e08 pushed by konnov
December 13, 2024 19:17 21m 52s main
main
December 13, 2024 19:17 21m 52s
add git pull Auto-update #763: Commit 7e78e08 pushed by konnov
December 13, 2024 19:17 11s main
main
December 13, 2024 19:17 11s
add git pull docker-container #1106: Commit 7e78e08 pushed by konnov
December 13, 2024 19:17 3m 11s main
main
December 13, 2024 19:17 3m 11s
prepare-release prepare-release #298: Manually run by konnov
December 13, 2024 19:08 1m 27s main
main
December 13, 2024 19:08 1m 27s
protect against SANY race conditions on the filesystem release #1536: Pull request #3046 closed by konnov
December 13, 2024 18:27 4s igor/tmpdir
igor/tmpdir
December 13, 2024 18:27 4s
Merge pull request #3046 from apalache-mc/igor/tmpdir build #7127: Commit 1742832 pushed by konnov
December 13, 2024 18:27 21m 50s main
main
December 13, 2024 18:27 21m 50s
Merge pull request #3046 from apalache-mc/igor/tmpdir deploy #1332: Commit 1742832 pushed by konnov
December 13, 2024 18:27 17s main
main
December 13, 2024 18:27 17s
Merge pull request #3046 from apalache-mc/igor/tmpdir Auto-update #762: Commit 1742832 pushed by konnov
December 13, 2024 18:27 13s main
main
December 13, 2024 18:27 13s
Merge pull request #3046 from apalache-mc/igor/tmpdir docker-container #1105: Commit 1742832 pushed by konnov
December 13, 2024 18:27 3m 9s main
main
December 13, 2024 18:27 3m 9s
protect against SANY race conditions on the filesystem build #7126: Pull request #3046 synchronize by konnov
December 13, 2024 17:58 22m 8s igor/tmpdir
igor/tmpdir
December 13, 2024 17:58 22m 8s
protect against SANY race conditions on the filesystem build #7125: Pull request #3046 synchronize by konnov
December 13, 2024 17:35 21m 43s igor/tmpdir
igor/tmpdir
December 13, 2024 17:35 21m 43s
protect against SANY race conditions on the filesystem build #7124: Pull request #3046 synchronize by konnov
December 13, 2024 17:17 19m 57s igor/tmpdir
igor/tmpdir
December 13, 2024 17:17 19m 57s
Merge pull request #3044 from apalache-mc/gabriela/fix-quint-nullary-… docker-container #1104: Commit 8b661d7 pushed by konnov
December 13, 2024 16:56 5m 40s main
main
December 13, 2024 16:56 5m 40s
Fix conversion of Quint nullary polymorphic operators release #1535: Pull request #3044 closed by konnov
December 13, 2024 16:56 3s gabriela/fix-quint-nullary-polymorphism
gabriela/fix-quint-nullary-polymorphism
December 13, 2024 16:56 3s