github.com/PDP-10.its
1
0
Fork 0
mirror of https://github.com/PDP-10/its.git synced 2026-02-27 09:18:58 +00:00
Code Issues Releases Wiki Activity
Files
9039af3377e2c8b864f4ce3d3f2009daf825b259
PDP-10.its/.github
History
Lars Brinkhoff 47e0df7898 Update GitHub Actions runner to the ubuntu-22.04 image. 
The older ubuntu-18.04 image is no longer supported.
2023-04-20 19:21:04 +02:00
..
workflows
Update GitHub Actions runner to the ubuntu-22.04 image.
2023-04-20 19:21:04 +02:00