Skip to content

Actions: hacspec/hax

Actions

Install & test

Actions

Loading...

Show workflow options

Create status badge

install_and_test.yml
2,574 workflow runs
2,574 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(engine): make dep. analysis sensible to UID assoc. items Install & test #2652: Pull request #860 synchronize by W95Psp
August 23, 2024 08:21 13m 40s make-deps-uid-assoc-items-sensible
make-deps-uid-assoc-items-sensible
August 23, 2024 08:21 13m 40s
fix(engine): make dep. analysis sensible to UID assoc. items Install & test #2651: Pull request #860 synchronize by W95Psp
August 23, 2024 06:54 8m 19s make-deps-uid-assoc-items-sensible
make-deps-uid-assoc-items-sensible
August 23, 2024 06:54 8m 19s
Merge pull request #857 from hacspec/loop-invariants Install & test #2650: Commit 66b7683 pushed by github-merge-queue bot
August 23, 2024 06:44 15m 0s main
main
August 23, 2024 06:44 15m 0s
Install & test Install & test #2649: Merge group checks requested
August 23, 2024 06:21 12m 21s
August 23, 2024 06:21 12m 21s
Install & test Install & test #2648: Merge group checks requested
August 22, 2024 16:32 16m 31s
August 22, 2024 16:32 16m 31s
Loop invariants Install & test #2647: Pull request #857 synchronize by mamonet
August 22, 2024 16:21 10m 25s loop-invariants
loop-invariants
August 22, 2024 16:21 10m 25s
Install & test Install & test #2646: Merge group checks requested
August 22, 2024 16:11 18m 58s
August 22, 2024 16:11 18m 58s
Loop invariants Install & test #2645: Pull request #857 synchronize by W95Psp
August 21, 2024 09:17 13m 29s loop-invariants
loop-invariants
August 21, 2024 09:17 13m 29s
fix(engine): make dep. analysis sensible to UID assoc. items Install & test #2644: Pull request #860 opened by W95Psp
August 20, 2024 10:18 10m 54s make-deps-uid-assoc-items-sensible
make-deps-uid-assoc-items-sensible
August 20, 2024 10:18 10m 54s
Loop invariants Install & test #2643: Pull request #857 synchronize by W95Psp
August 20, 2024 08:39 8m 34s loop-invariants
loop-invariants
August 20, 2024 08:39 8m 34s
Loop invariants Install & test #2642: Pull request #857 synchronize by W95Psp
August 20, 2024 07:30 16m 9s loop-invariants
loop-invariants
August 20, 2024 07:30 16m 9s
Loop invariants Install & test #2641: Pull request #857 synchronize by W95Psp
August 20, 2024 06:55 13m 21s loop-invariants
loop-invariants
August 20, 2024 06:55 13m 21s
Loop invariants Install & test #2640: Pull request #857 synchronize by W95Psp
August 19, 2024 15:08 9m 9s loop-invariants
loop-invariants
August 19, 2024 15:08 9m 9s
Loop invariants Install & test #2639: Pull request #857 synchronize by W95Psp
August 19, 2024 15:07 8m 7s loop-invariants
loop-invariants
August 19, 2024 15:07 8m 7s
Loop invariants Install & test #2638: Pull request #857 synchronize by W95Psp
August 19, 2024 15:06 8m 18s loop-invariants
loop-invariants
August 19, 2024 15:06 8m 18s
Loop invariants Install & test #2637: Pull request #857 synchronize by W95Psp
August 19, 2024 12:31 12m 45s loop-invariants
loop-invariants
August 19, 2024 12:31 12m 45s
Loop invariants Install & test #2636: Pull request #857 synchronize by W95Psp
August 19, 2024 12:24 9m 6s loop-invariants
loop-invariants
August 19, 2024 12:24 9m 6s
Loop invariants Install & test #2635: Pull request #857 opened by W95Psp
August 19, 2024 11:33 16m 59s loop-invariants
loop-invariants
August 19, 2024 11:33 16m 59s
Merge pull request #856 from hacspec/remove-unsize-for-certain-types Install & test #2634: Commit 096f0eb pushed by github-merge-queue bot
August 19, 2024 11:00 10m 34s main
main
August 19, 2024 11:00 10m 34s
Install & test Install & test #2633: Merge group checks requested
August 19, 2024 10:39 14m 45s
August 19, 2024 10:39 14m 45s
Remove unsize for certain types Install & test #2632: Pull request #856 synchronize by W95Psp
August 19, 2024 07:19 15m 38s remove-unsize-for-certain-types
remove-unsize-for-certain-types
August 19, 2024 07:19 15m 38s
Remove unsize for certain types Install & test #2631: Pull request #856 opened by W95Psp
August 19, 2024 07:19 16m 50s remove-unsize-for-certain-types
remove-unsize-for-certain-types
August 19, 2024 07:19 16m 50s
fix(engine/backend): expose raw view on concrete_ident Install & test #2630: Pull request #855 opened by paulmure
August 17, 2024 04:46 14m 32s paulmure:raw-concrete-ident
paulmure:raw-concrete-ident
August 17, 2024 04:46 14m 32s
Simplify the unsize definition Install & test #2629: Pull request #854 opened by karthikbhargavan
August 16, 2024 23:39 10m 38s simplify-unsize
simplify-unsize
August 16, 2024 23:39 10m 38s
Merge pull request #853 from hacspec/mention-playground Install & test #2628: Commit 2a17a0b pushed by github-merge-queue bot
August 14, 2024 11:36 13m 1s main
main
August 14, 2024 11:36 13m 1s