Skip to content

Actions: AeneasVerif/charon

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #519 from AeneasVerif/son/print Deploy Doc #54: Commit df3b7fd pushed by sonmarcho
January 8, 2025 20:45 1m 56s main
main
January 8, 2025 20:45 1m 56s
Improve the printing and debugging utilities of Charon-ML .github/workflows/ci.yml #1809: Pull request #519 opened by sonmarcho
January 8, 2025 20:44 8m 47s son/print
son/print
January 8, 2025 20:44 8m 47s
Make Self clause explicit in trait item declarations .github/workflows/ci.yml #1808: Pull request #514 synchronize by Nadrieril
January 8, 2025 18:06 16m 0s Nadrieril:explicit-self-in-methods
Nadrieril:explicit-self-in-methods
January 8, 2025 18:06 16m 0s
Merge pull request #518 from Nadrieril/tweaks .github/workflows/ci.yml #1807: Commit 68ea830 pushed by Nadrieril
January 8, 2025 14:57 6m 16s main
main
January 8, 2025 14:57 6m 16s
Merge pull request #518 from Nadrieril/tweaks Deploy Doc #53: Commit 68ea830 pushed by Nadrieril
January 8, 2025 14:57 1m 31s main
main
January 8, 2025 14:57 1m 31s
Various tweaks .github/workflows/ci.yml #1806: Pull request #518 opened by Nadrieril
January 8, 2025 14:17 16m 51s Nadrieril:tweaks
Nadrieril:tweaks
January 8, 2025 14:17 16m 51s
Merge pull request #517 from Nadrieril/partially-generic-ml-visitors .github/workflows/ci.yml #1805: Commit adba2dd pushed by Nadrieril
January 8, 2025 13:18 6m 17s main
main
January 8, 2025 13:18 6m 17s
Merge pull request #517 from Nadrieril/partially-generic-ml-visitors Deploy Doc #52: Commit adba2dd pushed by Nadrieril
January 8, 2025 13:18 1m 30s main
main
January 8, 2025 13:18 1m 30s
Simplify ml visitors .github/workflows/ci.yml #1804: Pull request #517 opened by Nadrieril
January 8, 2025 12:35 14m 3s Nadrieril:partially-generic-ml-visitors
Nadrieril:partially-generic-ml-visitors
January 8, 2025 12:35 14m 3s
Make Self clause explicit in trait item declarations .github/workflows/ci.yml #1803: Pull request #514 synchronize by Nadrieril
January 7, 2025 15:03 12m 55s Nadrieril:explicit-self-in-methods
Nadrieril:explicit-self-in-methods
January 7, 2025 15:03 12m 55s
Make Self clause explicit in trait item declarations .github/workflows/ci.yml #1802: Pull request #514 synchronize by Nadrieril
January 7, 2025 14:48 12m 52s Nadrieril:explicit-self-in-methods
Nadrieril:explicit-self-in-methods
January 7, 2025 14:48 12m 52s
Make Self clause explicit in trait item declarations .github/workflows/ci.yml #1801: Pull request #514 synchronize by Nadrieril
January 7, 2025 11:19 8m 34s Nadrieril:explicit-self-in-methods
Nadrieril:explicit-self-in-methods
January 7, 2025 11:19 8m 34s
Merge pull request #516 from Nadrieril/subst-self-properly .github/workflows/ci.yml #1800: Commit 78f7bdc pushed by Nadrieril
January 7, 2025 10:55 6m 16s main
main
January 7, 2025 10:55 6m 16s
Merge pull request #516 from Nadrieril/subst-self-properly Deploy Doc #51: Commit 78f7bdc pushed by Nadrieril
January 7, 2025 10:55 1m 34s main
main
January 7, 2025 10:55 1m 34s
Properly substitute Self reference when instantiating methods .github/workflows/ci.yml #1799: Pull request #516 opened by Nadrieril
January 7, 2025 10:44 7m 15s Nadrieril:subst-self-properly
Nadrieril:subst-self-properly
January 7, 2025 10:44 7m 15s
Make Self clause explicit in trait item declarations .github/workflows/ci.yml #1798: Pull request #514 synchronize by Nadrieril
January 6, 2025 16:17 7m 24s Nadrieril:explicit-self-in-methods
Nadrieril:explicit-self-in-methods
January 6, 2025 16:17 7m 24s
Merge pull request #515 from Nadrieril/generics-source Deploy Doc #50: Commit 3a41196 pushed by Nadrieril
January 6, 2025 13:58 1m 32s main
main
January 6, 2025 13:58 1m 32s
Merge pull request #515 from Nadrieril/generics-source .github/workflows/ci.yml #1797: Commit 3a41196 pushed by Nadrieril
January 6, 2025 13:58 6m 16s main
main
January 6, 2025 13:58 6m 16s
Improve the check_generics pass .github/workflows/ci.yml #1796: Pull request #515 opened by Nadrieril
January 6, 2025 13:35 17m 52s Nadrieril:generics-source
Nadrieril:generics-source
January 6, 2025 13:35 17m 52s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #44: Scheduled
January 5, 2025 01:12 7m 44s main
main
January 5, 2025 01:12 7m 44s
Make Self clause explicit in trait item declarations .github/workflows/ci.yml #1795: Pull request #514 synchronize by Nadrieril
January 3, 2025 14:56 12m 39s Nadrieril:explicit-self-in-methods
Nadrieril:explicit-self-in-methods
January 3, 2025 14:56 12m 39s
Make Self clause explicit in trait item declarations .github/workflows/ci.yml #1794: Pull request #514 opened by Nadrieril
January 3, 2025 14:05 12m 36s Nadrieril:explicit-self-in-methods
Nadrieril:explicit-self-in-methods
January 3, 2025 14:05 12m 36s
Merge pull request #512 from Nadrieril/properly-bind-methods .github/workflows/ci.yml #1793: Commit 0de5409 pushed by Nadrieril
January 2, 2025 13:14 24s main
main
January 2, 2025 13:14 24s
Merge pull request #512 from Nadrieril/properly-bind-methods Deploy Doc #49: Commit 0de5409 pushed by Nadrieril
January 2, 2025 13:14 1m 31s main
main
January 2, 2025 13:14 1m 31s
Explicitly bind trait method generics .github/workflows/ci.yml #1792: Pull request #512 synchronize by Nadrieril
January 2, 2025 12:28 2m 7s Nadrieril:properly-bind-methods
Nadrieril:properly-bind-methods
January 2, 2025 12:28 2m 7s