Skip to content

Actions: informalsystems/apalache

Actions

release

Actions

Loading...

Show workflow options

Create status badge

release.yml
283 workflow runs
283 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Update scalafmt-core to 3.8.1 release #1422: Pull request #2877 closed by scala-steward
June 16, 2024 16:18 3s scala-steward:update/scalafmt-core-3.8.1
scala-steward:update/scalafmt-core-3.8.1
June 16, 2024 16:18 3s
Update zio, zio-test, zio-test-sbt to 2.1.2 release #1421: Pull request #2908 closed by scala-steward
June 12, 2024 15:02 3s scala-steward:update/zio-2.1.2
scala-steward:update/zio-2.1.2
June 12, 2024 15:02 3s
Update zio, zio-test, zio-test-sbt to 2.1.1 release #1420: Pull request #2901 closed by scala-steward
June 4, 2024 15:16 2s scala-steward:update/zio-2.1.1
scala-steward:update/zio-2.1.1
June 4, 2024 15:16 2s
Update shapeless to 2.3.11 release #1419: Pull request #2903 closed by scala-steward
May 19, 2024 14:35 2s scala-steward:update/shapeless-2.3.11
scala-steward:update/shapeless-2.3.11
May 19, 2024 14:35 2s
Update zio, zio-test, zio-test-sbt to 2.1.0 release #1418: Pull request #2900 closed by scala-steward
May 11, 2024 14:46 2s scala-steward:update/zio-2.1.0
scala-steward:update/zio-2.1.0
May 11, 2024 14:46 2s
Remove cronjob for prepare-release workflow release #1417: Pull request #2894 closed by bugarela
May 6, 2024 13:16 2s gabriela/remove-cronjob
gabriela/remove-cronjob
May 6, 2024 13:16 2s
[release] 0.44.11 release #1416: Pull request #2893 closed by bugarela
May 6, 2024 12:34 3m 35s release/0.44.11
release/0.44.11
May 6, 2024 12:34 3m 35s
[release] 0.44.11 release #1415: Pull request #2878 closed by bugarela
May 6, 2024 11:59 2s release/0.44.11
release/0.44.11
May 6, 2024 11:59 2s
Fixes for compilation to TLA+ release #1414: Pull request #2891 closed by bugarela
May 6, 2024 11:37 3s gabriela/compile-to-tla-fixes
gabriela/compile-to-tla-fixes
May 6, 2024 11:37 3s
Fix unit test CI on MacOS release #1413: Pull request #2892 closed by bugarela
May 6, 2024 11:06 3s gabriela/fix-ci-macos
gabriela/fix-ci-macos
May 6, 2024 11:06 3s
Update logback-classic, logback-core to 1.5.5 release #1412: Pull request #2882 closed by scala-steward
April 19, 2024 16:19 2s scala-steward:update/logback-classic-1.5.5
scala-steward:update/logback-classic-1.5.5
April 19, 2024 16:19 2s
Update logback-classic, logback-core to 1.5.4 release #1411: Pull request #2880 closed by scala-steward
April 13, 2024 13:46 1s scala-steward:update/logback-classic-1.5.4
scala-steward:update/logback-classic-1.5.4
April 13, 2024 13:46 1s
Update commons-io to 2.16.0 release #1410: Pull request #2876 closed by scala-steward
April 9, 2024 15:33 2s scala-steward:update/commons-io-2.16.0
scala-steward:update/commons-io-2.16.0
April 9, 2024 15:33 2s
[release] 0.44.10 release #1409: Pull request #2874 closed by bugarela
March 25, 2024 18:05 3m 28s release/0.44.10
release/0.44.10
March 25, 2024 18:05 3m 28s
Handle quint quantified variables release #1408: Pull request #2873 closed by bugarela
March 25, 2024 17:27 3s gabriela/handle-quint-quantified-variables
gabriela/handle-quint-quantified-variables
March 25, 2024 17:27 3s
[release] 0.44.10 release #1407: Pull request #2872 closed by bugarela
March 25, 2024 17:00 1s release/0.44.10
release/0.44.10
March 25, 2024 17:00 1s
[release] 0.44.9 release #1406: Pull request #2870 closed by bugarela
March 22, 2024 11:24 3m 30s release/0.44.9
release/0.44.9
March 22, 2024 11:24 3m 30s
Convert Quint empty tuples into uninterpreted types/values release #1405: Pull request #2869 closed by bugarela
March 21, 2024 21:28 4s gabriela/empty-tuple-as-unit
gabriela/empty-tuple-as-unit
March 21, 2024 21:28 4s
[release] 0.44.8 release #1404: Pull request #2867 closed by bugarela
March 20, 2024 11:46 4m 16s release/0.44.8
release/0.44.8
March 20, 2024 11:46 4m 16s
[release] 0.44.8 release #1403: Pull request #2865 closed by bugarela
March 20, 2024 11:18 2s release/0.44.8
release/0.44.8
March 20, 2024 11:18 2s
Add CHANGELOG entry for new sanitization from #2860 release #1402: Pull request #2866 closed by bugarela
March 19, 2024 20:50 3s gabriela/release-note-sanitization
gabriela/release-note-sanitization
March 19, 2024 20:50 3s
Sanitize identifiers when pretty printing release #1401: Pull request #2860 closed by shonfeder
March 19, 2024 19:58 3s 2858/sanitize-when-pretty-printing
2858/sanitize-when-pretty-printing
March 19, 2024 19:58 3s
[release] 0.44.8 release #1400: Pull request #2857 closed by shonfeder
March 14, 2024 17:41 2s release/0.44.8
release/0.44.8
March 14, 2024 17:41 2s
Extend Variants when pretty printing TLA+ in Shai release #1399: Pull request #2859 closed by shonfeder
March 14, 2024 02:41 3s add-variants-to-extends
add-variants-to-extends
March 14, 2024 02:41 3s
Use type given by quint to build lambda bodies release #1398: Pull request #2856 closed by bugarela
March 8, 2024 22:15 4s gabriela/fix-quint-type-conversion
gabriela/fix-quint-type-conversion
March 8, 2024 22:15 4s