Skip to content

Actions: apalache-mc/apalache

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgrade dependencies to Guice 7 (#2781) docker-container #933: Commit c40dc46 pushed by thpani
November 23, 2023 13:02 3m 4s main
main
November 23, 2023 13:02 3m 4s
Upgrade dependencies to Guice 7 (#2781) deploy #1179: Commit c40dc46 pushed by thpani
November 23, 2023 13:02 21s main
main
November 23, 2023 13:02 21s
Upgrade dependencies to Guice 7 (#2781) Auto-update #609: Commit c40dc46 pushed by thpani
November 23, 2023 13:02 15s main
main
November 23, 2023 13:02 15s
Upgrade dependencies to Guice 7 (#2781) build #6424: Commit c40dc46 pushed by thpani
November 23, 2023 13:02 33m 48s main
main
November 23, 2023 13:02 33m 48s
Upgrade dependencies to Guice 7 release #1331: Pull request #2781 closed by thpani
November 23, 2023 13:02 3s th/upgrade-guice7
th/upgrade-guice7
November 23, 2023 13:02 3s
Upgrade dependencies to Guice 7 build #6423: Pull request #2781 opened by thpani
November 23, 2023 12:32 29m 46s th/upgrade-guice7
th/upgrade-guice7
November 23, 2023 12:32 29m 46s
Update sbt-assembly to 2.1.5 build #6422: Pull request #2780 opened by scala-steward
November 21, 2023 16:48 5m 19s scala-steward:update/sbt-assembly-2.1.5
scala-steward:update/sbt-assembly-2.1.5
November 21, 2023 16:48 5m 19s
Merge pull request #2779 from scala-steward/update/scalafmt-core-3.7.17 build #6421: Commit eb73de4 pushed by shonfeder
November 20, 2023 21:59 31m 54s main
main
November 20, 2023 21:59 31m 54s
Merge pull request #2779 from scala-steward/update/scalafmt-core-3.7.17 deploy #1178: Commit eb73de4 pushed by shonfeder
November 20, 2023 21:59 22s main
main
November 20, 2023 21:59 22s
Merge pull request #2779 from scala-steward/update/scalafmt-core-3.7.17 Auto-update #608: Commit eb73de4 pushed by shonfeder
November 20, 2023 21:59 14s main
main
November 20, 2023 21:59 14s
Merge pull request #2779 from scala-steward/update/scalafmt-core-3.7.17 docker-container #932: Commit eb73de4 pushed by shonfeder
November 20, 2023 21:59 3m 16s main
main
November 20, 2023 21:59 3m 16s
Update scalafmt-core to 3.7.17 release #1330: Pull request #2779 closed by shonfeder
November 20, 2023 21:59 2s scala-steward:update/scalafmt-core-3.7.17
scala-steward:update/scalafmt-core-3.7.17
November 20, 2023 21:59 2s
[release] 0.44.1 release #1329: Pull request #2777 closed by shonfeder
November 20, 2023 21:59 3s release/0.44.1
release/0.44.1
November 20, 2023 21:59 3s
MockOracle refactor build #6420: Pull request #2731 synchronize by Kukovec
November 20, 2023 13:26 36m 10s jk/oracles
jk/oracles
November 20, 2023 13:26 36m 10s
prepare-release prepare-release #236: Scheduled
November 20, 2023 00:04 1m 33s main
main
November 20, 2023 00:04 1m 33s
Update scalafmt-core to 3.7.17 build #6419: Pull request #2779 opened by scala-steward
November 17, 2023 19:14 34m 49s scala-steward:update/scalafmt-core-3.7.17
scala-steward:update/scalafmt-core-3.7.17
November 17, 2023 19:14 34m 49s
Throw error when attempting to construct a UNION of function sets release #1328: Pull request #2778 closed by Kukovec
November 14, 2023 14:45 3s jk/2772
jk/2772
November 14, 2023 14:45 3s
Throw error when attempting to construct a UNION of function sets (#2… deploy #1177: Commit 6576959 pushed by Kukovec
November 14, 2023 14:45 17s main
main
November 14, 2023 14:45 17s
Throw error when attempting to construct a UNION of function sets (#2… Auto-update #607: Commit 6576959 pushed by Kukovec
November 14, 2023 14:45 11s main
main
November 14, 2023 14:45 11s
Throw error when attempting to construct a UNION of function sets (#2… build #6418: Commit 6576959 pushed by Kukovec
November 14, 2023 14:45 34m 32s main
main
November 14, 2023 14:45 34m 32s
Throw error when attempting to construct a UNION of function sets (#2… docker-container #931: Commit 6576959 pushed by Kukovec
November 14, 2023 14:45 4m 33s main
main
November 14, 2023 14:45 4m 33s
Throw error when attempting to construct a UNION of function sets build #6417: Pull request #2778 synchronize by Kukovec
November 14, 2023 14:17 27m 48s jk/2772
jk/2772
November 14, 2023 14:17 27m 48s
Update scalaz-core to 7.3.8 release #1327: Pull request #2776 closed by shonfeder
November 13, 2023 19:36 2s scala-steward:update/scalaz-core-7.3.8
scala-steward:update/scalaz-core-7.3.8
November 13, 2023 19:36 2s
Update scalafmt-core to 3.7.16 release #1326: Pull request #2775 closed by shonfeder
November 13, 2023 19:35 2s scala-steward:update/scalafmt-core-3.7.16
scala-steward:update/scalafmt-core-3.7.16
November 13, 2023 19:35 2s
Throw error when attempting to construct a UNION of function sets build #6416: Pull request #2778 opened by Kukovec
November 13, 2023 15:10 36m 29s jk/2772
jk/2772
November 13, 2023 15:10 36m 29s
ProTip! You can narrow down the results and go further in time using created:<2023-11-13 or the other filters available.