All Workflows verify.yaml

13 workflow runs

Actor

All actors nichkara

Status

All status Success Failure Waiting Running

Add flake

#13:Commit 4fa5426a15 pushed by nichkara

main

2026-07-18 21:40:34 +02:00

5m34s

View workflow file

Add distance calculation based on haversine

#12:Commit 64cfecef9a pushed by nichkara

main

2026-06-15 05:42:57 +02:00

3m59s

View workflow file

Default packages

#11:Commit 4af251007f pushed by nichkara

main

2026-06-14 22:41:08 +02:00

4m3s

View workflow file

Add gnatprove as dependency

#10:Commit cdf1ca655d pushed by nichkara

main

2026-06-14 22:05:17 +02:00

4m31s

View workflow file

Retry after local verification

#9:Commit 4cb0066d0e pushed by nichkara

main

2026-06-11 16:28:01 +02:00

4m23s

View workflow file

Refresh alire package index

#8:Commit 6ad68af041 pushed by nichkara

main

2026-06-11 16:00:18 +02:00

42s

View workflow file

Install gnatprove systemwide

#7:Commit 5f4923a127 pushed by nichkara

main

2026-06-11 15:56:28 +02:00

40s

View workflow file

Ship gnatprove with package

#6:Commit b2b55238ed pushed by nichkara

main

2026-06-11 15:50:32 +02:00

44s

View workflow file

Print gnatprove report in CI

#5:Commit dfacf86537 pushed by nichkara

main

2026-06-11 15:46:02 +02:00

45s

View workflow file

Serve alire to CI on x86_64 systems

#4:Commit 2dcab4f1ea pushed by nichkara

main

2026-06-11 15:39:05 +02:00

48s

View workflow file

Add Conversion from DDM to DD

#3:Commit bb939c2393 pushed by nichkara

main

2026-06-11 15:37:00 +02:00

10m14s

View workflow file

Implement type system

#2:Commit 9d98de374f pushed by nichkara

main

2026-06-10 23:45:49 +02:00

46s

View workflow file

Add verification workflow

#1:Commit 56799f0c23 pushed by nichkara

main

2026-06-10 11:24:21 +02:00

1m33s

View workflow file