Skip to content
Change the repository type filter

All

    Repositories list

    • Other
      2130Updated Sep 20, 2024Sep 20, 2024
    • 0000Updated Aug 28, 2024Aug 28, 2024
    • setup-gap

      Public
      Other
      51140Updated Jun 15, 2024Jun 15, 2024
    • Other
      4182Updated Apr 24, 2024Apr 24, 2024
    • Other
      1041Updated Jan 5, 2024Jan 5, 2024
    • A github action that tells if I need to send a slack notification. It avoids spamming your notification channels with successful builds.
      MIT License
      2010Updated Oct 20, 2022Oct 20, 2022
    • Setup cygwin for a GAP installation
      Other
      3000Updated Jul 15, 2022Jul 15, 2022
    • build-pkg

      Public
      Other
      2020Updated Apr 27, 2022Apr 27, 2022