Skip to content

Actions: apalache-mc/apalache

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ModelValueCache rework build #6174: Pull request #2675 synchronize by Kukovec
August 10, 2023 11:38 32m 38s jk/2664
jk/2664
August 10, 2023 11:38 32m 38s
ModelValueCache rework build #6173: Pull request #2675 synchronize by Kukovec
August 10, 2023 11:37 44m 43s jk/2664
jk/2664
August 10, 2023 11:37 44m 43s
ModelValueCache rework build #6172: Pull request #2675 synchronize by Kukovec
August 10, 2023 11:03 34m 32s jk/2664
jk/2664
August 10, 2023 11:03 34m 32s
ModelValueCache rework build #6171: Pull request #2675 synchronize by Kukovec
August 10, 2023 10:44 33m 36s jk/2664
jk/2664
August 10, 2023 10:44 33m 36s
ModelValueCache rework build #6170: Pull request #2675 synchronize by Kukovec
August 9, 2023 13:11 34m 48s jk/2664
jk/2664
August 9, 2023 13:11 34m 48s
pages build and deployment pages-build-deployment #103: by thpani
August 8, 2023 08:34 57s
August 8, 2023 08:34 57s
pages build and deployment pages-build-deployment #102: by thpani
August 8, 2023 08:34 16s
August 8, 2023 08:34 16s
[release] 0.41.4 release #1254: Pull request #2689 closed by shonfeder
August 7, 2023 00:32 3s release/0.41.4
release/0.41.4
August 7, 2023 00:32 3s
[release] 0.41.4 build #6169: Pull request #2689 opened by apalache-bot
August 7, 2023 00:06 33m 18s release/0.41.4
release/0.41.4
August 7, 2023 00:06 33m 18s
prepare-release prepare-release #217: Scheduled
August 7, 2023 00:04 1m 42s main
main
August 7, 2023 00:04 1m 42s
Update scalafmt-core to 3.7.12 build #6168: Pull request #2688 opened by scala-steward
August 5, 2023 15:39 38m 16s scala-steward:update/scalafmt-core-3.7.12
scala-steward:update/scalafmt-core-3.7.12
August 5, 2023 15:39 38m 16s
Update logback-classic, logback-core to 1.4.9 build #6167: Pull request #2687 opened by scala-steward
August 5, 2023 15:38 5m 55s scala-steward:update/logback-classic-1.4.9
scala-steward:update/logback-classic-1.4.9
August 5, 2023 15:38 5m 55s
Update grpc-netty to 1.57.1 build #6166: Pull request #2686 opened by scala-steward
August 3, 2023 15:02 37m 47s scala-steward:update/grpc-netty-1.57.1
scala-steward:update/grpc-netty-1.57.1
August 3, 2023 15:02 37m 47s
v0.41.3 docker-container #877: Release v0.41.3 published by apalache-bot
August 2, 2023 20:54 3m 31s
August 2, 2023 20:54 3m 31s
Merge pull request #2685 from informalsystems/release/0.41.3 deploy #1126: Commit b374361 pushed by shonfeder
August 2, 2023 20:50 20s main
main
August 2, 2023 20:50 20s
Merge pull request #2685 from informalsystems/release/0.41.3 Auto-update #556: Commit b374361 pushed by shonfeder
August 2, 2023 20:50 15s main
main
August 2, 2023 20:50 15s
Merge pull request #2685 from informalsystems/release/0.41.3 build #6165: Commit b374361 pushed by shonfeder
August 2, 2023 20:50 37m 9s main
main
August 2, 2023 20:50 37m 9s
Merge pull request #2685 from informalsystems/release/0.41.3 docker-container #876: Commit b374361 pushed by shonfeder
August 2, 2023 20:50 3m 46s main
main
August 2, 2023 20:50 3m 46s
[release] 0.41.3 release #1253: Pull request #2685 closed by shonfeder
August 2, 2023 20:50 4m 46s release/0.41.3
release/0.41.3
August 2, 2023 20:50 4m 46s
[release] 0.41.3 build #6164: Pull request #2685 opened by apalache-bot
August 2, 2023 20:13 36m 36s release/0.41.3
release/0.41.3
August 2, 2023 20:13 36m 36s
prepare-release prepare-release #216: Manually run by shonfeder
August 2, 2023 20:12 1m 38s main
main
August 2, 2023 20:12 1m 38s
Merge pull request #2684 from informalsystems/th/fix-2683 deploy #1125: Commit 78b1d6d pushed by shonfeder
August 2, 2023 15:47 18s main
main
August 2, 2023 15:47 18s
Merge pull request #2684 from informalsystems/th/fix-2683 build #6163: Commit 78b1d6d pushed by shonfeder
August 2, 2023 15:47 31m 56s main
main
August 2, 2023 15:47 31m 56s
Merge pull request #2684 from informalsystems/th/fix-2683 docker-container #875: Commit 78b1d6d pushed by shonfeder
August 2, 2023 15:47 3m 45s main
main
August 2, 2023 15:47 3m 45s
Merge pull request #2684 from informalsystems/th/fix-2683 Auto-update #555: Commit 78b1d6d pushed by shonfeder
August 2, 2023 15:47 11s main
main
August 2, 2023 15:47 11s
ProTip! You can narrow down the results and go further in time using created:<2023-08-02 or the other filters available.