Skip to content

Actions: joehendrix/lean-crypto

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add apache2 license CI #72: Commit 1c7f01d pushed by joehendrix
September 9, 2024 09:42 1m 14s license
license
September 9, 2024 09:42 1m 14s
Add apache2 license CI #71: Commit 1c7f01d pushed by joehendrix
September 9, 2024 09:41 1m 14s main
main
September 9, 2024 09:41 1m 14s
Merge pull request #14 from joehendrix/bump-04-30 CI #70: Commit 323ee9b pushed by joehendrix
October 2, 2023 18:10 2m 9s main
main
October 2, 2023 18:10 2m 9s
Bump Lean to 2023-04-20 and LeanSMT to newest version CI #69: Pull request #14 synchronize by Vtec234
September 6, 2023 03:50 15m 55s bump-04-30
bump-04-30
September 6, 2023 03:50 15m 55s
chore: use dylib facet for shared library CI #68: Commit 7c98881 pushed by Vtec234
September 6, 2023 03:50 17m 32s bump-04-30
bump-04-30
September 6, 2023 03:50 17m 32s
Bump Lean to 2023-04-20 and LeanSMT to newest version CI #67: Pull request #14 synchronize by Vtec234
September 6, 2023 03:35 6m 18s bump-04-30
bump-04-30
September 6, 2023 03:35 6m 18s
chore: load more dylibs to fix test CI #66: Commit 6a2c801 pushed by Vtec234
September 6, 2023 03:35 15m 32s bump-04-30
bump-04-30
September 6, 2023 03:35 15m 32s
Bump Lean to 2023-04-20 and LeanSMT to newest version CI #65: Pull request #14 synchronize by Vtec234
September 6, 2023 03:05 28m 25s bump-04-30
bump-04-30
September 6, 2023 03:05 28m 25s
chore: ci action order CI #64: Commit a4b517c pushed by Vtec234
September 6, 2023 03:05 18m 3s bump-04-30
bump-04-30
September 6, 2023 03:05 18m 3s
Bump Lean to 2023-04-20 and LeanSMT to newest version CI #63: Pull request #14 synchronize by Vtec234
September 6, 2023 02:58 22m 20s bump-04-30
bump-04-30
September 6, 2023 02:58 22m 20s
chore: lean_packages -> lake-packages CI #62: Commit b1106d2 pushed by Vtec234
September 6, 2023 02:58 20m 48s bump-04-30
bump-04-30
September 6, 2023 02:58 20m 48s
Bump Lean to 2023-04-20 and LeanSMT to newest version CI #61: Pull request #14 synchronize by Vtec234
September 6, 2023 02:56 20m 33s bump-04-30
bump-04-30
September 6, 2023 02:56 20m 33s
chore: fetch mathlib cache CI #60: Commit 77e297d pushed by Vtec234
September 6, 2023 02:56 13m 48s bump-04-30
bump-04-30
September 6, 2023 02:56 13m 48s
Bump Lean to 2023-04-20 and LeanSMT to newest version CI #59: Pull request #14 synchronize by Vtec234
September 6, 2023 02:54 11m 35s bump-04-30
bump-04-30
September 6, 2023 02:54 11m 35s
chore: fix tests CI #58: Commit 3d24bed pushed by Vtec234
September 6, 2023 02:54 25m 42s bump-04-30
bump-04-30
September 6, 2023 02:54 25m 42s
Bump Lean to 2023-04-20 and LeanSMT to newest version CI #57: Pull request #14 opened by Vtec234
September 6, 2023 02:42 22m 15s bump-04-30
bump-04-30
September 6, 2023 02:42 22m 15s
chore: bump Lean CI #56: Commit acdc047 pushed by Vtec234
September 6, 2023 02:41 19m 46s bump-04-30
bump-04-30
September 6, 2023 02:41 19m 46s