Skip to content

Actions: AeneasVerif/charon

Actions

.github/workflows/rustc-tests.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rustc-tests.yml
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

.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
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #44: Scheduled
January 5, 2025 01:12 7m 44s main
main
January 5, 2025 01:12 7m 44s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #43: Scheduled
December 29, 2024 01:13 26s main
main
December 29, 2024 01:13 26s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #42: Scheduled
December 22, 2024 01:12 8m 8s main
main
December 22, 2024 01:12 8m 8s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #41: Scheduled
December 15, 2024 01:18 7m 39s main
main
December 15, 2024 01:18 7m 39s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #40: Scheduled
December 8, 2024 01:18 8m 27s main
main
December 8, 2024 01:18 8m 27s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #39: Scheduled
December 1, 2024 01:23 3m 33s main
main
December 1, 2024 01:23 3m 33s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #38: Manually run by Nadrieril
November 25, 2024 10:19 4m 3s main
main
November 25, 2024 10:19 4m 3s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #37: Scheduled
November 24, 2024 01:14 3m 48s main
main
November 24, 2024 01:14 3m 48s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #36: Scheduled
November 17, 2024 01:14 4m 32s main
main
November 17, 2024 01:14 4m 32s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #35: Scheduled
November 10, 2024 01:10 4m 0s main
main
November 10, 2024 01:10 4m 0s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #34: Scheduled
November 3, 2024 01:11 7m 33s main
main
November 3, 2024 01:11 7m 33s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #33: Scheduled
October 27, 2024 01:12 7m 59s main
main
October 27, 2024 01:12 7m 59s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #32: Scheduled
October 20, 2024 01:12 3m 47s main
main
October 20, 2024 01:12 3m 47s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #31: Scheduled
October 13, 2024 01:11 7m 6s main
main
October 13, 2024 01:11 7m 6s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #30: Scheduled
October 6, 2024 01:11 7m 11s main
main
October 6, 2024 01:11 7m 11s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #29: Scheduled
September 29, 2024 01:11 7m 46s main
main
September 29, 2024 01:11 7m 46s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #28: Scheduled
September 22, 2024 01:10 1d 8h 4m 25s main
main
September 22, 2024 01:10 1d 8h 4m 25s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #27: Manually run by Nadrieril
September 16, 2024 14:32 5m 11s main
main
September 16, 2024 14:32 5m 11s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #26: Scheduled
September 15, 2024 01:10 7m 34s main
main
September 15, 2024 01:10 7m 34s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #25: Scheduled
September 8, 2024 01:08 6m 57s main
main
September 8, 2024 01:08 6m 57s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #24: Scheduled
September 1, 2024 01:12 7m 24s main
main
September 1, 2024 01:12 7m 24s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #23: Scheduled
August 25, 2024 01:05 4m 0s main
main
August 25, 2024 01:05 4m 0s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #22: Scheduled
August 18, 2024 01:03 6m 52s main
main
August 18, 2024 01:03 6m 52s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #21: Scheduled
August 11, 2024 01:04 7m 42s main
main
August 11, 2024 01:04 7m 42s