Skip to content

Actions: leanprover/lean-action

Actions

Functional Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
functional_tests.yml
170 workflow runs
170 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: use lake manifest to determine mathlib dependency Functional Tests #120: Pull request #88 synchronize by austinletson
August 18, 2024 13:14 1m 47s 82-use-the-lake-manifest-to-determine-mathlib-dependency
82-use-the-lake-manifest-to-determine-mathlib-dependency
August 18, 2024 13:14 1m 47s
feat: use lake manifest to determine mathlib dependency Functional Tests #119: Pull request #88 synchronize by austinletson
August 18, 2024 13:10 1m 51s 82-use-the-lake-manifest-to-determine-mathlib-dependency
82-use-the-lake-manifest-to-determine-mathlib-dependency
August 18, 2024 13:10 1m 51s
feat: use lake manifest to determine mathlib dependency Functional Tests #118: Pull request #88 synchronize by austinletson
August 18, 2024 13:08 1m 54s 82-use-the-lake-manifest-to-determine-mathlib-dependency
82-use-the-lake-manifest-to-determine-mathlib-dependency
August 18, 2024 13:08 1m 54s
feat: use lake manifest to determine mathlib dependency Functional Tests #117: Pull request #88 synchronize by austinletson
August 18, 2024 13:03 1m 13s 82-use-the-lake-manifest-to-determine-mathlib-dependency
82-use-the-lake-manifest-to-determine-mathlib-dependency
August 18, 2024 13:03 1m 13s
feat: use lake manifest to determine mathlib dependency Functional Tests #116: Pull request #88 synchronize by austinletson
August 18, 2024 12:52 1m 50s 82-use-the-lake-manifest-to-determine-mathlib-dependency
82-use-the-lake-manifest-to-determine-mathlib-dependency
August 18, 2024 12:52 1m 50s
feat: use lake manifest to determine mathlib dependency Functional Tests #115: Pull request #88 synchronize by austinletson
August 18, 2024 12:49 1m 52s 82-use-the-lake-manifest-to-determine-mathlib-dependency
82-use-the-lake-manifest-to-determine-mathlib-dependency
August 18, 2024 12:49 1m 52s
feat: use lake manifest to determine mathlib dependency Functional Tests #114: Pull request #88 synchronize by austinletson
August 18, 2024 12:36 1m 56s 82-use-the-lake-manifest-to-determine-mathlib-dependency
82-use-the-lake-manifest-to-determine-mathlib-dependency
August 18, 2024 12:36 1m 56s
feat: use lake manifest to determine mathlib dependency Functional Tests #113: Pull request #88 opened by austinletson
August 18, 2024 12:09 1m 52s 82-use-the-lake-manifest-to-determine-mathlib-dependency
82-use-the-lake-manifest-to-determine-mathlib-dependency
August 18, 2024 12:09 1m 52s
feat: switch elan installation method from tar -> elan-init.sh Functional Tests #112: Pull request #84 synchronize by austinletson
August 18, 2024 11:35 1m 51s use-elan-install-script
use-elan-install-script
August 18, 2024 11:35 1m 51s
feat: switch elan installation method from tar -> elan-init.sh Functional Tests #111: Pull request #84 synchronize by austinletson
August 18, 2024 11:33 1m 57s use-elan-install-script
use-elan-install-script
August 18, 2024 11:33 1m 57s
feat: switch elan installation method from tar -> elan-init.sh Functional Tests #110: Pull request #84 opened by austinletson
August 14, 2024 13:17 2m 5s use-elan-install-script
use-elan-install-script
August 14, 2024 13:17 2m 5s
Functional Tests Functional Tests #109: Manually run by austinletson
August 14, 2024 12:31 1m 49s support-macos-runner
support-macos-runner
August 14, 2024 12:31 1m 49s
Functional Tests Functional Tests #108: Manually run by austinletson
August 14, 2024 12:18 1m 58s support-macos-runner
support-macos-runner
August 14, 2024 12:18 1m 58s
Functional Tests Functional Tests #107: Manually run by austinletson
August 14, 2024 12:15 1m 58s support-macos-runner
support-macos-runner
August 14, 2024 12:15 1m 58s
Functional Tests Functional Tests #106: Manually run by austinletson
August 14, 2024 12:11 1m 56s support-macos-runner
support-macos-runner
August 14, 2024 12:11 1m 56s
feat: bump functional_tests.yml default version to 4.10.0 Functional Tests #105: Pull request #81 opened by austinletson
August 2, 2024 00:28 1m 49s bump-functional-tests-lean-version-to-4.10.0
bump-functional-tests-lean-version-to-4.10.0
August 2, 2024 00:28 1m 49s
Functional Tests Functional Tests #104: Manually run by austinletson
August 2, 2024 00:22 1m 53s main
main
August 2, 2024 00:22 1m 53s
Functional Tests Functional Tests #103: Manually run by austinletson
July 20, 2024 11:25 1m 0s release/v1.0.0
release/v1.0.0
July 20, 2024 11:25 1m 0s
Functional Tests Functional Tests #102: Manually run by austinletson
July 20, 2024 11:22 1m 2s main
main
July 20, 2024 11:22 1m 2s
Functional Tests Functional Tests #101: Manually run by austinletson
July 20, 2024 11:19 1m 11s release/v1.0.0
release/v1.0.0
July 20, 2024 11:19 1m 11s
Functional Tests Functional Tests #100: Manually run by austinletson
July 20, 2024 11:17 1m 48s release/v1.0.0
release/v1.0.0
July 20, 2024 11:17 1m 48s
feat: add lint input to control the lake lint step Functional Tests #99: Pull request #73 synchronize by austinletson
July 17, 2024 11:30 1m 50s 46-update-the-lint-step-to-use-the-more-flexible-lake-lint
46-update-the-lint-step-to-use-the-more-flexible-lake-lint
July 17, 2024 11:30 1m 50s
feat: add lint input to control the lake lint step Functional Tests #98: Pull request #73 synchronize by austinletson
July 17, 2024 11:28 1m 52s 46-update-the-lint-step-to-use-the-more-flexible-lake-lint
46-update-the-lint-step-to-use-the-more-flexible-lake-lint
July 17, 2024 11:28 1m 52s
feat: add lint input to control the lake lint step Functional Tests #97: Pull request #73 synchronize by austinletson
July 15, 2024 13:40 2m 0s 46-update-the-lint-step-to-use-the-more-flexible-lake-lint
46-update-the-lint-step-to-use-the-more-flexible-lake-lint
July 15, 2024 13:40 2m 0s
fix: use input instead of hardcoded toolchain in auto-config tests Functional Tests #96: Pull request #77 opened by austinletson
July 15, 2024 13:34 1m 54s fix-lean-toolchain-in-auto-config-tests
fix-lean-toolchain-in-auto-config-tests
July 15, 2024 13:34 1m 54s