Skip to content

Actions: cryspen/hax

Actions

Ensure formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format.yml
2,835 workflow runs
2,835 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Various F* core lib additions. Ensure formatting #3835: Pull request #1273 opened by maximebuyse
January 28, 2025 13:31 1m 8s various-core-additions
various-core-additions
January 28, 2025 13:31 1m 8s
Merge pull request #1075 from cryspen/fix-1068 Ensure formatting #3834: Commit 3b887bb pushed by github-merge-queue bot
January 27, 2025 09:48 1m 9s main
main
January 27, 2025 09:48 1m 9s
Ensure formatting Ensure formatting #3833: Merge group checks requested
January 27, 2025 09:09 1m 6s
January 27, 2025 09:09 1m 6s
Move trait methods in cyclic dependencies bundling. Ensure formatting #3832: Pull request #1075 synchronize by maximebuyse
January 27, 2025 08:27 1m 8s fix-1068
fix-1068
January 27, 2025 08:27 1m 8s
Merge pull request #1238 from cryspen/transparent-integers Ensure formatting #3831: Commit f7d01be pushed by karthikbhargavan
January 24, 2025 17:35 1m 12s main
main
January 24, 2025 17:35 1m 12s
Ensure formatting Ensure formatting #3830: Merge group checks requested
January 24, 2025 17:00 1m 14s
January 24, 2025 17:00 1m 14s
Ensure formatting Ensure formatting #3829: Merge group checks requested
January 24, 2025 09:35 1m 9s
January 24, 2025 09:35 1m 9s
Ensure formatting Ensure formatting #3828: Merge group checks requested
January 23, 2025 15:58 1m 7s
January 23, 2025 15:58 1m 7s
Ensure formatting Ensure formatting #3827: Merge group checks requested
January 23, 2025 15:32 1m 14s
January 23, 2025 15:32 1m 14s
Ensure formatting Ensure formatting #3826: Merge group checks requested
January 23, 2025 15:23 1m 6s
January 23, 2025 15:23 1m 6s
Fix #699: add ocaml versions Ensure formatting #3825: Pull request #903 synchronize by W95Psp
January 23, 2025 15:03 6m 42s fix-699
fix-699
January 23, 2025 15:03 6m 42s
Fix #699: add ocaml versions Ensure formatting #3824: Pull request #903 synchronize by W95Psp
January 23, 2025 15:01 6m 44s fix-699
fix-699
January 23, 2025 15:01 6m 44s
Ensure formatting Ensure formatting #3823: Merge group checks requested
January 23, 2025 14:54 1m 6s
January 23, 2025 14:54 1m 6s
Library extensions Ensure formatting #3822: Pull request #1235 synchronize by karthikbhargavan
January 23, 2025 14:34 1m 34s pq11-fstar-libs
pq11-fstar-libs
January 23, 2025 14:34 1m 34s
Transparent integers Ensure formatting #3821: Pull request #1238 synchronize by W95Psp
January 23, 2025 14:25 9m 45s transparent-integers
transparent-integers
January 23, 2025 14:25 9m 45s
Library extensions Ensure formatting #3820: Pull request #1235 synchronize by karthikbhargavan
January 23, 2025 14:23 9m 32s pq11-fstar-libs
pq11-fstar-libs
January 23, 2025 14:23 9m 32s
Library extensions Ensure formatting #3819: Pull request #1235 synchronize by karthikbhargavan
January 23, 2025 14:17 6m 45s pq11-fstar-libs
pq11-fstar-libs
January 23, 2025 14:17 6m 45s
Merge pull request #1247 from cryspen/fix-item-order-ocamlgraph-indices Ensure formatting #3818: Commit 06e642f pushed by github-merge-queue bot
January 23, 2025 14:13 1m 4s main
main
January 23, 2025 14:13 1m 4s
Ensure formatting Ensure formatting #3817: Merge group checks requested
January 23, 2025 13:48 1m 5s
January 23, 2025 13:48 1m 5s
Move trait methods in cyclic dependencies bundling. Ensure formatting #3816: Pull request #1075 synchronize by maximebuyse
January 23, 2025 13:46 1m 5s fix-1068
fix-1068
January 23, 2025 13:46 1m 5s
Stable topological sort using original order. Ensure formatting #3815: Pull request #1247 synchronize by maximebuyse
January 23, 2025 13:28 1m 4s fix-item-order-ocamlgraph-indices
fix-item-order-ocamlgraph-indices
January 23, 2025 13:28 1m 4s
Fix #699: add ocaml versions Ensure formatting #3814: Pull request #903 synchronize by W95Psp
January 23, 2025 13:28 1m 6s fix-699
fix-699
January 23, 2025 13:28 1m 6s
Fix dependencies bounded integers Ensure formatting #3813: Pull request #808 synchronize by W95Psp
January 23, 2025 13:24 1m 10s fix-dependencies-bounded-integers
fix-dependencies-bounded-integers
January 23, 2025 13:24 1m 10s
feat(lib) New sandwich core changes Ensure formatting #3812: Pull request #1192 synchronize by franziskuskiefer
January 23, 2025 12:48 1m 6s new-sandwich-core-changes
new-sandwich-core-changes
January 23, 2025 12:48 1m 6s
Transparent integers Ensure formatting #3811: Pull request #1238 synchronize by W95Psp
January 23, 2025 12:11 2m 13s transparent-integers
transparent-integers
January 23, 2025 12:11 2m 13s