Skip to content

Actions: AeneasVerif/charon

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge pull request #520 from AeneasVerif/son/cfg1 Deploy Doc #55: Commit fd47c64 pushed by sonmarcho
January 13, 2025 13:24 1m 32s main
main
January 13, 2025 13:24 1m 32s
Various tweaks .github/workflows/ci.yml #1816: Pull request #521 synchronize by Nadrieril
January 13, 2025 13:03 16m 2s Nadrieril:tweaks
Nadrieril:tweaks
January 13, 2025 13:03 16m 2s
Various tweaks .github/workflows/ci.yml #1815: Pull request #521 synchronize by Nadrieril
January 13, 2025 13:02 53s Nadrieril:tweaks
Nadrieril:tweaks
January 13, 2025 13:02 53s
Various tweaks .github/workflows/ci.yml #1814: Pull request #521 opened by Nadrieril
January 13, 2025 13:00 2m 47s Nadrieril:tweaks
Nadrieril:tweaks
January 13, 2025 13:00 2m 47s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #45: Scheduled
January 12, 2025 01:13 7m 2s main
main
January 12, 2025 01:13 7m 2s
Improve the CFG reconstruction .github/workflows/ci.yml #1813: Pull request #520 opened by sonmarcho
January 10, 2025 22:13 16m 34s son/cfg1
son/cfg1
January 10, 2025 22:13 16m 34s
Make Self clause explicit in trait item declarations .github/workflows/ci.yml #1812: Pull request #514 synchronize by Nadrieril
January 9, 2025 10:16 16m 36s Nadrieril:explicit-self-in-methods
Nadrieril:explicit-self-in-methods
January 9, 2025 10:16 16m 36s
Make Self clause explicit in trait item declarations .github/workflows/ci.yml #1811: Pull request #514 synchronize by Nadrieril
January 9, 2025 10:15 1m 12s Nadrieril:explicit-self-in-methods
Nadrieril:explicit-self-in-methods
January 9, 2025 10:15 1m 12s