Skip to content

Actions: apalache-mc/apalache

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

prepare-release prepare-release #304: Manually run by konnov
December 16, 2024 20:38 1m 32s main
main
December 16, 2024 20:38 1m 32s
prepare-release prepare-release #303: Manually run by konnov
December 16, 2024 20:24 1m 29s main
main
December 16, 2024 20:24 1m 29s
prepare-release prepare-release #302: Manually run by konnov
December 16, 2024 20:15 1m 31s main
main
December 16, 2024 20:15 1m 31s
fix sbt deploy #1338: Commit 1c12ee4 pushed by konnov
December 16, 2024 19:46 16s main
main
December 16, 2024 19:46 16s
fix sbt docker-container #1111: Commit 1c12ee4 pushed by konnov
December 16, 2024 19:46 19s main
main
December 16, 2024 19:46 19s
fix sbt build #7139: Commit 1c12ee4 pushed by konnov
December 16, 2024 19:46 21m 44s main
main
December 16, 2024 19:46 21m 44s
fix sbt Auto-update #768: Commit 1c12ee4 pushed by konnov
December 16, 2024 19:46 12s main
main
December 16, 2024 19:46 12s
prepare-release prepare-release #301: Manually run by konnov
December 16, 2024 19:43 25s main
main
December 16, 2024 19:43 25s
Merge pull request #3048 from apalache-mc/igor/fix-build Auto-update #767: Commit 00222d0 pushed by konnov
December 16, 2024 15:14 15s main
main
December 16, 2024 15:14 15s
Merge pull request #3048 from apalache-mc/igor/fix-build deploy #1337: Commit 00222d0 pushed by konnov
December 16, 2024 15:14 20s main
main
December 16, 2024 15:14 20s
Merge pull request #3048 from apalache-mc/igor/fix-build docker-container #1110: Commit 00222d0 pushed by konnov
December 16, 2024 15:14 25s main
main
December 16, 2024 15:14 25s
Merge pull request #3048 from apalache-mc/igor/fix-build build #7138: Commit 00222d0 pushed by konnov
December 16, 2024 15:14 21m 19s main
main
December 16, 2024 15:14 21m 19s
fixing sbt in the CI release #1537: Pull request #3048 closed by konnov
December 16, 2024 15:14 4s igor/fix-build
igor/fix-build
December 16, 2024 15:14 4s
fixing sbt in the CI build #7137: Pull request #3048 synchronize by konnov
December 16, 2024 13:59 21m 23s igor/fix-build
igor/fix-build
December 16, 2024 13:59 21m 23s
fixing sbt in the CI build #7136: Pull request #3048 synchronize by konnov
December 16, 2024 13:56 21m 3s igor/fix-build
igor/fix-build
December 16, 2024 13:56 21m 3s
fixing sbt in the CI build #7135: Pull request #3048 synchronize by konnov
December 16, 2024 13:51 19m 43s igor/fix-build
igor/fix-build
December 16, 2024 13:51 19m 43s
fixing sbt in the CI build #7134: Pull request #3048 synchronize by konnov
December 16, 2024 13:48 20m 2s igor/fix-build
igor/fix-build
December 16, 2024 13:48 20m 2s
fixing sbt in the CI build #7133: Pull request #3048 synchronize by konnov
December 16, 2024 13:46 18m 57s igor/fix-build
igor/fix-build
December 16, 2024 13:46 18m 57s
fixing sbt in the CI build #7132: Pull request #3048 opened by konnov
December 16, 2024 13:44 19m 15s igor/fix-build
igor/fix-build
December 16, 2024 13:44 19m 15s
rename sbt to sbtn docker-container #1109: Commit 74fa4e6 pushed by konnov
December 16, 2024 13:37 18s main
main
December 16, 2024 13:37 18s
rename sbt to sbtn Auto-update #766: Commit 74fa4e6 pushed by konnov
December 16, 2024 13:37 12s main
main
December 16, 2024 13:37 12s
rename sbt to sbtn build #7131: Commit 74fa4e6 pushed by konnov
December 16, 2024 13:37 19m 11s main
main
December 16, 2024 13:37 19m 11s
rename sbt to sbtn deploy #1336: Commit 74fa4e6 pushed by konnov
December 16, 2024 13:37 18s main
main
December 16, 2024 13:37 18s
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