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

feat: add charon cargo [charon options] -- [cargo check options] subcommand Build and test #2011: Pull request #600 synchronize by zjp-CN
March 13, 2025 07:11 1h 13m 18s os-checker:subcommand/cargo
os-checker:subcommand/cargo
March 13, 2025 07:11 1h 13m 18s
feat: add charon cargo [charon options] -- [cargo check options] subcommand Build and test #2010: Pull request #600 synchronize by zjp-CN
March 13, 2025 06:41 4m 39s os-checker:subcommand/cargo
os-checker:subcommand/cargo
March 13, 2025 06:41 4m 39s
Merge pull request #603 from Nadrieril/detect-discriminant-intrinsic Deploy Doc #109: Commit 93af11c pushed by Nadrieril
March 12, 2025 18:31 1m 28s main
main
March 12, 2025 18:31 1m 28s
Merge pull request #603 from Nadrieril/detect-discriminant-intrinsic Build and test #2009: Commit 93af11c pushed by Nadrieril
March 12, 2025 18:31 1m 5s main
main
March 12, 2025 18:31 1m 5s
Merge pull request #603 from Nadrieril/detect-discriminant-intrinsic Rerun PR jobs on push to main #12: Commit 93af11c pushed by Nadrieril
March 12, 2025 18:31 40s main
main
March 12, 2025 18:31 40s
Replace calls to the discriminant_value intrinsic with appropriate MIR Build and test #2008: Pull request #603 opened by Nadrieril
March 12, 2025 18:00 24m 52s Nadrieril:detect-discriminant-intrinsic
Nadrieril:detect-discriminant-intrinsic
March 12, 2025 18:00 24m 52s
Merge pull request #602 from Nadrieril/merge-queue Build and test #2007: Commit 941c27f pushed by Nadrieril
March 12, 2025 17:13 2m 52s main
main
March 12, 2025 17:13 2m 52s
Merge pull request #602 from Nadrieril/merge-queue Deploy Doc #108: Commit 941c27f pushed by Nadrieril
March 12, 2025 17:13 1m 32s main
main
March 12, 2025 17:13 1m 32s
Merge pull request #602 from Nadrieril/merge-queue Rerun PR jobs on push to main #11: Commit 941c27f pushed by Nadrieril
March 12, 2025 17:13 1m 28s main
main
March 12, 2025 17:13 1m 28s
Only reload jobs on non-draft PRs Build and test #2006: Pull request #602 opened by Nadrieril
March 12, 2025 17:07 2m 0s Nadrieril:merge-queue
Nadrieril:merge-queue
March 12, 2025 17:07 2m 0s
Merge pull request #601 from Nadrieril/no-pass-sysroot Rerun PR jobs on push to main #10: Commit 6768ee6 pushed by Nadrieril
March 12, 2025 16:32 1m 31s main
main
March 12, 2025 16:32 1m 31s
Merge pull request #601 from Nadrieril/no-pass-sysroot Build and test #2005: Commit 6768ee6 pushed by Nadrieril
March 12, 2025 16:32 3m 6s main
main
March 12, 2025 16:32 3m 6s
Merge pull request #601 from Nadrieril/no-pass-sysroot Deploy Doc #107: Commit 6768ee6 pushed by Nadrieril
March 12, 2025 16:32 1m 36s main
main
March 12, 2025 16:32 1m 36s
Don't manage the sysroot ourselves Build and test #2004: Pull request #601 synchronize by Nadrieril
March 12, 2025 15:13 13m 58s Nadrieril:no-pass-sysroot
Nadrieril:no-pass-sysroot
March 12, 2025 15:13 13m 58s
Don't manage the sysroot ourselves Build and test #2003: Pull request #601 opened by Nadrieril
March 12, 2025 15:11 2m 19s Nadrieril:no-pass-sysroot
Nadrieril:no-pass-sysroot
March 12, 2025 15:11 2m 19s
Rerun PR jobs on push to main Rerun PR jobs on push to main #9: Manually run by Nadrieril
March 12, 2025 14:56 1m 0s main
main
March 12, 2025 14:56 1m 0s
Merge pull request #599 from Nadrieril/restart-jobs-on-push Build and test #2002: Commit ec96b6b pushed by Nadrieril
March 12, 2025 14:51 1m 45s main
main
March 12, 2025 14:51 1m 45s
Merge pull request #599 from Nadrieril/restart-jobs-on-push Rerun PR jobs on push to main #8: Commit ec96b6b pushed by Nadrieril
March 12, 2025 14:51 59s main
main
March 12, 2025 14:51 59s
Merge pull request #599 from Nadrieril/restart-jobs-on-push Deploy Doc #106: Commit ec96b6b pushed by Nadrieril
March 12, 2025 14:51 1m 32s main
main
March 12, 2025 14:51 1m 32s
Restart PR CIs on push to main Build and test #2001: Pull request #599 synchronize by Nadrieril
March 12, 2025 14:49 1m 50s Nadrieril:restart-jobs-on-push
Nadrieril:restart-jobs-on-push
March 12, 2025 14:49 1m 50s
Restart PR CIs on push to main Build and test #2000: Pull request #599 synchronize by Nadrieril
March 12, 2025 14:47 1m 34s Nadrieril:restart-jobs-on-push
Nadrieril:restart-jobs-on-push
March 12, 2025 14:47 1m 34s
Restart PR CIs on push to main Rerun PR jobs on push to main #7: Pull request #599 synchronize by Nadrieril
March 12, 2025 14:41 1m 38s Nadrieril:restart-jobs-on-push
Nadrieril:restart-jobs-on-push
March 12, 2025 14:41 1m 38s
Restart PR CIs on push to main Build and test #1999: Pull request #599 synchronize by Nadrieril
March 12, 2025 14:41 3m 28s Nadrieril:restart-jobs-on-push
Nadrieril:restart-jobs-on-push
March 12, 2025 14:41 3m 28s
Restart PR CIs on push to main Rerun PR jobs on push to main #6: Pull request #599 synchronize by Nadrieril
March 12, 2025 14:29 8m 4s Nadrieril:restart-jobs-on-push
Nadrieril:restart-jobs-on-push
March 12, 2025 14:29 8m 4s
Restart PR CIs on push to main Build and test #1998: Pull request #599 synchronize by Nadrieril
March 12, 2025 14:29 9m 48s Nadrieril:restart-jobs-on-push
Nadrieril:restart-jobs-on-push
March 12, 2025 14:29 9m 48s