All Workflows verify.yaml

13 workflow runs

Actor

All actors nichkara

Status

All status Success Failure Waiting Running

Add flake

verify.yaml #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

verify.yaml #12:Commit 64cfecef9a pushed by nichkara

main

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

3m59s

View workflow file

Default packages

verify.yaml #11:Commit 4af251007f pushed by nichkara

main

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

4m3s

View workflow file

Add gnatprove as dependency

verify.yaml #10:Commit cdf1ca655d pushed by nichkara

main

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

4m31s

View workflow file

Retry after local verification

verify.yaml #9:Commit 4cb0066d0e pushed by nichkara

main

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

4m23s

View workflow file

Refresh alire package index

verify.yaml #8:Commit 6ad68af041 pushed by nichkara

main

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

42s

View workflow file

Install gnatprove systemwide

verify.yaml #7:Commit 5f4923a127 pushed by nichkara

main

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

40s

View workflow file

Ship gnatprove with package

verify.yaml #6:Commit b2b55238ed pushed by nichkara

main

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

44s

View workflow file

Print gnatprove report in CI

verify.yaml #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

verify.yaml #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

verify.yaml #3:Commit bb939c2393 pushed by nichkara

main

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

10m14s

View workflow file

Implement type system

verify.yaml #2:Commit 9d98de374f pushed by nichkara

main

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

46s

View workflow file

Add verification workflow

verify.yaml #1:Commit 56799f0c23 pushed by nichkara

main

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

1m33s

View workflow file