Skip to content

Actions: arekinath/pivy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
90 workflow runs
90 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cbmc: simplify string models a bit, get rid of loops build-deb-ubuntu #88: Commit 099689a pushed by arekinath
April 11, 2024 00:05 3m 30s main
main
April 11, 2024 00:05 3m 30s
cbmc: simplify string models a bit, get rid of loops build-macos #88: Commit 099689a pushed by arekinath
April 11, 2024 00:05 5m 36s main
main
April 11, 2024 00:05 5m 36s
pivy-ca: include SPKI extension on subordinate CAs build-deb-ubuntu #87: Commit 1c50961 pushed by arekinath
March 25, 2024 00:07 9m 24s main
main
March 25, 2024 00:07 9m 24s
pivy-ca: include SPKI extension on subordinate CAs build-macos #87: Commit 1c50961 pushed by arekinath
March 25, 2024 00:07 6m 19s main
main
March 25, 2024 00:07 6m 19s
pivy-tool: silence cardcap warning on uninitd yubikeys build-deb-ubuntu #86: Commit 2d20b9e pushed by arekinath
March 24, 2024 23:40 5m 41s main
main
March 24, 2024 23:40 5m 41s
pivy-tool: silence cardcap warning on uninitd yubikeys build-macos #86: Commit 2d20b9e pushed by arekinath
March 24, 2024 23:40 10m 48s main
main
March 24, 2024 23:40 10m 48s
piv: move chuid functions out, add basic cbmc model build-deb-ubuntu #85: Commit 6e5120d pushed by arekinath
March 19, 2024 08:26 5m 50s main
main
March 19, 2024 08:26 5m 50s
piv: move chuid functions out, add basic cbmc model build-macos #85: Commit 6e5120d pushed by arekinath
March 19, 2024 08:26 5m 44s main
main
March 19, 2024 08:26 5m 44s
certs: include MS bitlocker EKUs as well as EFS in key-mgmt template … build-deb-ubuntu #84: Commit 9e5b8b5 pushed by arekinath
March 13, 2024 05:28 4m 9s main
main
March 13, 2024 05:28 4m 9s
certs: include MS bitlocker EKUs as well as EFS in key-mgmt template … build-macos #84: Commit 9e5b8b5 pushed by arekinath
March 13, 2024 05:28 6m 19s main
main
March 13, 2024 05:28 6m 19s
helps to add new files to the makefile build-deb-ubuntu #83: Commit 6e2fcd2 pushed by arekinath
February 27, 2024 12:44 5m 10s main
main
February 27, 2024 12:44 5m 10s
helps to add new files to the makefile build-macos #83: Commit 6e2fcd2 pushed by arekinath
February 27, 2024 12:44 5m 44s main
main
February 27, 2024 12:44 5m 44s
piv: move cardcap functions out, add basic cbmc model build-deb-ubuntu #82: Commit 3d3dcfe pushed by arekinath
February 27, 2024 12:35 3m 2s main
main
February 27, 2024 12:35 3m 2s
piv: move cardcap functions out, add basic cbmc model build-macos #82: Commit 3d3dcfe pushed by arekinath
February 27, 2024 12:35 5m 50s main
main
February 27, 2024 12:35 5m 50s
illumos: silence warning from nvlist char * types build-deb-ubuntu #81: Commit b035c6f pushed by arekinath
February 12, 2024 05:47 4m 23s main
main
February 12, 2024 05:47 4m 23s
illumos: silence warning from nvlist char * types build-macos #81: Commit b035c6f pushed by arekinath
February 12, 2024 05:47 6m 23s main
main
February 12, 2024 05:47 6m 23s
silence bogus unused warnings on older gcc build-deb-ubuntu #80: Commit c576303 pushed by arekinath
February 12, 2024 03:30 5m 24s main
main
February 12, 2024 03:30 5m 24s
silence bogus unused warnings on older gcc build-macos #80: Commit c576303 pushed by arekinath
February 12, 2024 03:30 6m 58s main
main
February 12, 2024 03:30 6m 58s
define __CPROVER macros even on __sun build-deb-ubuntu #79: Commit d040647 pushed by arekinath
February 12, 2024 02:49 5m 48s main
main
February 12, 2024 02:49 5m 48s
define __CPROVER macros even on __sun build-macos #79: Commit d040647 pushed by arekinath
February 12, 2024 02:49 5m 57s main
main
February 12, 2024 02:49 5m 57s
fall back to the checked-in copy of ragel .c files if ragel is not av… build-macos #78: Commit 512ec6a pushed by arekinath
February 11, 2024 23:20 10m 2s main
main
February 11, 2024 23:20 10m 2s
fall back to the checked-in copy of ragel .c files if ragel is not av… build-deb-ubuntu #78: Commit 512ec6a pushed by arekinath
February 11, 2024 23:20 6m 54s main
main
February 11, 2024 23:20 6m 54s
errf: fix unsafe signed/unsigned overflow maths on stupendously long … build-deb-ubuntu #77: Commit 21b6fc5 pushed by arekinath
February 10, 2024 06:29 4m 3s main
main
February 10, 2024 06:29 4m 3s
errf: fix unsafe signed/unsigned overflow maths on stupendously long … build-macos #77: Commit 21b6fc5 pushed by arekinath
February 10, 2024 06:29 6m 31s main
main
February 10, 2024 06:29 6m 31s
cbmc: add basic CBMC proofs about tlv.c code build-deb-ubuntu #76: Commit 2624b20 pushed by arekinath
January 31, 2024 05:49 4m 38s main
main
January 31, 2024 05:49 4m 38s