github.com/PDP-10.its
1
0
Fork 0
mirror of https://github.com/PDP-10/its.git synced 2026-02-27 01:09:49 +00:00
Code Issues Releases Wiki Activity
Files
19b90ef9c91b3f9a23ec7b6d1afd7b269035da3a
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