Skip to content

Actions: AeneasVerif/charon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,039 workflow runs
2,039 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #593 from os-checker/fix/charon-driver-rustc-asser… Deploy Doc #98: Commit d24767c pushed by Nadrieril
March 11, 2025 12:43 1m 33s main
main
March 11, 2025 12:43 1m 33s
Merge pull request #593 from os-checker/fix/charon-driver-rustc-asser… Build and test #1963: Commit d24767c pushed by Nadrieril
March 11, 2025 12:43 4m 32s main
main
March 11, 2025 12:43 4m 32s
fix(charon-driver): assert rustc by extracting file stem from the path Build and test #1962: Pull request #593 opened by zjp-CN
March 11, 2025 06:52 13m 18s os-checker:fix/charon-driver-rustc-assertion
os-checker:fix/charon-driver-rustc-assertion
March 11, 2025 06:52 13m 18s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #62: Manually run by Nadrieril
March 10, 2025 16:03 7m 13s main
main
March 10, 2025 16:03 7m 13s
Merge pull request #590 from Nadrieril/assoc-ty-defaults Build and test #1961: Commit de91049 pushed by Nadrieril
March 10, 2025 15:55 4m 36s main
main
March 10, 2025 15:55 4m 36s
Merge pull request #590 from Nadrieril/assoc-ty-defaults Deploy Doc #97: Commit de91049 pushed by Nadrieril
March 10, 2025 15:55 1m 32s main
main
March 10, 2025 15:55 1m 32s
Misc fixes Build and test #1960: Pull request #590 synchronize by Nadrieril
March 10, 2025 15:37 12m 58s Nadrieril:assoc-ty-defaults
Nadrieril:assoc-ty-defaults
March 10, 2025 15:37 12m 58s
Misc fixes Build and test #1959: Pull request #590 opened by Nadrieril
March 10, 2025 15:32 2m 42s Nadrieril:assoc-ty-defaults
Nadrieril:assoc-ty-defaults
March 10, 2025 15:32 2m 42s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #61: Scheduled
March 9, 2025 01:01 10m 7s main
main
March 9, 2025 01:01 10m 7s
Rework README Build and test #1958: Pull request #586 opened by Nadrieril
March 7, 2025 16:38 29m 54s Nadrieril:readme2
Nadrieril:readme2
March 7, 2025 16:38 29m 54s
Merge pull request #580 from Nadrieril/discriminant-ty Build and test #1957: Commit ad99af7 pushed by Nadrieril
March 7, 2025 14:00 5m 23s main
main
March 7, 2025 14:00 5m 23s
Merge pull request #580 from Nadrieril/discriminant-ty Deploy Doc #96: Commit ad99af7 pushed by Nadrieril
March 7, 2025 14:00 1m 23s main
main
March 7, 2025 14:00 1m 23s
Don't expand builtin associated types Build and test #1956: Pull request #580 synchronize by Nadrieril
March 7, 2025 13:38 9m 16s Nadrieril:discriminant-ty
Nadrieril:discriminant-ty
March 7, 2025 13:38 9m 16s
Merge pull request #579 from Nadrieril/lang-items Build and test #1955: Commit 31f7c3c pushed by Nadrieril
March 7, 2025 13:37 5m 3s main
main
March 7, 2025 13:37 5m 3s
Merge pull request #579 from Nadrieril/lang-items Deploy Doc #95: Commit 31f7c3c pushed by Nadrieril
March 7, 2025 13:37 1m 21s main
main
March 7, 2025 13:37 1m 21s
Don't expand builtin associated types Build and test #1954: Pull request #580 opened by Nadrieril
March 7, 2025 13:25 13m 2s Nadrieril:discriminant-ty
Nadrieril:discriminant-ty
March 7, 2025 13:25 13m 2s
Track lang items Build and test #1953: Pull request #579 opened by Nadrieril
March 7, 2025 13:10 25m 50s Nadrieril:lang-items
Nadrieril:lang-items
March 7, 2025 13:10 25m 50s
Merge pull request #578 from Nadrieril/display-item-vis Build and test #1952: Commit bde0291 pushed by Nadrieril
March 7, 2025 13:06 13m 53s main
main
March 7, 2025 13:06 13m 53s
Merge pull request #578 from Nadrieril/display-item-vis Deploy Doc #94: Commit bde0291 pushed by Nadrieril
March 7, 2025 13:06 1m 24s main
main
March 7, 2025 13:06 1m 24s
Display item visibility in pretty output Build and test #1951: Pull request #578 opened by Nadrieril
March 7, 2025 13:02 13m 32s Nadrieril:display-item-vis
Nadrieril:display-item-vis
March 7, 2025 13:02 13m 32s
Merge pull request #577 from Nadrieril/always-error-on-generics-misma… Build and test #1950: Commit d250df8 pushed by Nadrieril
March 4, 2025 15:24 4m 52s main
main
March 4, 2025 15:24 4m 52s
Merge pull request #577 from Nadrieril/always-error-on-generics-misma… Deploy Doc #93: Commit d250df8 pushed by Nadrieril
March 4, 2025 15:24 1m 34s main
main
March 4, 2025 15:24 1m 34s
Always error on generics mismatches Build and test #1949: Pull request #577 synchronize by Nadrieril
March 4, 2025 15:03 13m 29s Nadrieril:always-error-on-generics-mismatches
Nadrieril:always-error-on-generics-mismatches
March 4, 2025 15:03 13m 29s
Always error on generics mismatches Build and test #1948: Pull request #577 opened by Nadrieril
March 4, 2025 14:41 13m 26s Nadrieril:always-error-on-generics-mismatches
Nadrieril:always-error-on-generics-mismatches
March 4, 2025 14:41 13m 26s
Merge pull request #571 from N1ark/namematcher-ullbc Deploy Doc #92: Commit 39fea06 pushed by Nadrieril
March 4, 2025 10:57 1m 36s main
main
March 4, 2025 10:57 1m 36s