Run Github CI tests.

Added missing prototypes; changed some "int_t" to "int". #510

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build and test (gcc, 1)	1m 37s
Build and test (gcc, 2)	1m 6s
Build and test (gcc, 3)	6m 52s
Build and test (gcc, 4)	6m 18s
Build and test (gcc, 5)	1m 8s
Build and test (gcc, 6)	1m 1s
Build and test (gcc, 7)	8m 14s
Build and test (gcc, 8)	8m 10s
Build and test (gcc, 9)	1m 33s
Build and test (gcc, 10)	1m 51s
Build and test (gcc, 11)	2m 37s
Build and test (gcc, 12)	1m 10s
Build and test (gcc, 13)	1m 10s
Build and test (gcc, 14)	1m 14s
Build and test (gcc, 15)	1m 28s
	45m 29s