 Nina Chlóe Kassandra Reiß
|
64cfecef9a
|
Add distance calculation based on haversine
Alire installation and checkup / build (ubuntu-20.04) (push) Failing after 4m0s
|
2026-06-15 05:38:52 +02:00 |
|
|
Nina Chlóe Kassandra Reiß
|
4af251007f
|
Default packages
Alire installation and checkup / build (ubuntu-20.04) (push) Failing after 4m3s
|
2026-06-14 22:37:02 +02:00 |
|
|
Nina Chlóe Kassandra Reiß
|
cdf1ca655d
|
Add gnatprove as dependency
Alire installation and checkup / build (ubuntu-20.04) (push) Failing after 4m32s
|
2026-06-14 22:00:40 +02:00 |
|
|
Nina Chlóe Kassandra Reiß
|
4cb0066d0e
|
Retry after local verification
Alire installation and checkup / build (ubuntu-20.04) (push) Failing after 4m39s
|
2026-06-11 16:23:39 +02:00 |
|
|
Nina Chlóe Kassandra Reiß
|
6ad68af041
|
Refresh alire package index
Alire installation and checkup / build (ubuntu-20.04) (push) Failing after 41s
|
2026-06-11 15:59:47 +02:00 |
|
|
Nina Chlóe Kassandra Reiß
|
5f4923a127
|
Install gnatprove systemwide
Alire installation and checkup / build (ubuntu-20.04) (push) Failing after 40s
|
2026-06-11 15:56:00 +02:00 |
|
|
Nina Chlóe Kassandra Reiß
|
32633ed60b
|
Shipping gnatprove doesn't work
|
2026-06-11 15:55:05 +02:00 |
|
|
Nina Chlóe Kassandra Reiß
|
b2b55238ed
|
Ship gnatprove with package
Alire installation and checkup / build (ubuntu-20.04) (push) Failing after 43s
|
2026-06-11 15:49:55 +02:00 |
|
|
Nina Chlóe Kassandra Reiß
|
dfacf86537
|
Print gnatprove report in CI
Alire installation and checkup / build (ubuntu-20.04) (push) Failing after 44s
|
2026-06-11 15:45:30 +02:00 |
|
|
Nina Chlóe Kassandra Reiß
|
2dcab4f1ea
|
Serve alire to CI on x86_64 systems
Alire installation and checkup / build (ubuntu-20.04) (push) Failing after 47s
|
2026-06-11 15:38:27 +02:00 |
|
|
Nina Chlóe Kassandra Reiß
|
bb939c2393
|
Add Conversion from DDM to DD
Alire installation and checkup / build (ubuntu-20.04) (push) Failing after 10m30s
|
2026-06-11 15:26:59 +02:00 |
|
|
Nina Chlóe Kassandra Reiß
|
970aaad697
|
Verify in CI using gnatprove
|
2026-06-11 15:23:11 +02:00 |
|
|
Nina Chlóe Kassandra Reiß
|
9d98de374f
|
Implement type system
Alire installation and checkup / build (ubuntu-20.04) (push) Successful in 45s
|
2026-06-10 23:45:15 +02:00 |
|
|
Nina Chlóe Kassandra Reiß
|
56799f0c23
|
Add verification workflow
Alire installation and checkup / build (ubuntu-20.04) (push) Successful in 1m32s
|
2026-06-10 11:21:48 +02:00 |
|
|
Nina Chlóe Kassandra Reiß
|
a023009d64
|
Add gitignore
|
2026-06-10 11:16:31 +02:00 |
|
|
Nina Chlóe Kassandra Reiß
|
c29aedbdd8
|
init
|
2026-06-10 10:46:39 +02:00 |
|