Skip to content

Actions: scalacenter/tasty-query

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
314 workflow runs
314 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #335 from sjrd/fix-signature-name-of-nothing Release #198: Commit 713d2f8 pushed by sjrd
August 4, 2023 08:21 2m 48s v0.9.2
v0.9.2
August 4, 2023 08:21 2m 48s
Merge pull request #335 from sjrd/fix-signature-name-of-nothing Scala CI #879: Commit 713d2f8 pushed by sjrd
August 4, 2023 08:13 4m 58s main
main
August 4, 2023 08:13 4m 58s
Merge pull request #335 from sjrd/fix-signature-name-of-nothing Release #197: Commit 713d2f8 pushed by sjrd
August 4, 2023 08:13 2m 9s main
main
August 4, 2023 08:13 2m 9s
Fix #334: Make the signatureName of Nothing be scala.Nothing. Scala CI #878: Pull request #335 opened by sjrd
August 4, 2023 07:59 5m 27s sjrd:fix-signature-name-of-nothing
sjrd:fix-signature-name-of-nothing
August 4, 2023 07:59 5m 27s
Merge pull request #333 from sjrd/singleton Release #196: Commit b72847c pushed by bishabosha
July 31, 2023 13:04 1m 45s main
main
July 31, 2023 13:04 1m 45s
Merge pull request #333 from sjrd/singleton Scala CI #877: Commit b72847c pushed by bishabosha
July 31, 2023 13:04 5m 29s main
main
July 31, 2023 13:04 5m 29s
Fix #332: Add scala.Singleton and handle it in subtyping. Scala CI #876: Pull request #333 opened by sjrd
July 31, 2023 10:17 4m 40s sjrd:singleton
sjrd:singleton
July 31, 2023 10:17 4m 40s
Merge pull request #331 from sjrd/fix-scala-2-rec-types Release #195: Commit 1ebdfe1 pushed by sjrd
July 21, 2023 08:09 3m 8s v0.9.1
v0.9.1
July 21, 2023 08:09 3m 8s
Merge pull request #331 from sjrd/fix-scala-2-rec-types Release #194: Commit 1ebdfe1 pushed by bishabosha
July 21, 2023 07:58 1m 29s main
main
July 21, 2023 07:58 1m 29s
Merge pull request #331 from sjrd/fix-scala-2-rec-types Scala CI #875: Commit 1ebdfe1 pushed by bishabosha
July 21, 2023 07:58 4m 55s main
main
July 21, 2023 07:58 4m 55s
Fix Scala 2 recursive refinement types. Scala CI #874: Pull request #331 opened by sjrd
July 20, 2023 10:05 4m 16s sjrd:fix-scala-2-rec-types
sjrd:fix-scala-2-rec-types
July 20, 2023 10:05 4m 16s
Merge pull request #330 from sjrd/scala-2-getters Scala CI #873: Commit cbce16b pushed by sjrd
July 20, 2023 09:10 4m 18s main
main
July 20, 2023 09:10 4m 18s
Merge pull request #330 from sjrd/scala-2-getters Release #193: Commit cbce16b pushed by sjrd
July 20, 2023 09:10 1m 56s main
main
July 20, 2023 09:10 1m 56s
Make Scala 2 getters appear as fields, to be consistent with Scala 3. Scala CI #872: Pull request #330 opened by sjrd
July 19, 2023 13:45 4m 57s sjrd:scala-2-getters
sjrd:scala-2-getters
July 19, 2023 13:45 4m 57s
ProTip! You can narrow down the results and go further in time using created:<2023-07-19 or the other filters available.