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 #20: Scheduled
August 4, 2024 01:03 1d 7h 3m 29s main
main
August 4, 2024 01:03 1d 7h 3m 29s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #19: Scheduled
July 28, 2024 01:03 6m 49s main
main
July 28, 2024 01:03 6m 49s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #18: Scheduled
July 21, 2024 01:03 7m 4s main
main
July 21, 2024 01:03 7m 4s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #17: Scheduled
July 14, 2024 01:03 7m 30s main
main
July 14, 2024 01:03 7m 30s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #16: Scheduled
July 7, 2024 01:02 7m 43s main
main
July 7, 2024 01:02 7m 43s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #15: Scheduled
June 30, 2024 01:01 2m 1s main
main
June 30, 2024 01:01 2m 1s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #14: Scheduled
June 23, 2024 01:00 2m 39s main
main
June 23, 2024 01:00 2m 39s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #13: Manually run by Nadrieril
June 19, 2024 12:55 1m 35s main
main
June 19, 2024 12:55 1m 35s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #12: Scheduled
June 16, 2024 01:01 10s main
main
June 16, 2024 01:01 10s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #11: Scheduled
June 9, 2024 01:01 7m 1s main
main
June 9, 2024 01:01 7m 1s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #10: Manually run by Nadrieril
June 5, 2024 15:30 3m 2s main
main
June 5, 2024 15:30 3m 2s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #9: Manually run by Nadrieril
June 4, 2024 15:03 38s main
main
June 4, 2024 15:03 38s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #8: Scheduled
June 2, 2024 00:59 47s main
main
June 2, 2024 00:59 47s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #7: Scheduled
May 26, 2024 00:58 44s main
main
May 26, 2024 00:58 44s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #6: Scheduled
May 19, 2024 00:58 5m 44s main
main
May 19, 2024 00:58 5m 44s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #5: Scheduled
May 12, 2024 00:57 5m 58s main
main
May 12, 2024 00:57 5m 58s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #4: Scheduled
May 5, 2024 00:56 5m 3s main
main
May 5, 2024 00:56 5m 3s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #3: Scheduled
April 28, 2024 00:56 4m 26s main
main
April 28, 2024 00:56 4m 26s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #2: Manually run by Nadrieril
April 23, 2024 15:02 2m 11s main
main
April 23, 2024 15:02 2m 11s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #1: Manually run by Nadrieril
April 23, 2024 14:55 2m 57s main
main
April 23, 2024 14:55 2m 57s