Skip to content

Actions: AeneasVerif/charon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,926 workflow runs
1,926 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #566 from Nadrieril/remove-units Deploy Doc #87: Commit 485bd36 pushed by Nadrieril
February 19, 2025 18:30 1m 33s main
main
February 19, 2025 18:30 1m 33s
Merge pull request #566 from Nadrieril/remove-units .github/workflows/ci.yml #1927: Commit 485bd36 pushed by Nadrieril
February 19, 2025 18:30 6m 16s main
main
February 19, 2025 18:30 6m 16s
Remove useless unit locals .github/workflows/ci.yml #1926: Pull request #566 opened by Nadrieril
February 19, 2025 17:28 14m 47s Nadrieril:remove-units
Nadrieril:remove-units
February 19, 2025 17:28 14m 47s
Merge pull request #562 from Nadrieril/fix-inconsistent-generics Deploy Doc #86: Commit 17c1938 pushed by Nadrieril
February 18, 2025 10:56 1m 41s main
main
February 18, 2025 10:56 1m 41s
Merge pull request #562 from Nadrieril/fix-inconsistent-generics .github/workflows/ci.yml #1925: Commit 17c1938 pushed by Nadrieril
February 18, 2025 10:56 6m 21s main
main
February 18, 2025 10:56 6m 21s
Clarify uses of Vector::len .github/workflows/ci.yml #1924: Pull request #562 synchronize by Nadrieril
February 17, 2025 17:12 14m 27s Nadrieril:fix-inconsistent-generics
Nadrieril:fix-inconsistent-generics
February 17, 2025 17:12 14m 27s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #58: Manually run by Nadrieril
February 17, 2025 13:27 6m 22s main
main
February 17, 2025 13:27 6m 22s
Merge pull request #564 from Nadrieril/more-precise-rustc-test-output .github/workflows/ci.yml #1923: Commit dd1153c pushed by Nadrieril
February 17, 2025 13:26 9m 53s main
main
February 17, 2025 13:26 9m 53s
Merge pull request #564 from Nadrieril/more-precise-rustc-test-output Deploy Doc #85: Commit dd1153c pushed by Nadrieril
February 17, 2025 13:26 1m 26s main
main
February 17, 2025 13:26 1m 26s
rustc-tests: More precise rustc test output .github/workflows/ci.yml #1922: Pull request #564 synchronize by Nadrieril
February 17, 2025 13:22 7m 33s Nadrieril:more-precise-rustc-test-output
Nadrieril:more-precise-rustc-test-output
February 17, 2025 13:22 7m 33s
Merge pull request #563 from Nadrieril/hax-paramenv Deploy Doc #84: Commit 319b2fe pushed by Nadrieril
February 17, 2025 13:21 1m 24s main
main
February 17, 2025 13:21 1m 24s
Merge pull request #563 from Nadrieril/hax-paramenv .github/workflows/ci.yml #1921: Commit 319b2fe pushed by Nadrieril
February 17, 2025 13:21 5m 15s main
main
February 17, 2025 13:21 5m 15s
rustc-tests: More precise rustc test output .github/workflows/ci.yml #1920: Pull request #564 opened by Nadrieril
February 17, 2025 13:18 3m 36s Nadrieril:more-precise-rustc-test-output
Nadrieril:more-precise-rustc-test-output
February 17, 2025 13:18 3m 36s
Update hax .github/workflows/ci.yml #1919: Pull request #563 opened by Nadrieril
February 17, 2025 12:51 27m 25s Nadrieril:hax-paramenv
Nadrieril:hax-paramenv
February 17, 2025 12:51 27m 25s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #57: Scheduled
February 16, 2025 01:12 22s main
main
February 16, 2025 01:12 22s
Clarify uses of Vector::len .github/workflows/ci.yml #1918: Pull request #562 synchronize by Nadrieril
February 14, 2025 17:26 14m 24s Nadrieril:fix-inconsistent-generics
Nadrieril:fix-inconsistent-generics
February 14, 2025 17:26 14m 24s
Clarify uses of Vector::len .github/workflows/ci.yml #1917: Pull request #562 opened by Nadrieril
February 14, 2025 17:21 3m 55s Nadrieril:fix-inconsistent-generics
Nadrieril:fix-inconsistent-generics
February 14, 2025 17:21 3m 55s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #56: Manually run by Nadrieril
February 14, 2025 15:01 7m 48s main
main
February 14, 2025 15:01 7m 48s
Merge pull request #559 from Nadrieril/fix-assertion Deploy Doc #83: Commit d51d241 pushed by Nadrieril
February 14, 2025 15:01 1m 58s main
main
February 14, 2025 15:01 1m 58s
Merge pull request #559 from Nadrieril/fix-assertion .github/workflows/ci.yml #1916: Commit d51d241 pushed by Nadrieril
February 14, 2025 15:01 9m 55s main
main
February 14, 2025 15:01 9m 55s
Fix an assertion .github/workflows/ci.yml #1915: Pull request #559 opened by Nadrieril
February 14, 2025 14:44 16m 17s Nadrieril:fix-assertion
Nadrieril:fix-assertion
February 14, 2025 14:44 16m 17s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #55: Manually run by Nadrieril
February 14, 2025 13:44 10m 24s main
main
February 14, 2025 13:44 10m 24s
Merge pull request #558 from Nadrieril/clarify-rustc-tests Deploy Doc #82: Commit 14a4d69 pushed by Nadrieril
February 14, 2025 13:44 1m 53s main
main
February 14, 2025 13:44 1m 53s
Merge pull request #558 from Nadrieril/clarify-rustc-tests .github/workflows/ci.yml #1914: Commit 14a4d69 pushed by Nadrieril
February 14, 2025 13:44 12m 36s main
main
February 14, 2025 13:44 12m 36s
rustc-tests: Sort the supported tests for a more useful report .github/workflows/ci.yml #1913: Pull request #558 synchronize by Nadrieril
February 14, 2025 13:38 10m 54s Nadrieril:clarify-rustc-tests
Nadrieril:clarify-rustc-tests
February 14, 2025 13:38 10m 54s