Skip to content

Actions: apalache-mc/apalache

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,039 workflow runs
2,039 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #2650 from scala-steward/update/scalafmt-core-3.7.9 build #6080: Commit 72bf5df pushed by shonfeder
July 17, 2023 03:07 29m 39s main
main
July 17, 2023 03:07 29m 39s
Merge pull request #2650 from scala-steward/update/scalafmt-core-3.7.9 deploy #1108: Commit 72bf5df pushed by shonfeder
July 17, 2023 03:07 20s main
main
July 17, 2023 03:07 20s
Merge pull request #2650 from scala-steward/update/scalafmt-core-3.7.9 docker-container #856: Commit 72bf5df pushed by shonfeder
July 17, 2023 03:07 4m 1s main
main
July 17, 2023 03:07 4m 1s
Merge pull request #2650 from scala-steward/update/scalafmt-core-3.7.9 Auto-update #538: Commit 72bf5df pushed by shonfeder
July 17, 2023 03:07 17s main
main
July 17, 2023 03:07 17s
[release] 0.40.8 release #1230: Pull request #2651 closed by shonfeder
July 17, 2023 03:06 2s release/0.40.8
release/0.40.8
July 17, 2023 03:06 2s
[release] 0.40.8 build #6079: Pull request #2651 opened by apalache-bot
July 17, 2023 00:07 37m 37s release/0.40.8
release/0.40.8
July 17, 2023 00:07 37m 37s
prepare-release prepare-release #212: Scheduled
July 17, 2023 00:05 1m 41s main
main
July 17, 2023 00:05 1m 41s
Update scalafmt-core to 3.7.8 release #1229: Pull request #2647 closed by scala-steward
July 16, 2023 15:55 2s scala-steward:update/scalafmt-core-3.7.8
scala-steward:update/scalafmt-core-3.7.8
July 16, 2023 15:55 2s
Update scalafmt-core to 3.7.9 build #6078: Pull request #2650 opened by scala-steward
July 16, 2023 15:54 34m 47s scala-steward:update/scalafmt-core-3.7.9
scala-steward:update/scalafmt-core-3.7.9
July 16, 2023 15:54 34m 47s
Update kiama to 2.5.1 build #6077: Pull request #2649 opened by scala-steward
July 16, 2023 15:53 31m 51s scala-steward:update/kiama-2.5.1
scala-steward:update/kiama-2.5.1
July 16, 2023 15:53 31m 51s
First attempt at Cache rework build #6076: Pull request #2648 synchronize by Kukovec
July 13, 2023 12:33 32m 48s jk/caches_v1
jk/caches_v1
July 13, 2023 12:33 32m 48s
First attempt at Cache rework build #6075: Pull request #2648 opened by Kukovec
July 13, 2023 12:00 15m 32s jk/caches_v1
jk/caches_v1
July 13, 2023 12:00 15m 32s
Update scalafmt-core to 3.7.8 build #6074: Pull request #2647 opened by scala-steward
July 12, 2023 17:36 35m 41s scala-steward:update/scalafmt-core-3.7.8
scala-steward:update/scalafmt-core-3.7.8
July 12, 2023 17:36 35m 41s
Update ujson, upickle to 3.1.2 build #6073: Pull request #2646 opened by scala-steward
July 12, 2023 17:35 8m 7s scala-steward:update/ujson-3.1.2
scala-steward:update/ujson-3.1.2
July 12, 2023 17:35 8m 7s
ProTip! You can narrow down the results and go further in time using created:<2023-07-12 or the other filters available.