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 #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
Merge pull request #519 from AeneasVerif/son/print .github/workflows/ci.yml #1810: Commit df3b7fd pushed by sonmarcho
January 8, 2025 20:45 11m 8s main
main
January 8, 2025 20:45 11m 8s
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