Skip to content

Actions: AeneasVerif/charon

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Benchmark Benchmark #13: Scheduled
2m 43s main
main
2m 43s
feat: refactor Charon.toml to use Cargo.toml and add support for start_from, hide_marker_traits Build and test #3873: Pull request #1104 synchronize by oliver-butterley
1m 1s oliver-butterley:config-file-updates
oliver-butterley:config-file-updates
1m 1s
feat: refactor Charon.toml to use Cargo.toml and add support for start_from, hide_marker_traits Build and test #3872: Pull request #1104 synchronize by oliver-butterley
8m 1s oliver-butterley:config-file-updates
oliver-butterley:config-file-updates
8m 1s
feat: refactor Charon.toml to use Cargo.toml and add support for start_from, hide_marker_traits Build and test #3871: Pull request #1104 synchronize by oliver-butterley
3m 20s oliver-butterley:config-file-updates
oliver-butterley:config-file-updates
3m 20s
Benchmark Benchmark #12: Scheduled
3m 18s main
main
3m 18s
feat: refactor Charon.toml to use Cargo.toml and add support for start_from, hide_marker_traits Build and test #3870: Pull request #1104 synchronize by oliver-butterley
6m 45s oliver-butterley:config-file-updates
oliver-butterley:config-file-updates
6m 45s
feat: refactor Charon.toml to use Cargo.toml and add support for start_from, hide_marker_traits Build and test #3869: Pull request #1104 synchronize by oliver-butterley
6m 3s oliver-butterley:config-file-updates
oliver-butterley:config-file-updates
6m 3s
feat: refactor Charon.toml to use Cargo.toml and add support for start_from, hide_marker_traits Build and test #3868: Pull request #1104 synchronize by oliver-butterley
3m 9s oliver-butterley:config-file-updates
oliver-butterley:config-file-updates
3m 9s
Benchmark Benchmark #11: Scheduled
2m 42s main
main
2m 42s
.github/workflows/weekly.yml .github/workflows/weekly.yml #71: Scheduled
6m 23s main
main
6m 23s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #132: Scheduled
5m 43s main
main
5m 43s
Benchmark Benchmark #10: Scheduled
2m 48s main
main
2m 48s
Benchmark Benchmark #9: Scheduled
2m 48s main
main
2m 48s
Benchmark Benchmark #8: Scheduled
2m 43s main
main
2m 43s
Build charon-linux-aarch64 artifacts on release Build and test #3867: Pull request #1119 opened by erickt
Action required erickt:main
erickt:main
Action required
Benchmark Benchmark #7: Scheduled
2m 48s main
main
2m 48s
Add support for postcard format Build and test #3866: Pull request #1118 synchronize by N1ark
7m 4s soteria-tools:postcard2
soteria-tools:postcard2
7m 4s
Add support for postcard format Build and test #3865: Pull request #1118 synchronize by N1ark
3m 40s soteria-tools:postcard2
soteria-tools:postcard2
3m 40s
Benchmark Benchmark #6: Scheduled
2m 51s main
main
2m 51s
Keep generic types when translating trait alias in monomorphized mode Build and test #3864: Pull request #1087 synchronize by Sam-Ni
6m 33s Sam-Ni:mono_trait_alias
Sam-Ni:mono_trait_alias
6m 33s
Add support for postcard format Build and test #3863: Pull request #1118 synchronize by N1ark
4m 53s soteria-tools:postcard2
soteria-tools:postcard2
4m 53s
Add support for postcard format Build and test #3862: Pull request #1118 opened by N1ark
4m 35s soteria-tools:postcard2
soteria-tools:postcard2
4m 35s
Merge pull request #1117 from Nadrieril/fix-1116 Build and test #3861: Commit db1b72c pushed by github-merge-queue Bot
1m 4s main
main
1m 4s
Merge pull request #1117 from Nadrieril/fix-1116 Deploy Doc #444: Commit db1b72c pushed by github-merge-queue Bot
2m 23s main
main
2m 23s
Merge pull request #1117 from Nadrieril/fix-1116 Release #41: Commit db1b72c pushed by github-merge-queue Bot
14m 37s main
main
14m 37s