Skip to content

Actions: hacspec/hax

Actions

Install & test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
install_and_test.yml
2,740 workflow runs
2,740 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Document valid CFG for Hax Install & test #3101: Pull request #986 synchronize by cmester0
October 24, 2024 14:48 12m 4s hax-auto-syntax
hax-auto-syntax
October 24, 2024 14:48 12m 4s
feat: check licenses Install & test #3100: Pull request #1035 synchronize by W95Psp
October 24, 2024 14:47 20m 19s cargo-deny-and-same-for-ocaml
cargo-deny-and-same-for-ocaml
October 24, 2024 14:47 20m 19s
Machine int constructors and conversions Install & test #3099: Pull request #1037 synchronize by karthikbhargavan
October 24, 2024 14:45 21m 30s machine-int-constructors
machine-int-constructors
October 24, 2024 14:45 21m 30s
Merge pull request #1036 from Nadrieril/update-rustc Install & test #3098: Commit 22c2526 pushed by github-merge-queue bot
October 24, 2024 14:39 15m 41s main
main
October 24, 2024 14:39 15m 41s
Machine int constructors and conversions Install & test #3097: Pull request #1037 synchronize by karthikbhargavan
October 24, 2024 14:24 17m 32s machine-int-constructors
machine-int-constructors
October 24, 2024 14:24 17m 32s
Document valid CFG for Hax Install & test #3096: Pull request #986 synchronize by cmester0
October 24, 2024 14:18 9m 45s hax-auto-syntax
hax-auto-syntax
October 24, 2024 14:18 9m 45s
Install & test Install & test #3095: Merge group checks requested
October 24, 2024 14:18 20m 31s
October 24, 2024 14:18 20m 31s
PV backend example: Simple PSK based protocol Install & test #3094: Pull request #1023 synchronize by W95Psp
October 24, 2024 13:57 8m 22s jonas/pv-psk-example
jonas/pv-psk-example
October 24, 2024 13:57 8m 22s
Upgrade rustc Install & test #3093: Pull request #1036 synchronize by Nadrieril
October 24, 2024 13:56 21m 14s Nadrieril:update-rustc
Nadrieril:update-rustc
October 24, 2024 13:56 21m 14s
PV backend example: Simple PSK based protocol Install & test #3092: Pull request #1023 synchronize by jschneider-bensch
October 24, 2024 13:56 7m 41s jonas/pv-psk-example
jonas/pv-psk-example
October 24, 2024 13:56 7m 41s
Machine int constructors and conversions Install & test #3091: Pull request #1037 opened by karthikbhargavan
October 24, 2024 13:41 10m 34s machine-int-constructors
machine-int-constructors
October 24, 2024 13:41 10m 34s
feat: check licenses Install & test #3090: Pull request #1035 synchronize by W95Psp
October 24, 2024 13:39 21m 47s cargo-deny-and-same-for-ocaml
cargo-deny-and-same-for-ocaml
October 24, 2024 13:39 21m 47s
PV backend example: Simple PSK based protocol Install & test #3089: Pull request #1023 synchronize by W95Psp
October 24, 2024 13:37 7m 53s jonas/pv-psk-example
jonas/pv-psk-example
October 24, 2024 13:37 7m 53s
feat: check licenses Install & test #3088: Pull request #1035 synchronize by W95Psp
October 24, 2024 13:33 12m 46s cargo-deny-and-same-for-ocaml
cargo-deny-and-same-for-ocaml
October 24, 2024 13:33 12m 46s
Upgrade rustc Install & test #3087: Pull request #1036 opened by Nadrieril
October 24, 2024 13:31 23m 3s Nadrieril:update-rustc
Nadrieril:update-rustc
October 24, 2024 13:31 23m 3s
feat: check licenses Install & test #3086: Pull request #1035 synchronize by W95Psp
October 24, 2024 13:25 13m 19s cargo-deny-and-same-for-ocaml
cargo-deny-and-same-for-ocaml
October 24, 2024 13:25 13m 19s
PV backend example: Simple PSK based protocol Install & test #3085: Pull request #1023 synchronize by jschneider-bensch
October 24, 2024 13:16 10m 15s jonas/pv-psk-example
jonas/pv-psk-example
October 24, 2024 13:16 10m 15s
PV backend example: Simple PSK based protocol Install & test #3084: Pull request #1023 synchronize by jschneider-bensch
October 24, 2024 12:53 14m 46s jonas/pv-psk-example
jonas/pv-psk-example
October 24, 2024 12:53 14m 46s
PV backend example: Simple PSK based protocol Install & test #3083: Pull request #1023 synchronize by W95Psp
October 24, 2024 12:50 15m 0s jonas/pv-psk-example
jonas/pv-psk-example
October 24, 2024 12:50 15m 0s
feat: check licenses Install & test #3082: Pull request #1035 opened by W95Psp
October 24, 2024 09:51 17m 21s cargo-deny-and-same-for-ocaml
cargo-deny-and-same-for-ocaml
October 24, 2024 09:51 17m 21s
Merge pull request #1030 from hacspec/avoid-bundling-use-items Install & test #3081: Commit 00c7853 pushed by github-merge-queue bot
October 24, 2024 09:46 16m 54s main
main
October 24, 2024 09:46 16m 54s
PV backend example: Simple PSK based protocol Install & test #3080: Pull request #1023 synchronize by jschneider-bensch
October 24, 2024 09:41 17m 15s jonas/pv-psk-example
jonas/pv-psk-example
October 24, 2024 09:41 17m 15s
PV backend example: Simple PSK based protocol Install & test #3079: Pull request #1023 synchronize by jschneider-bensch
October 24, 2024 09:34 20m 1s jonas/pv-psk-example
jonas/pv-psk-example
October 24, 2024 09:34 20m 1s
Merge pull request #988 from hacspec/return-break-continue Install & test #3078: Commit f5550da pushed by github-merge-queue bot
October 24, 2024 09:24 16m 44s main
main
October 24, 2024 09:24 16m 44s
Install & test Install & test #3077: Merge group checks requested
October 24, 2024 09:23 22m 15s
October 24, 2024 09:23 22m 15s