Skip to content

Actions: fgdorais/lean4-parser

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
831 workflow runs
831 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
chore: bump actions/checkout from 6 to 7 (#121) CI #289: Commit 0e430b7 pushed by fgdorais
23s main
main
23s
Update Toolchain Update Toolchain #960: Scheduled
14s main
main
14s
chore: bump actions/checkout from 6 to 7 CI #288: Pull request #121 opened by dependabot Bot
35s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
35s
github_actions in /. - Update #1421786469 Dependabot Updates #563: by dependabot Bot
35s main
main
35s
fix: universe issue (#120) CI #287: Commit 2e6f42f pushed by fgdorais
37s main
main
37s
fix: universe issue CI #286: Pull request #120 opened by fgdorais
29s universe-patch
universe-patch
29s
chore: update toolchain v4.32.0-rc1 (#118) CI #285: Commit a941075 pushed by fgdorais
2m 5s main
main
2m 5s
chore: update toolchain v4.32.0-rc1 CI #284: Pull request #118 synchronize by fgdorais
2m 1s update-toolchain-v4.32.0-rc1
update-toolchain-v4.32.0-rc1
2m 1s
chore: update toolchain v4.32.0-rc1 CI #283: Pull request #118 synchronize by github-actions Bot
1m 36s update-toolchain-v4.32.0-rc1
update-toolchain-v4.32.0-rc1
1m 36s
Update Toolchain Update Toolchain #959: Scheduled
11s main
main
11s
feat: add allowImportAll lakefile option (#119) CI #282: Commit cd89113 pushed by fgdorais
30s main
main
30s
feat: add allowImportAll lakefile option CI #281: Pull request #119 opened by fgdorais
25s allow-import-all
allow-import-all
25s
chore: update toolchain v4.32.0-rc1 CI #280: Pull request #118 synchronize by fgdorais
1m 44s update-toolchain-v4.32.0-rc1
update-toolchain-v4.32.0-rc1
1m 44s
chore: update toolchain v4.32.0-rc1 CI #279: Pull request #118 synchronize by fgdorais
1m 49s update-toolchain-v4.32.0-rc1
update-toolchain-v4.32.0-rc1
1m 49s
chore: update toolchain v4.32.0-rc1 CI #278: Pull request #118 opened by github-actions Bot
Action required update-toolchain-v4.32.0-rc1
update-toolchain-v4.32.0-rc1
Action required
Update Toolchain Update Toolchain #958: Manually run by fgdorais
18s main
main
18s
github_actions in /. - Update #1419974499 Dependabot Updates #562: by dependabot Bot
32s main
main
32s
Update Toolchain Update Toolchain #957: Scheduled
11s main
main
11s
github_actions in /. - Update #1417157087 Dependabot Updates #561: by dependabot Bot
41s main
main
41s
chore: update toolchain v4.31.0 CI #277: Commit 4a9f45a pushed by fgdorais
1m 49s main
main
1m 49s
chore: update toolchain v4.31.0 CI #276: Pull request #116 opened by github-actions Bot
1m 49s update-toolchain-v4.31.0
update-toolchain-v4.31.0
1m 49s
Update Toolchain Update Toolchain #956: Scheduled
10s main
main
10s
github_actions in /. - Update #1414486336 Dependabot Updates #560: by dependabot Bot
30s main
main
30s
Update Toolchain Update Toolchain #955: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #954: Scheduled
16s main
main
16s