Skip to content

Actions: cryspen/hax

Actions

Install & test

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Install & test Install & test #3755: Merge group checks requested
January 30, 2025 10:14 11m 53s
January 30, 2025 10:14 11m 53s
Engine: rework global name representation Install & test #3754: Pull request #1199 synchronize by maximebuyse
January 30, 2025 10:14 16m 27s rework-name-repr
rework-name-repr
January 30, 2025 10:14 16m 27s
fix(mkdocs): use codemirror instead of ace, re-setup on page reload Install & test #3753: Pull request #1277 synchronize by W95Psp
January 30, 2025 09:51 11m 45s fix-docs-playground
fix-docs-playground
January 30, 2025 09:51 11m 45s
fix(mkdocs): use codemirror instead of ace, re-setup on page reload Install & test #3752: Pull request #1277 opened by W95Psp
January 30, 2025 09:49 9m 50s fix-docs-playground
fix-docs-playground
January 30, 2025 09:49 9m 50s
Install & test Install & test #3751: Merge group checks requested
January 30, 2025 09:08 14m 18s
January 30, 2025 09:08 14m 18s
Various F* core lib additions. Install & test #3750: Pull request #1273 synchronize by maximebuyse
January 29, 2025 16:58 17m 57s various-core-additions
various-core-additions
January 29, 2025 16:58 17m 57s
Merge pull request #1275 from cryspen/franziskus/code-owners Install & test #3749: Commit 02d6777 pushed by github-merge-queue bot
January 29, 2025 16:56 19m 6s main
main
January 29, 2025 16:56 19m 6s
Install & test Install & test #3748: Merge group checks requested
January 29, 2025 16:19 15m 31s
January 29, 2025 16:19 15m 31s
Create CODEOWNERS Install & test #3747: Pull request #1275 opened by franziskuskiefer
January 29, 2025 07:14 10m 8s franziskus/code-owners
franziskus/code-owners
January 29, 2025 07:14 10m 8s
Various F* core lib additions. Install & test #3746: Pull request #1273 opened by maximebuyse
January 28, 2025 13:31 10m 10s various-core-additions
various-core-additions
January 28, 2025 13:31 10m 10s
Merge pull request #1075 from cryspen/fix-1068 Install & test #3745: Commit 3b887bb pushed by github-merge-queue bot
January 27, 2025 09:48 12m 43s main
main
January 27, 2025 09:48 12m 43s
Install & test Install & test #3744: Merge group checks requested
January 27, 2025 09:09 18m 50s
January 27, 2025 09:09 18m 50s
Move trait methods in cyclic dependencies bundling. Install & test #3743: Pull request #1075 synchronize by maximebuyse
January 27, 2025 08:27 17m 52s fix-1068
fix-1068
January 27, 2025 08:27 17m 52s
Merge pull request #1238 from cryspen/transparent-integers Install & test #3742: Commit f7d01be pushed by karthikbhargavan
January 24, 2025 17:35 12m 16s main
main
January 24, 2025 17:35 12m 16s
Install & test Install & test #3741: Merge group checks requested
January 24, 2025 17:00 12m 13s
January 24, 2025 17:00 12m 13s
Install & test Install & test #3740: Merge group checks requested
January 24, 2025 09:35 17m 53s
January 24, 2025 09:35 17m 53s
Install & test Install & test #3739: Merge group checks requested
January 23, 2025 15:58 7m 32s
January 23, 2025 15:58 7m 32s
Install & test Install & test #3738: Merge group checks requested
January 23, 2025 15:32 15m 10s
January 23, 2025 15:32 15m 10s
Install & test Install & test #3737: Merge group checks requested
January 23, 2025 15:23 16m 28s
January 23, 2025 15:23 16m 28s
Fix #699: add ocaml versions Install & test #3736: Pull request #903 synchronize by W95Psp
January 23, 2025 15:03 15m 53s fix-699
fix-699
January 23, 2025 15:03 15m 53s
Fix #699: add ocaml versions Install & test #3735: Pull request #903 synchronize by W95Psp
January 23, 2025 15:01 16m 42s fix-699
fix-699
January 23, 2025 15:01 16m 42s
Install & test Install & test #3734: Merge group checks requested
January 23, 2025 14:54 17m 54s
January 23, 2025 14:54 17m 54s
Library extensions Install & test #3733: Pull request #1235 synchronize by karthikbhargavan
January 23, 2025 14:34 10m 24s pq11-fstar-libs
pq11-fstar-libs
January 23, 2025 14:34 10m 24s
Transparent integers Install & test #3732: Pull request #1238 synchronize by W95Psp
January 23, 2025 14:25 28m 52s transparent-integers
transparent-integers
January 23, 2025 14:25 28m 52s
Library extensions Install & test #3731: Pull request #1235 synchronize by karthikbhargavan
January 23, 2025 14:23 17m 6s pq11-fstar-libs
pq11-fstar-libs
January 23, 2025 14:23 17m 6s