Skip to content

Actions: gap-packages/io

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
12 workflow runs
12 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

March 23, 2024 21:44 18m 0s
pages build and deployment
pages-build-deployment #5: by fingolfin
February 20, 2024 16:54 53s
February 20, 2024 16:54 53s
Check arguments to IO_gmtime and IO_localtime (#123)
CI #101: Commit 4d38b74 pushed by fingolfin
January 29, 2024 23:40 19m 27s master
January 29, 2024 23:40 19m 27s
Check arguments to IO_gmtime and IO_localtime
CI #100: Pull request #123 reopened by fingolfin
January 28, 2024 11:25 20m 35s ChrisJefferson:test-time
January 28, 2024 11:25 20m 35s
Check arguments to IO_gmtime and IO_localtime
CI #99: Pull request #123 opened by ChrisJefferson
January 24, 2024 03:19 6h 0m 22s ChrisJefferson:test-time
January 24, 2024 03:19 6h 0m 22s
Update Makefile.gappkg to latest
CI #98: Commit 10a7bef pushed by fingolfin
January 22, 2024 23:24 19m 12s master
January 22, 2024 23:24 19m 12s
pages build and deployment
pages-build-deployment #4: by fingolfin
October 16, 2023 09:06 1m 3s
October 16, 2023 09:06 1m 3s
Version 4.8.2
CI #97: Commit eb46ba8 pushed by fingolfin
October 16, 2023 09:06 22m 26s master
October 16, 2023 09:06 22m 26s
Properly close all open files on exit
CI #96: Commit 038472c pushed by fingolfin
October 16, 2023 09:03 28m 3s master
October 16, 2023 09:03 28m 3s
Properly close all open files on exit
CI #95: Pull request #121 synchronize by zickgraf
October 16, 2023 07:00 28m 23s zickgraf:master
October 16, 2023 07:00 28m 23s
Properly close all open files on exit
CI #94: Pull request #121 opened by zickgraf
October 9, 2023 09:30 32m 57s zickgraf:master
October 9, 2023 09:30 32m 57s
Update my contact details
CI #93: Commit a4b6a63 pushed by fingolfin
March 8, 2023 13:27 28m 15s master
March 8, 2023 13:27 28m 15s