Skip to content

Commit

Permalink
more
Browse files Browse the repository at this point in the history
  • Loading branch information
fingolfin committed Mar 11, 2024
1 parent 6f98c8d commit e1c51de
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 3 deletions.
1 change: 1 addition & 0 deletions location.md
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,7 @@ The meeting takes place in building 48 in floor 4 (which is the second above gro
- room 436: main room
- room 419: secondary room
- room 430: office of Max Horn
- online / hybrid: [Gather.town meeting room](https://app.gather.town/app/8v9jQV7Yeftv5bz1/GAPDays)

[Map of the campus.](https://rptu.de/fileadmin/prum/02_Downloads/Lageplan/RPTU_Lageplan_KL__August_2023.pdf)

Expand Down
4 changes: 1 addition & 3 deletions program.md
Original file line number Diff line number Diff line change
Expand Up @@ -75,6 +75,4 @@ For digital participants we created a [Gather.town meeting room, click here](htt
TBA

collecting some ideas
- work on improving GitHub Actions which run package CI tests, e.g.
- get rid of the `cygwin-vs` branches as outlined [here](https://github.com/gap-actions/setup-gap/issues/18#issuecomment-1322385914)
- test against GAP releases instead of developer snapshots ([see here](https://github.com/gap-actions/setup-gap/issues/24)
- see this [HackMD](https://hackmd.io/e8lkzGISSRqoDscXa92uyw)

0 comments on commit e1c51de

Please sign in to comment.