Skip to content

Actions: hacspec/hax

Actions

Test installations

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test_installs.yml
1,773 workflow run results
1,773 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Engine: F*: fix #677 by always extracting implicit types Test installations #1859: Pull request #679 synchronize by W95Psp
May 16, 2024 15:17 4s fix-667-explicits-types
fix-667-explicits-types
May 16, 2024 15:17 4s
Merge pull request #675 from hacspec/fix-495 Test installations #1858: Commit 455fbeb pushed by github-merge-queue bot
May 16, 2024 10:38 4s main
main
May 16, 2024 10:38 4s
Test installations Test installations #1857: Merge group checks requested
May 16, 2024 09:57 26m 31s
May 16, 2024 09:57 26m 31s
Frontend: silence an error about escaping bounded variables Test installations #1856: Pull request #675 synchronize by W95Psp
May 16, 2024 08:57 4s fix-495
fix-495
May 16, 2024 08:57 4s
Engine: F*: open modules providing trait impls Test installations #1855: Pull request #676 synchronize by W95Psp
May 16, 2024 08:09 4s fix-667
fix-667
May 16, 2024 08:09 4s
Engine: F*: open modules providing trait impls Test installations #1854: Pull request #676 synchronize by W95Psp
May 16, 2024 08:01 3s fix-667
fix-667
May 16, 2024 08:01 3s
Engine: F*: open modules providing trait impls Test installations #1853: Pull request #676 opened by W95Psp
May 16, 2024 08:00 4s fix-667
fix-667
May 16, 2024 08:00 4s
Merge pull request #674 from hacspec/fix-push_readme Test installations #1852: Commit bed17f0 pushed by github-merge-queue bot
May 16, 2024 07:32 4s main
main
May 16, 2024 07:32 4s
Frontend: silence an error about escaping bounded variables Test installations #1851: Pull request #675 synchronize by W95Psp
May 16, 2024 07:24 3s fix-495
fix-495
May 16, 2024 07:24 3s
Frontend: silence an error about escaping bounded variables Test installations #1850: Pull request #675 synchronize by W95Psp
May 16, 2024 07:19 4s fix-495
fix-495
May 16, 2024 07:19 4s
Test installations Test installations #1849: Merge group checks requested
May 16, 2024 06:57 26m 12s
May 16, 2024 06:57 26m 12s
Merge pull request #673 from hacspec/remove-add_to_project-action Test installations #1848: Commit 90b24c4 pushed by github-merge-queue bot
May 15, 2024 16:41 4s main
main
May 15, 2024 16:41 4s
Frontend: silence an error about escaping bounded variables Test installations #1847: Pull request #675 opened by W95Psp
May 15, 2024 16:19 5s fix-495
fix-495
May 15, 2024 16:19 5s
Test installations Test installations #1846: Merge group checks requested
May 15, 2024 15:58 26m 41s
May 15, 2024 15:58 26m 41s
Merge pull request #671 from hacspec/pnmadelaine/charon Test installations #1845: Commit bdf0ca7 pushed by github-merge-queue bot
May 15, 2024 12:10 4s main
main
May 15, 2024 12:10 4s
Merge pull request #670 from Nadrieril/fix-foreign-constants Test installations #1844: Commit c90e695 pushed by github-merge-queue bot
May 15, 2024 11:55 3s main
main
May 15, 2024 11:55 3s
Merge pull request #672 from Nadrieril/fix-divergence-on-send-bound Test installations #1843: Commit ded17ea pushed by github-merge-queue bot
May 15, 2024 11:50 4s main
main
May 15, 2024 11:50 4s
Test installations Test installations #1842: Merge group checks requested
May 15, 2024 11:28 26m 38s
May 15, 2024 11:28 26m 38s
ci: fix push_readme.yml Test installations #1841: Pull request #674 opened by W95Psp
May 15, 2024 11:23 4s fix-push_readme
fix-push_readme
May 15, 2024 11:23 4s
Delete .github/workflows/add_to_project.yml Test installations #1840: Pull request #673 opened by W95Psp
May 15, 2024 11:20 4s remove-add_to_project-action
remove-add_to_project-action
May 15, 2024 11:20 4s
Test installations Test installations #1839: Merge group checks requested
May 15, 2024 11:12 25m 54s
May 15, 2024 11:12 25m 54s
Test installations Test installations #1838: Merge group checks requested
May 15, 2024 11:11 27m 31s
May 15, 2024 11:11 27m 31s
Skip inner obligations of ImplSource::Builtin Test installations #1837: Pull request #672 opened by Nadrieril
May 15, 2024 09:41 4s Nadrieril:fix-divergence-on-send-bound
Nadrieril:fix-divergence-on-send-bound
May 15, 2024 09:41 4s
CI: test Charon Test installations #1836: Pull request #671 opened by pnmadelaine
May 15, 2024 09:27 5s pnmadelaine/charon
pnmadelaine/charon
May 15, 2024 09:27 5s
Merge pull request #662 from hacspec/clauses-661 Test installations #1835: Commit 4d4812a pushed by github-merge-queue bot
May 15, 2024 09:16 4s main
main
May 15, 2024 09:16 4s