All workflows

Workflow runs

• Allow specifying key and value types for maps

  completed successfully:
  CI#177:Pull request#87synchronizebyuhoreg
  uhoreg:map_key_value_types_2

  Feb 10, 20261m 22s
  More actions for workflow run 177

• Allow specifying key and value types for maps

  completed successfully:
  CI#176:Pull request#87openedbyuhoreg
  uhoreg:map_key_value_types_2

  Feb 5, 20261m 17s
  More actions for workflow run 176

• Various fixes

  completed successfully:
  CI#175:Pull request#86openedbyuhoreg
  uhoreg:fixes

  Nov 28, 20251m 21s
  More actions for workflow run 175

• Add predicates for specifying key and value types of maps

  completed successfully:
  CI#174:Pull request#85openedbyuhoreg
  uhoreg:map_key_value_types

  Nov 25, 20251m 20s
  More actions for workflow run 174

• Merge pull request #84 from uhoreg/is_struct

  completed successfully:
  CI#173:Commit2a326edpushedbysolnic
  main

  Nov 13, 20251m 19s
  More actions for workflow run 173

• Add an is_struct?/2 predicate

  completed successfully:
  CI#172:Pull request#84openedbyuhoreg
  uhoreg:is_struct

  Oct 24, 20251m 28s
  More actions for workflow run 172

• Merge pull request #83 from uhoreg/type_casting

  completed successfully:
  CI#171:Commit40563ccpushedbysolnic
  main

  Oct 17, 20251m 20s
  More actions for workflow run 171

• Allow defining a type as a cast

  completed successfully:
  CI#170:Pull request#83synchronizebyuhoreg
  uhoreg:type_casting

  Oct 11, 20251m 30s
  More actions for workflow run 170