Skip to content

Actions: cryspen/hax

Actions

Test installations

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test_installs.yml
2,896 workflow runs
2,896 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1212 from hacspec/fix-mlkem-ci-fstar Test installations #3339: Commit b2f930b pushed by github-merge-queue bot
January 6, 2025 10:28 4s main
main
January 6, 2025 10:28 4s
Test installations Test installations #3338: Merge group checks requested
January 6, 2025 10:09 18m 4s
January 6, 2025 10:09 18m 4s
fix(CI) Update F* version to fix mlkem CI job Test installations #3337: Pull request #1212 synchronize by maximebuyse
January 6, 2025 09:55 5s fix-mlkem-ci-fstar
fix-mlkem-ci-fstar
January 6, 2025 09:55 5s
Fix generics handling for function calls Test installations #3336: Pull request #1215 opened by Nadrieril
December 31, 2024 13:53 4s Nadrieril:fix-call-generics
Nadrieril:fix-call-generics
December 31, 2024 13:53 4s
fix(CI) Update F* version to fix mlkem CI job Test installations #3335: Pull request #1212 opened by maximebuyse
December 24, 2024 15:32 4s fix-mlkem-ci-fstar
fix-mlkem-ci-fstar
December 24, 2024 15:32 4s
Merge pull request #1208 from hacspec/ascribe-match-scrutinees Test installations #3334: Commit f47b2ae pushed by github-merge-queue bot
December 24, 2024 13:42 4s main
main
December 24, 2024 13:42 4s
Test installations Test installations #3333: Merge group checks requested
December 24, 2024 13:24 17m 27s
December 24, 2024 13:24 17m 27s
Merge pull request #1205 from hacspec/bundle-naming-fixes Test installations #3332: Commit 08057f7 pushed by github-merge-queue bot
December 24, 2024 12:10 5s main
main
December 24, 2024 12:10 5s
Test installations Test installations #3331: Merge group checks requested
December 24, 2024 11:46 16m 52s
December 24, 2024 11:46 16m 52s
Merge pull request #1210 from hacspec/filter-fst-comments-interface-only Test installations #3330: Commit 1e7bbd1 pushed by github-merge-queue bot
December 24, 2024 11:44 4s main
main
December 24, 2024 11:44 4s
Test installations Test installations #3329: Merge group checks requested
December 24, 2024 11:26 17m 55s
December 24, 2024 11:26 17m 55s
Bundle naming fixes Test installations #3328: Pull request #1205 synchronize by maximebuyse
December 24, 2024 11:25 4s bundle-naming-fixes
bundle-naming-fixes
December 24, 2024 11:25 4s
fix(backend) Filter Impl after adding comments. Test installations #3327: Pull request #1210 synchronize by maximebuyse
December 24, 2024 11:12 4s filter-fst-comments-interface-only
filter-fst-comments-interface-only
December 24, 2024 11:12 4s
fix(backend) Filter Impl after adding comments. Test installations #3326: Pull request #1210 synchronize by maximebuyse
December 24, 2024 10:51 5s filter-fst-comments-interface-only
filter-fst-comments-interface-only
December 24, 2024 10:51 5s
Merge pull request #1209 from hacspec/descendant-attributes-dependencies Test installations #3325: Commit 8666252 pushed by github-merge-queue bot
December 24, 2024 10:46 5s main
main
December 24, 2024 10:46 5s
Test installations Test installations #3324: Merge group checks requested
December 24, 2024 10:28 17m 55s
December 24, 2024 10:28 17m 55s
Merge pull request #1201 from hacspec/franziskuskiefer-patch-1 Test installations #3323: Commit e40b7d4 pushed by github-merge-queue bot
December 24, 2024 09:36 4s main
main
December 24, 2024 09:36 4s
Test installations Test installations #3322: Merge group checks requested
December 24, 2024 09:18 17m 42s
December 24, 2024 09:18 17m 42s
Bundle naming fixes Test installations #3321: Pull request #1205 synchronize by maximebuyse
December 23, 2024 15:37 4s bundle-naming-fixes
bundle-naming-fixes
December 23, 2024 15:37 4s
fix(backend) Filter Impl after adding comments. Test installations #3320: Pull request #1210 opened by maximebuyse
December 23, 2024 15:10 5s filter-fst-comments-interface-only
filter-fst-comments-interface-only
December 23, 2024 15:10 5s
fix(engine) Check attributes of descendants to build dependency graph. Test installations #3319: Pull request #1209 opened by maximebuyse
December 23, 2024 14:19 5s descendant-attributes-dependencies
descendant-attributes-dependencies
December 23, 2024 14:19 5s
fix(engine) Add ascription to match scrutinees. Test installations #3318: Pull request #1208 opened by maximebuyse
December 23, 2024 11:47 5s ascribe-match-scrutinees
ascribe-match-scrutinees
December 23, 2024 11:47 5s
fix(engine) Make sub-parts of Quote visited by visitors Test installations #3317: Pull request #1206 opened by maximebuyse
December 19, 2024 16:20 5s fix-visitors-quote
fix-visitors-quote
December 19, 2024 16:20 5s
Bundle naming fixes Test installations #3316: Pull request #1205 opened by maximebuyse
December 19, 2024 13:30 5s bundle-naming-fixes
bundle-naming-fixes
December 19, 2024 13:30 5s
Update stale.yml Test installations #3315: Pull request #1201 opened by franziskuskiefer
December 19, 2024 08:12 5s franziskuskiefer-patch-1
franziskuskiefer-patch-1
December 19, 2024 08:12 5s