Skip to content

Actions: AeneasVerif/charon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,039 workflow runs
2,039 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

don't set --target, --lib or --bin if they are specified by user; test charon cargo with features and targets Build and test #2028: Pull request #606 synchronize by zjp-CN
March 14, 2025 04:22 15m 47s os-checker:subcommand-cargo-handle-target-lib-bin
os-checker:subcommand-cargo-handle-target-lib-bin
March 14, 2025 04:22 15m 47s
don't set --target, --lib or --bin if they are specified by user; test charon cargo with features and targets Build and test #2027: Pull request #606 synchronize by zjp-CN
March 13, 2025 17:24 13m 12s os-checker:subcommand-cargo-handle-target-lib-bin
os-checker:subcommand-cargo-handle-target-lib-bin
March 13, 2025 17:24 13m 12s
Merge pull request #607 from Nadrieril/cargo-build Rerun PR jobs on push to main #16: Commit fc7599d pushed by Nadrieril
March 13, 2025 14:59 33s main
main
March 13, 2025 14:59 33s
Merge pull request #607 from Nadrieril/cargo-build Build and test #2026: Commit fc7599d pushed by Nadrieril
March 13, 2025 14:59 2m 50s main
main
March 13, 2025 14:59 2m 50s
Merge pull request #607 from Nadrieril/cargo-build Deploy Doc #113: Commit fc7599d pushed by Nadrieril
March 13, 2025 14:59 1m 27s main
main
March 13, 2025 14:59 1m 27s
Use cargo build to run charon Build and test #2025: Pull request #607 opened by Nadrieril
March 13, 2025 14:42 16m 19s Nadrieril:cargo-build
Nadrieril:cargo-build
March 13, 2025 14:42 16m 19s
Merge pull request #605 from Nadrieril/promoted Rerun PR jobs on push to main #15: Commit 6740eaa pushed by Nadrieril
March 13, 2025 14:16 1m 0s main
main
March 13, 2025 14:16 1m 0s
Merge pull request #605 from Nadrieril/promoted Deploy Doc #112: Commit 6740eaa pushed by Nadrieril
March 13, 2025 14:16 1m 24s main
main
March 13, 2025 14:16 1m 24s
Merge pull request #605 from Nadrieril/promoted Build and test #2024: Commit 6740eaa pushed by Nadrieril
March 13, 2025 14:16 4m 37s main
main
March 13, 2025 14:16 4m 37s
don't set --target, --lib or --bin if they are specified by user; test charon cargo with features and targets Build and test #2023: Pull request #606 opened by zjp-CN
March 13, 2025 14:12 4m 50s os-checker:subcommand-cargo-handle-target-lib-bin
os-checker:subcommand-cargo-handle-target-lib-bin
March 13, 2025 14:12 4m 50s
Use promoted MIR by default Build and test #2022: Pull request #605 synchronize by Nadrieril
March 13, 2025 13:24 30s Nadrieril:promoted
Nadrieril:promoted
March 13, 2025 13:24 30s
Use promoted MIR by default Build and test #2021: Pull request #605 synchronize by Nadrieril
March 13, 2025 13:13 4m 6s Nadrieril:promoted
Nadrieril:promoted
March 13, 2025 13:13 4m 6s
Merge pull request #600 from os-checker/subcommand/cargo Deploy Doc #111: Commit 763350c pushed by Nadrieril
March 13, 2025 13:11 1m 25s main
main
March 13, 2025 13:11 1m 25s
Merge pull request #600 from os-checker/subcommand/cargo Rerun PR jobs on push to main #14: Commit 763350c pushed by Nadrieril
March 13, 2025 13:11 26s main
main
March 13, 2025 13:11 26s
Merge pull request #600 from os-checker/subcommand/cargo Build and test #2020: Commit 763350c pushed by Nadrieril
March 13, 2025 13:11 2m 6s main
main
March 13, 2025 13:11 2m 6s
Use promoted MIR by default Build and test #2019: Pull request #605 opened by Nadrieril
March 13, 2025 13:07 39s Nadrieril:promoted
Nadrieril:promoted
March 13, 2025 13:07 39s
feat: add charon cargo [charon options] -- [cargo check options] subcommand Build and test #2018: Pull request #600 synchronize by zjp-CN
March 13, 2025 12:26 17m 40s os-checker:subcommand/cargo
os-checker:subcommand/cargo
March 13, 2025 12:26 17m 40s
feat: add charon cargo [charon options] -- [cargo check options] subcommand Build and test #2017: Pull request #600 synchronize by zjp-CN
March 13, 2025 10:58 1h 28m 8s os-checker:subcommand/cargo
os-checker:subcommand/cargo
March 13, 2025 10:58 1h 28m 8s
feat: add charon cargo [charon options] -- [cargo check options] subcommand Build and test #2016: Pull request #600 synchronize by zjp-CN
March 13, 2025 10:11 14m 1s os-checker:subcommand/cargo
os-checker:subcommand/cargo
March 13, 2025 10:11 14m 1s
Merge pull request #604 from Nadrieril/rerun-dependent-jobs Deploy Doc #110: Commit 05a1bdb pushed by Nadrieril
March 13, 2025 10:02 1m 52s main
main
March 13, 2025 10:02 1m 52s
Merge pull request #604 from Nadrieril/rerun-dependent-jobs Build and test #2015: Commit 05a1bdb pushed by Nadrieril
March 13, 2025 10:02 2m 30s main
main
March 13, 2025 10:02 2m 30s
Merge pull request #604 from Nadrieril/rerun-dependent-jobs Rerun PR jobs on push to main #13: Commit 05a1bdb pushed by Nadrieril
March 13, 2025 10:02 1m 7s main
main
March 13, 2025 10:02 1m 7s
Also rerun charon-pin-is-merged jobs on push Build and test #2014: Pull request #604 opened by Nadrieril
March 13, 2025 09:58 2m 50s Nadrieril:rerun-dependent-jobs
Nadrieril:rerun-dependent-jobs
March 13, 2025 09:58 2m 50s
feat: add charon cargo [charon options] -- [cargo check options] subcommand Build and test #2013: Pull request #600 synchronize by zjp-CN
March 13, 2025 09:37 24m 20s os-checker:subcommand/cargo
os-checker:subcommand/cargo
March 13, 2025 09:37 24m 20s
feat: add charon cargo [charon options] -- [cargo check options] subcommand Build and test #2012: Pull request #600 synchronize by zjp-CN
March 13, 2025 08:24 2m 30s os-checker:subcommand/cargo
os-checker:subcommand/cargo
March 13, 2025 08:24 2m 30s