Skip to content

Actions: hacspec/hax

Actions

Test Workspace

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
2,534 workflow runs
2,534 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(README): link playground Test Workspace #2677: Pull request #853 synchronize by W95Psp
August 14, 2024 10:56 8m 56s mention-playground
mention-playground
August 14, 2024 10:56 8m 56s
Test Workspace Test Workspace #2676: Merge group checks requested
August 14, 2024 10:55 4m 3s
August 14, 2024 10:55 4m 3s
feat(README): link playground Test Workspace #2675: Pull request #853 synchronize by W95Psp
August 14, 2024 10:54 2m 5s mention-playground
mention-playground
August 14, 2024 10:54 2m 5s
Add some more information to FullDef Test Workspace #2674: Pull request #848 synchronize by Nadrieril
August 14, 2024 09:17 4m 18s Nadrieril:improve-attrs
Nadrieril:improve-attrs
August 14, 2024 09:17 4m 18s
feat(README): link playground Test Workspace #2673: Pull request #853 opened by W95Psp
August 14, 2024 09:02 3m 13s mention-playground
mention-playground
August 14, 2024 09:02 3m 13s
Merge pull request #838 from Nadrieril/update-rustc Test Workspace #2672: Commit 208fbd6 pushed by github-merge-queue bot
August 14, 2024 08:55 6m 55s main
main
August 14, 2024 08:55 6m 55s
Test Workspace Test Workspace #2671: Merge group checks requested
August 14, 2024 08:36 7m 39s
August 14, 2024 08:36 7m 39s
fix(engine): expose type of local_ident.id Test Workspace #2670: Pull request #851 opened by paulmure
August 14, 2024 00:25 5m 26s paulmure:local-var-id
paulmure:local-var-id
August 14, 2024 00:25 5m 26s
Merge pull request #847 from hacspec/fix-844 Test Workspace #2669: Commit bea9074 pushed by github-merge-queue bot
August 13, 2024 16:03 2m 59s main
main
August 13, 2024 16:03 2m 59s
Test Workspace Test Workspace #2668: Merge group checks requested
August 13, 2024 15:42 7m 15s
August 13, 2024 15:42 7m 15s
Merge pull request #846 from hacspec/fix-fsti-fst-options Test Workspace #2667: Commit e8fbc1f pushed by github-merge-queue bot
August 13, 2024 15:40 4m 12s main
main
August 13, 2024 15:40 4m 12s
fix(cli): when we generate a file that exists and has the same content, skip writing Test Workspace #2666: Pull request #849 opened by W95Psp
August 13, 2024 15:35 4m 5s write-file-only-if-changed
write-file-only-if-changed
August 13, 2024 15:35 4m 5s
Add some more information to FullDef Test Workspace #2665: Pull request #848 opened by Nadrieril
August 13, 2024 15:34 4m 25s Nadrieril:improve-attrs
Nadrieril:improve-attrs
August 13, 2024 15:34 4m 25s
Test Workspace Test Workspace #2664: Merge group checks requested
August 13, 2024 15:15 4m 16s
August 13, 2024 15:15 4m 16s
Fix ensures for unit-returning functions with &mut inputs Test Workspace #2663: Pull request #847 synchronize by W95Psp
August 13, 2024 14:55 4m 10s fix-844
fix-844
August 13, 2024 14:55 4m 10s
F*: macros: make verification_status and options appear in impl not interfaces Test Workspace #2662: Pull request #846 synchronize by W95Psp
August 13, 2024 14:54 4m 25s fix-fsti-fst-options
fix-fsti-fst-options
August 13, 2024 14:54 4m 25s
Fix ensures for unit-returning functions with &mut inputs Test Workspace #2661: Pull request #847 synchronize by W95Psp
August 13, 2024 14:53 2m 9s fix-844
fix-844
August 13, 2024 14:53 2m 9s
Fix ensures for unit-returning functions with &mut inputs Test Workspace #2660: Pull request #847 synchronize by W95Psp
August 13, 2024 14:41 5m 14s fix-844
fix-844
August 13, 2024 14:41 5m 14s
Fix ensures for unit-returning functions with &mut inputs Test Workspace #2659: Pull request #847 opened by W95Psp
August 13, 2024 14:40 1m 27s fix-844
fix-844
August 13, 2024 14:40 1m 27s
F*: macros: make verification_status and options appear in impl not interfaces Test Workspace #2658: Pull request #846 synchronize by W95Psp
August 13, 2024 14:39 4m 7s fix-fsti-fst-options
fix-fsti-fst-options
August 13, 2024 14:39 4m 7s
F*: macros: make verification_status and options appear in impl not interfaces Test Workspace #2657: Pull request #846 synchronize by W95Psp
August 13, 2024 14:22 4m 57s fix-fsti-fst-options
fix-fsti-fst-options
August 13, 2024 14:22 4m 57s
F*: macros: make verification_status and options appear in impl not interfaces Test Workspace #2656: Pull request #846 synchronize by W95Psp
August 13, 2024 14:22 24s fix-fsti-fst-options
fix-fsti-fst-options
August 13, 2024 14:22 24s
F*: macros: make verification_status and options appear in impl not interfaces Test Workspace #2655: Pull request #846 opened by W95Psp
August 13, 2024 14:13 3m 29s fix-fsti-fst-options
fix-fsti-fst-options
August 13, 2024 14:13 3m 29s
Merge pull request #841 from hacspec/fix-839-fstar-string-name-clash Test Workspace #2654: Commit 35faf49 pushed by github-merge-queue bot
August 13, 2024 13:52 4m 23s main
main
August 13, 2024 13:52 4m 23s
Test Workspace Test Workspace #2653: Merge group checks requested
August 13, 2024 13:30 6m 53s
August 13, 2024 13:30 6m 53s