Skip to content

Actions: cryspen/hax

Actions

Test installations

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Transparent integers Test installations #3403: Pull request #1238 synchronize by karthikbhargavan
January 17, 2025 16:40 4s transparent-integers
transparent-integers
January 17, 2025 16:40 4s
Transparent integers Test installations #3402: Pull request #1238 opened by karthikbhargavan
January 17, 2025 16:32 4s transparent-integers
transparent-integers
January 17, 2025 16:32 4s
Add more info to ImplExprAtom::Builtin Test installations #3401: Pull request #1236 synchronize by Nadrieril
January 17, 2025 15:01 4s Nadrieril:improve-implexpr-builtin
Nadrieril:improve-implexpr-builtin
January 17, 2025 15:01 4s
Fix order of Call trait clauses Test installations #3400: Pull request #1237 opened by Nadrieril
January 17, 2025 14:51 4s Nadrieril:fix-clause-order
Nadrieril:fix-clause-order
January 17, 2025 14:51 4s
Add more info to ImplExprAtom::Builtin Test installations #3399: Pull request #1236 opened by Nadrieril
January 16, 2025 16:13 5s Nadrieril:improve-implexpr-builtin
Nadrieril:improve-implexpr-builtin
January 16, 2025 16:13 5s
Library extensions Test installations #3398: Pull request #1235 opened by karthikbhargavan
January 16, 2025 15:02 4s pq11-fstar-libs
pq11-fstar-libs
January 16, 2025 15:02 4s
fix(engine) Fix crash with hax_lib::fstar::before in recursive bundles Test installations #3397: Pull request #1179 synchronize by franziskuskiefer
January 16, 2025 14:19 4s fix-1177
fix-1177
January 16, 2025 14:19 4s
Merge pull request #1222 from Nadrieril/fix-more-generics Test installations #3396: Commit 54a4159 pushed by github-merge-queue bot
January 16, 2025 13:49 5s main
main
January 16, 2025 13:49 5s
Test installations Test installations #3395: Merge group checks requested
January 16, 2025 13:10 18m 34s
January 16, 2025 13:10 18m 34s
Engine: rework global name representation Test installations #3394: Pull request #1199 synchronize by W95Psp
January 15, 2025 19:47 4s rework-name-repr
rework-name-repr
January 15, 2025 19:47 4s
Engine: rework global name representation Test installations #3393: Pull request #1199 synchronize by W95Psp
January 15, 2025 19:46 5s rework-name-repr
rework-name-repr
January 15, 2025 19:46 5s
Engine: rework global name representation Test installations #3392: Pull request #1199 synchronize by W95Psp
January 15, 2025 19:34 4s rework-name-repr
rework-name-repr
January 15, 2025 19:34 4s
Engine: rework global name representation Test installations #3391: Pull request #1199 synchronize by W95Psp
January 15, 2025 18:58 5s rework-name-repr
rework-name-repr
January 15, 2025 18:58 5s
Make predicate handling a bit more consistent Test installations #3390: Pull request #1222 synchronize by Nadrieril
January 15, 2025 15:30 4s Nadrieril:fix-more-generics
Nadrieril:fix-more-generics
January 15, 2025 15:30 4s
Merge pull request #1223 from cryspen/fix-double-return Test installations #3389: Commit fa1b025 pushed by github-merge-queue bot
January 14, 2025 16:44 5s main
main
January 14, 2025 16:44 5s
Merge pull request #1229 from cryspen/fix-1139 Test installations #3388: Commit 4148adc pushed by github-merge-queue bot
January 14, 2025 16:01 3s main
main
January 14, 2025 16:01 3s
Test installations Test installations #3387: Merge group checks requested
January 14, 2025 15:51 24m 37s
January 14, 2025 15:51 24m 37s
Engine: rework global name representation Test installations #3386: Pull request #1199 synchronize by W95Psp
January 14, 2025 15:51 4s rework-name-repr
rework-name-repr
January 14, 2025 15:51 4s
fix(engine) Avoid wrong type with loop at the end of a function. Test installations #3385: Pull request #1232 opened by maximebuyse
January 14, 2025 15:40 4s fix-1231
fix-1231
January 14, 2025 15:40 4s
fix(engine) Attempt to fix double return bug. Test installations #3384: Pull request #1223 synchronize by maximebuyse
January 14, 2025 15:29 5s fix-double-return
fix-double-return
January 14, 2025 15:29 5s
fix(engine/deps): preserve definitions order whenever possible Test installations #3383: Pull request #1151 synchronize by W95Psp
January 14, 2025 15:18 4s fix-item-order-711-transitive-closure
fix-item-order-711-transitive-closure
January 14, 2025 15:18 4s
Test installations Test installations #3382: Merge group checks requested
January 14, 2025 15:17 23m 21s
January 14, 2025 15:17 23m 21s
Test installations Test installations #3381: Merge group checks requested
January 14, 2025 15:12 25m 29s
January 14, 2025 15:12 25m 29s
fix(engine/deps): preserve definitions order whenever possible Test installations #3380: Pull request #1151 synchronize by W95Psp
January 14, 2025 15:06 4s fix-item-order-711-transitive-closure
fix-item-order-711-transitive-closure
January 14, 2025 15:06 4s
fix(engine) Add type arguments for associated constants. Test installations #3379: Pull request #1229 synchronize by maximebuyse
January 14, 2025 14:51 4s fix-1139
fix-1139
January 14, 2025 14:51 4s