Skip to content

Actions: leanprover/lean-action

Actions

Update Functional Test Toolchain

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update_functional_test_toolchain.yml
18 workflow runs
18 workflow runs

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
Update Functional Test Toolchain Update Functional Test Toolchain #18: Scheduled
9s main
main
9s
Update Functional Test Toolchain Update Functional Test Toolchain #17: Scheduled
9s main
main
9s
Update Functional Test Toolchain Update Functional Test Toolchain #16: Scheduled
11s main
main
11s
Update Functional Test Toolchain Update Functional Test Toolchain #15: Scheduled
13s main
main
13s
Update Functional Test Toolchain Update Functional Test Toolchain #14: Scheduled
10s main
main
10s
Update Functional Test Toolchain Update Functional Test Toolchain #13: Scheduled
12s main
main
12s
Update Functional Test Toolchain Update Functional Test Toolchain #12: Scheduled
11s main
main
11s
Update Functional Test Toolchain Update Functional Test Toolchain #11: Scheduled
10s main
main
10s
Update Functional Test Toolchain Update Functional Test Toolchain #10: Scheduled
11s main
main
11s
Update Functional Test Toolchain Update Functional Test Toolchain #9: Scheduled
12s main
main
12s
Update Functional Test Toolchain Update Functional Test Toolchain #8: Scheduled
17s main
main
17s
Update Functional Test Toolchain Update Functional Test Toolchain #7: Scheduled
14s main
main
14s
Update Functional Test Toolchain Update Functional Test Toolchain #6: Scheduled
12s main
main
12s
Update Functional Test Toolchain Update Functional Test Toolchain #5: Scheduled
10s main
main
10s
Update Functional Test Toolchain Update Functional Test Toolchain #4: Scheduled
14s main
main
14s
Update Functional Test Toolchain Update Functional Test Toolchain #3: Scheduled
13s main
main
13s
Update Functional Test Toolchain Update Functional Test Toolchain #2: Scheduled
17s main
main
17s
Update Functional Test Toolchain Update Functional Test Toolchain #1: Scheduled
15s main
main
15s