Program

• Start: Monday 15^th February 2021
• Finish: Friday 19^th February 2021

The two main topics these GAP Days will tackle are:

GAP Release Process and Release and CI tools used in GAP

Please note the resources that need to be obtained BEFORE the workshop are laid out on the preparation page. This note will also be updated as the workshop nears with more information and details about the various work packages.

All scheduled talks are going to be held in BigBlueButton. The room code will be sent to participants.

For gather.town all participants have been sent the passwords for the rooms.

Schedule

The tentative schedule is as follows; note that all time are UTC (so e.g. our German visitors should add 1 hour)

• Monday, 15th February 2021 GitHub & GAP-Julia Day
  • 9:00: Opening of GAPDays Welcome and setup
  • 9:10 – 10:10 GitHub Actions
    • “An introduction to GitHub Actions” (Wilf Wilson) (Slides)
    • “Doing GAP package CI with GitHub Actions” (Sergio Siccha) (Slides)
  • 10:20 – 11:20 Profiling and Code Coverage in GAP
    • “Profiling GAP code” (Chris Jefferson)
    • “Code coverage tracking with Codecov” (Max Horn)
  • 11:30 – 12:30 GAP-Julia
    • “An introduction to OSCAR with a focus on the GAP-Julia integration” (Max Horn)
    • “The GAP package SingerAlg – using the GAP-Julia integration” (Thomas Breuer) (More information and slides)
  • 12:30 – 14:00 Lunch time and offline exercise time
  • 14:00 – 16:00 Hands-on, discussions etc for all Github, Codecov and GAP-Julia related exercises and questions. In gather.town
• Tuesday, 16th February 2021 GAP Release discussion Day
  • 10:00: Discussion of release process and making a plan for the rest of the week.
  • 12:15: Talk: “How a GAP release is made” (Alexander Konovalov)
    This will help participants understand the current processes, with an emphasis on steps that are essential and need to be ported to the new release system.
• Wednesday, 17th February 2021 Work on release process
  • 9:00: Discussions and plan for the day – Standup style in gather.town
  • 16:00: End of Day standup in gather.town
• Thursday, 18th February 2021 Work on release process
  • 9:00: Discussions and plan for the day – Standup style in gather.town
  • 16:00: End of Day standup in gather.town
  • 19:00(ish) Virtual Pub (in gather.town, participants were sent password.)
• Friday, 19th February 2021 Finalising work on release process, and release a new version of GAP using that system.
  • 9:00: Discussions and plan for the day – Standup style in gather.town
  • 16:00(ish): End of GAP Days wrap up in gather.town