Skip to content

Actions: damaki/libsap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Limit --profiles to libsap and the example crate .github/workflows/main.yaml #28: Commit d8c9fb5 pushed by damaki
4m 56s main
main
4m 56s
Use atomic crate for atomic operations .github/workflows/main.yaml #27: Pull request #10 synchronize by damaki
5m 35s topic/use-atomic-crate
topic/use-atomic-crate
5m 35s
Use atomic crate for atomic operations .github/workflows/main.yaml #26: Pull request #10 opened by damaki
2m 56s topic/use-atomic-crate
topic/use-atomic-crate
2m 56s
Add Initializes aspect for package Pointer_Holders .github/workflows/main.yaml #25: Commit 5b97308 pushed by damaki
2m 36s main
main
2m 36s
Add Initializes aspect for package Pointer_Holders .github/workflows/main.yaml #24: Pull request #9 opened by damaki
5m 6s topic/pointer-holders-initialization
topic/pointer-holders-initialization
5m 6s
Add support for JUnit unit test report output .github/workflows/main.yaml #23: Commit 9250a3d pushed by damaki
2m 33s main
main
2m 33s
Setup initial unit tests .github/workflows/main.yaml #22: Pull request #8 synchronize by damaki
3m 10s topic/setup-unit-tests
topic/setup-unit-tests
3m 10s
Setup initial unit tests .github/workflows/main.yaml #21: Pull request #8 synchronize by damaki
2m 35s topic/setup-unit-tests
topic/setup-unit-tests
2m 35s
Setup initial unit tests .github/workflows/main.yaml #20: Pull request #8 synchronize by damaki
2m 33s topic/setup-unit-tests
topic/setup-unit-tests
2m 33s
Setup initial unit tests .github/workflows/main.yaml #19: Pull request #8 opened by damaki
2m 20s topic/setup-unit-tests
topic/setup-unit-tests
2m 20s
Remove pragmas Profile and Partition_Elaboration_Policy .github/workflows/main.yaml #18: Commit 7688959 pushed by damaki
2m 25s main
main
2m 25s
Remove pragmas Profile and Partition_Elaboration_Policy .github/workflows/main.yaml #17: Pull request #7 opened by damaki
2m 19s topic/remove-restrictions
topic/remove-restrictions
2m 19s
Enable build checks with multiple GNAT versions .github/workflows/main.yaml #16: Commit 46cdc17 pushed by damaki
4m 2s main
main
4m 2s
Set minimum GNAT version .github/workflows/main.yaml #15: Pull request #6 synchronize by damaki
4m 35s topic/min-gnat-version
topic/min-gnat-version
4m 35s
Set minimum GNAT version .github/workflows/main.yaml #14: Pull request #6 opened by damaki
2m 18s topic/min-gnat-version
topic/min-gnat-version
2m 18s
Check for null before calling Retrieve during request allocation .github/workflows/main.yaml #13: Commit 0a2ddc6 pushed by damaki
2m 22s main
main
2m 22s
Relax Try_Allocate_Request loop .github/workflows/main.yaml #12: Pull request #5 opened by damaki
2m 39s topic/relax-try-alloc-loop
topic/relax-try-alloc-loop
2m 39s
Avoid use of System.Atomic_Operations .github/workflows/main.yaml #11: Commit ff81579 pushed by damaki
2m 24s main
main
2m 24s
Avoid use of System.Atomic_Operations .github/workflows/main.yaml #10: Pull request #4 opened by damaki
1m 34s topic/use-atomic-intrinsic
topic/use-atomic-intrinsic
1m 34s
Split proof steps into separate jobs .github/workflows/main.yaml #9: Commit 9757fc9 pushed by damaki
2m 34s main
main
2m 34s
Split proof steps into separate jobs .github/workflows/main.yaml #8: Pull request #3 synchronize by damaki
2m 33s topic/split-ci-proofs
topic/split-ci-proofs
2m 33s
Split proof steps into separate jobs .github/workflows/main.yaml #7: Pull request #3 opened by damaki
2m 26s topic/split-ci-proofs
topic/split-ci-proofs
2m 26s
Add example to show use of Discard .github/workflows/main.yaml #6: Commit 8aafb5e pushed by damaki
6m 47s main
main
6m 47s
Add example to show use of Discard .github/workflows/main.yaml #5: Pull request #2 opened by damaki
6m 43s topic/discard-example
topic/discard-example
6m 43s
Setup GitHub CI .github/workflows/main.yaml #4: Commit 7b2ab71 pushed by damaki
7m 25s main
main
7m 25s