Skip to content

Actions: fgdorais/lean4-unicode-basic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
714 workflow runs
714 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #912653062 Dependabot Updates #124: by dependabot bot
November 6, 2024 10:48 35s main
main
November 6, 2024 10:48 35s
Update Toolchain Update Toolchain #367: Scheduled
November 6, 2024 03:06 14s main
main
November 6, 2024 03:06 14s
chore: update toolchain v4.14.0-rc2 Build #131: Commit 77c92fc pushed by fgdorais
November 6, 2024 00:05 51s main
main
November 6, 2024 00:05 51s
Update Toolchain Update Toolchain #366: Manually run by fgdorais
November 6, 2024 00:02 21s main
main
November 6, 2024 00:02 21s
github_actions in /. - Update #912072512 Dependabot Updates #123: by dependabot bot
November 5, 2024 10:13 35s main
main
November 5, 2024 10:13 35s
Update Toolchain Update Toolchain #365: Scheduled
November 5, 2024 03:07 23s main
main
November 5, 2024 03:07 23s
github_actions in /. - Update #911281408 Dependabot Updates #122: by dependabot bot
November 4, 2024 10:44 41s main
main
November 4, 2024 10:44 41s
chore: update toolchain v4.14.0-rc1 Build #130: Commit 43e0fd7 pushed by fgdorais
November 4, 2024 04:56 43s main
main
November 4, 2024 04:56 43s
Update Toolchain Update Toolchain #364: Scheduled
November 4, 2024 03:12 19s main
main
November 4, 2024 03:12 19s
fix: revert package name change Build #129: Commit b41bc9c pushed by fgdorais
November 3, 2024 03:40 44s dev
dev
November 3, 2024 03:40 44s
fix: revert package name change Build #128: Commit b41bc9c pushed by fgdorais
November 3, 2024 03:27 39s main
main
November 3, 2024 03:27 39s
Release Release #4: by fgdorais
November 3, 2024 03:26 3m 14s v1.1.0
v1.1.0
November 3, 2024 03:26 3m 14s
chore: make lakefile aware of reservoir (#44) Release #3: Commit 477235c pushed by fgdorais
November 3, 2024 03:20 37s v1.1.0
v1.1.0
November 3, 2024 03:20 37s
chore: make lakefile aware of reservoir (#44) Build #127: Commit 477235c pushed by fgdorais
November 3, 2024 03:19 44s main
main
November 3, 2024 03:19 44s
chore: update docs for v1.1.0 Build #126: Commit a58140b pushed by fgdorais
November 3, 2024 03:17 34s main
main
November 3, 2024 03:17 34s
chore: make lakefile aware of reservoir Build #125: Pull request #44 synchronize by fgdorais
November 3, 2024 03:16 40s lake-reservoir
lake-reservoir
November 3, 2024 03:16 40s
Update Toolchain Update Toolchain #363: Scheduled
November 3, 2024 03:12 12s main
main
November 3, 2024 03:12 12s
chore: update build workflow Build #124: Commit aa5daef pushed by fgdorais
November 3, 2024 03:07 35s main
main
November 3, 2024 03:07 35s
chore: remove stable branch from build workflow Build #123: Commit 4046686 pushed by fgdorais
November 3, 2024 02:37 31s main
main
November 3, 2024 02:37 31s
pages build and deployment pages-build-deployment #21: by fgdorais
November 2, 2024 18:58 40s gh-pages
gh-pages
November 2, 2024 18:58 40s
chore: add release workflow (#46) Release #2: Commit 64d8c2e pushed by fgdorais
November 2, 2024 18:31 3m 12s v0.0.1
v0.0.1
November 2, 2024 18:31 3m 12s
Publish Docs Publish Docs #7: released by fgdorais
November 2, 2024 18:31 43s
November 2, 2024 18:31 43s
Publish Docs Publish Docs #6: released by fgdorais
November 2, 2024 18:29 38s
November 2, 2024 18:29 38s
Publish Docs Publish Docs #5: released by fgdorais
November 2, 2024 18:24 41s
November 2, 2024 18:24 41s
chore: add release workflow (#46) Release #1: Commit 64d8c2e pushed by fgdorais
November 2, 2024 18:24 Startup failure v0.0.0
v0.0.0
November 2, 2024 18:24 Startup failure