Skip to content

Actions: vorpal-research/kex-intrinsics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

0.1.2
Java CD #12: Release 0.1.2 published by AbdullinAM
May 2, 2024 14:00 52s
May 2, 2024 14:00 52s
optimized assume intrinsics
Java CI #33: Commit 0808673 pushed by AbdullinAM
May 2, 2024 14:00 36s 0.1.2
May 2, 2024 14:00 36s
optimized assume intrinsics
Java CI #32: Commit 0808673 pushed by AbdullinAM
May 2, 2024 14:00 38s main
May 2, 2024 14:00 38s
optimized assume intrinsics
Java CI #31: Commit 84ae761 pushed by AbdullinAM
May 2, 2024 12:18 41s 0.1.1
May 2, 2024 12:18 41s
0.1.1
Java CD #11: Release 0.1.1 published by AbdullinAM
May 2, 2024 12:18 55s
May 2, 2024 12:18 55s
optimized assume intrinsics
Java CI #30: Commit 84ae761 pushed by AbdullinAM
May 2, 2024 12:15 43s main
May 2, 2024 12:15 43s