Skip to content

Actions: cryspen/hax

Actions

Extract Bertie

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bertie.yml
319 workflow runs
319 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Transparent integers Extract Bertie #319: Pull request #1238 synchronize by karthikbhargavan
January 17, 2025 16:40 4s transparent-integers
transparent-integers
January 17, 2025 16:40 4s
Transparent integers Extract Bertie #318: Pull request #1238 opened by karthikbhargavan
January 17, 2025 16:32 3s transparent-integers
transparent-integers
January 17, 2025 16:32 3s
Add more info to ImplExprAtom::Builtin Extract Bertie #317: Pull request #1236 synchronize by Nadrieril
January 17, 2025 15:01 3s Nadrieril:improve-implexpr-builtin
Nadrieril:improve-implexpr-builtin
January 17, 2025 15:01 3s
Fix order of Call trait clauses Extract Bertie #316: Pull request #1237 opened by Nadrieril
January 17, 2025 14:51 3s Nadrieril:fix-clause-order
Nadrieril:fix-clause-order
January 17, 2025 14:51 3s
Add more info to ImplExprAtom::Builtin Extract Bertie #315: Pull request #1236 opened by Nadrieril
January 16, 2025 16:13 4s Nadrieril:improve-implexpr-builtin
Nadrieril:improve-implexpr-builtin
January 16, 2025 16:13 4s
Library extensions Extract Bertie #314: Pull request #1235 opened by karthikbhargavan
January 16, 2025 15:02 3s pq11-fstar-libs
pq11-fstar-libs
January 16, 2025 15:02 3s
fix(engine) Fix crash with hax_lib::fstar::before in recursive bundles Extract Bertie #313: 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 Extract Bertie #312: Commit 54a4159 pushed by github-merge-queue bot
January 16, 2025 13:49 4s main
main
January 16, 2025 13:49 4s
Extract Bertie Extract Bertie #311: Merge group checks requested
January 16, 2025 13:10 7m 54s
January 16, 2025 13:10 7m 54s
Engine: rework global name representation Extract Bertie #310: Pull request #1199 synchronize by W95Psp
January 15, 2025 19:47 3s rework-name-repr
rework-name-repr
January 15, 2025 19:47 3s
Engine: rework global name representation Extract Bertie #309: Pull request #1199 synchronize by W95Psp
January 15, 2025 19:46 4s rework-name-repr
rework-name-repr
January 15, 2025 19:46 4s
Engine: rework global name representation Extract Bertie #308: Pull request #1199 synchronize by W95Psp
January 15, 2025 19:34 3s rework-name-repr
rework-name-repr
January 15, 2025 19:34 3s
Engine: rework global name representation Extract Bertie #307: Pull request #1199 synchronize by W95Psp
January 15, 2025 18:58 3s rework-name-repr
rework-name-repr
January 15, 2025 18:58 3s
Make predicate handling a bit more consistent Extract Bertie #306: 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 Extract Bertie #305: Commit fa1b025 pushed by github-merge-queue bot
January 14, 2025 16:44 3s main
main
January 14, 2025 16:44 3s
Merge pull request #1229 from cryspen/fix-1139 Extract Bertie #304: Commit 4148adc pushed by github-merge-queue bot
January 14, 2025 16:01 4s main
main
January 14, 2025 16:01 4s
Extract Bertie Extract Bertie #303: Merge group checks requested
January 14, 2025 15:51 22m 46s
January 14, 2025 15:51 22m 46s
Engine: rework global name representation Extract Bertie #302: Pull request #1199 synchronize by W95Psp
January 14, 2025 15:51 3s rework-name-repr
rework-name-repr
January 14, 2025 15:51 3s
fix(engine) Avoid wrong type with loop at the end of a function. Extract Bertie #301: Pull request #1232 opened by maximebuyse
January 14, 2025 15:40 3s fix-1231
fix-1231
January 14, 2025 15:40 3s
fix(engine) Attempt to fix double return bug. Extract Bertie #300: Pull request #1223 synchronize by maximebuyse
January 14, 2025 15:29 3s fix-double-return
fix-double-return
January 14, 2025 15:29 3s
fix(engine/deps): preserve definitions order whenever possible Extract Bertie #299: Pull request #1151 synchronize by W95Psp
January 14, 2025 15:18 3s fix-item-order-711-transitive-closure
fix-item-order-711-transitive-closure
January 14, 2025 15:18 3s
Extract Bertie Extract Bertie #298: Merge group checks requested
January 14, 2025 15:17 10m 36s
January 14, 2025 15:17 10m 36s
Extract Bertie Extract Bertie #297: Merge group checks requested
January 14, 2025 15:12 8m 49s
January 14, 2025 15:12 8m 49s
fix(engine/deps): preserve definitions order whenever possible Extract Bertie #296: 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. Extract Bertie #295: Pull request #1229 synchronize by maximebuyse
January 14, 2025 14:51 3s fix-1139
fix-1139
January 14, 2025 14:51 3s