Skip to content

Actions: AeneasVerif/charon

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update hax .github/workflows/ci.yml #1834: Pull request #528 synchronize by Nadrieril
January 20, 2025 15:03 30m 26s Nadrieril:update-hax
Nadrieril:update-hax
January 20, 2025 15:03 30m 26s
Update hax .github/workflows/ci.yml #1833: Pull request #528 opened by Nadrieril
January 20, 2025 14:54 7m 9s Nadrieril:update-hax
Nadrieril:update-hax
January 20, 2025 14:54 7m 9s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #46: Scheduled
January 19, 2025 01:10 7m 31s main
main
January 19, 2025 01:10 7m 31s
Merge pull request #527 from Nadrieril/check-more-generics .github/workflows/ci.yml #1832: Commit b64e738 pushed by Nadrieril
January 17, 2025 16:27 11m 10s main
main
January 17, 2025 16:27 11m 10s
Merge pull request #527 from Nadrieril/check-more-generics Deploy Doc #61: Commit b64e738 pushed by Nadrieril
January 17, 2025 16:27 1m 33s main
main
January 17, 2025 16:27 1m 33s
Check that trait references are for the correct trait .github/workflows/ci.yml #1831: Pull request #527 synchronize by Nadrieril
January 17, 2025 14:58 1h 3m 36s Nadrieril:check-more-generics
Nadrieril:check-more-generics
January 17, 2025 14:58 1h 3m 36s
Check that trait references are for the correct trait .github/workflows/ci.yml #1830: Pull request #527 opened by Nadrieril
January 17, 2025 14:57 1m 1s Nadrieril:check-more-generics
Nadrieril:check-more-generics
January 17, 2025 14:57 1m 1s
Merge pull request #525 from AeneasVerif/son/cfg Deploy Doc #60: Commit f75446d pushed by sonmarcho
January 17, 2025 12:58 1m 40s main
main
January 17, 2025 12:58 1m 40s
Merge pull request #525 from AeneasVerif/son/cfg .github/workflows/ci.yml #1829: Commit f75446d pushed by sonmarcho
January 17, 2025 12:58 18m 34s main
main
January 17, 2025 12:58 18m 34s
Add CFG reconstruction tests from issue 297 .github/workflows/ci.yml #1828: Pull request #525 synchronize by sonmarcho
January 17, 2025 12:54 18m 21s son/cfg
son/cfg
January 17, 2025 12:54 18m 21s
Merge pull request #526 from Nadrieril/update-hax .github/workflows/ci.yml #1827: Commit dc79e01 pushed by Nadrieril
January 16, 2025 14:42 6m 21s main
main
January 16, 2025 14:42 6m 21s
Merge pull request #526 from Nadrieril/update-hax Deploy Doc #59: Commit dc79e01 pushed by Nadrieril
January 16, 2025 14:42 1m 36s main
main
January 16, 2025 14:42 1m 36s
Remove elaborated bounds from trait item bounds .github/workflows/ci.yml #1826: Pull request #526 synchronize by Nadrieril
January 16, 2025 14:19 17m 31s Nadrieril:update-hax
Nadrieril:update-hax
January 16, 2025 14:19 17m 31s
Remove elaborated bounds from trait item bounds .github/workflows/ci.yml #1825: Pull request #526 opened by Nadrieril
January 16, 2025 14:15 4m 39s Nadrieril:update-hax
Nadrieril:update-hax
January 16, 2025 14:15 4m 39s
Add CFG reconstruction tests from issue 297 .github/workflows/ci.yml #1824: Pull request #525 opened by sonmarcho
January 14, 2025 19:48 2m 28s son/cfg
son/cfg
January 14, 2025 19:48 2m 28s
Merge pull request #524 from Nadrieril/simplify-error-handling Deploy Doc #58: Commit ac84f11 pushed by Nadrieril
January 14, 2025 15:08 1m 40s main
main
January 14, 2025 15:08 1m 40s
Merge pull request #524 from Nadrieril/simplify-error-handling .github/workflows/ci.yml #1823: Commit ac84f11 pushed by Nadrieril
January 14, 2025 15:08 6m 24s main
main
January 14, 2025 15:08 6m 24s
Simplify error reporting .github/workflows/ci.yml #1822: Pull request #524 opened by Nadrieril
January 14, 2025 14:54 14m 1s Nadrieril:simplify-error-handling
Nadrieril:simplify-error-handling
January 14, 2025 14:54 14m 1s
Merge pull request #522 from Nadrieril/split-nixpkgs .github/workflows/ci.yml #1821: Commit 1c628d8 pushed by Nadrieril
January 13, 2025 15:37 6m 28s main
main
January 13, 2025 15:37 6m 28s
Merge pull request #522 from Nadrieril/split-nixpkgs Deploy Doc #57: Commit 1c628d8 pushed by Nadrieril
January 13, 2025 15:37 1m 37s main
main
January 13, 2025 15:37 1m 37s
Allow overriding the nixpkgs used for building ocaml .github/workflows/ci.yml #1820: Pull request #522 opened by Nadrieril
January 13, 2025 15:06 6m 43s Nadrieril:split-nixpkgs
Nadrieril:split-nixpkgs
January 13, 2025 15:06 6m 43s
Merge pull request #521 from Nadrieril/tweaks .github/workflows/ci.yml #1819: Commit bb43c7e pushed by Nadrieril
January 13, 2025 14:14 6m 22s main
main
January 13, 2025 14:14 6m 22s
Merge pull request #521 from Nadrieril/tweaks Deploy Doc #56: Commit bb43c7e pushed by Nadrieril
January 13, 2025 14:14 2m 2s main
main
January 13, 2025 14:14 2m 2s
Various tweaks .github/workflows/ci.yml #1818: Pull request #521 synchronize by Nadrieril
January 13, 2025 13:25 6m 46s Nadrieril:tweaks
Nadrieril:tweaks
January 13, 2025 13:25 6m 46s
Merge pull request #520 from AeneasVerif/son/cfg1 .github/workflows/ci.yml #1817: Commit fd47c64 pushed by sonmarcho
January 13, 2025 13:24 7m 51s main
main
January 13, 2025 13:24 7m 51s