Skip to content

Actions: fgdorais/lean4-parser

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
856 workflow runs
856 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: update toolchain v4.35.0-rc3 CI #330: Pull request #136 synchronize by github-actions Bot
30s update-toolchain-v4.35.0-rc3
update-toolchain-v4.35.0-rc3
30s
Update Toolchain Update Toolchain #1060: Scheduled
11s main
main
11s
chore: update toolchain v4.35.0-rc3 CI #329: Pull request #136 synchronize by fgdorais
1m 50s update-toolchain-v4.35.0-rc3
update-toolchain-v4.35.0-rc3
1m 50s
Update Toolchain Update Toolchain #1059: Scheduled
13s main
main
13s
github_actions in /. - Update #1592304940 Dependabot Updates #634: by dependabot Bot
33s main
main
33s
chore: update toolchain v4.35.0-rc3 CI #328: Pull request #136 opened by github-actions Bot
2m 0s update-toolchain-v4.35.0-rc3
update-toolchain-v4.35.0-rc3
2m 0s
Update Toolchain Update Toolchain #1058: Scheduled
13s main
main
13s
github_actions in /. - Update #1590684641 Dependabot Updates #633: by dependabot Bot
32s main
main
32s
Update Toolchain Update Toolchain #1057: Scheduled
10s main
main
10s
github_actions in /. - Update #1589243475 Dependabot Updates #632: by dependabot Bot
30s main
main
30s
Update Toolchain Update Toolchain #1056: Scheduled
10s main
main
10s
github_actions in /. - Update #1587824041 Dependabot Updates #631: by dependabot Bot
46s main
main
46s
Update Toolchain Update Toolchain #1055: Scheduled
18s main
main
18s
github_actions in /. - Update #1586287467 Dependabot Updates #630: by dependabot Bot
1m 12s main
main
1m 12s
Update Toolchain Update Toolchain #1054: Scheduled
14s main
main
14s
Update Toolchain Update Toolchain #1053: Scheduled
11s main
main
11s
Update Toolchain Update Toolchain #1052: Scheduled
9s main
main
9s
github_actions in /. - Update #1582438369 Dependabot Updates #629: by dependabot Bot
45s main
main
45s
Update Toolchain Update Toolchain #1051: Scheduled
16s main
main
16s
github_actions in /. - Update #1580718281 Dependabot Updates #628: by dependabot Bot
51s main
main
51s
chore: update toolchain v4.35.0-rc2 (#135) CI #327: Commit 955c545 pushed by fgdorais
1m 29s main
main
1m 29s
chore: update toolchain v4.35.0-rc2 CI #326: Pull request #135 synchronize by fgdorais
1m 55s update-toolchain-v4.35.0-rc2
update-toolchain-v4.35.0-rc2
1m 55s
chore: update toolchain v4.35.0-rc2 CI #325: Pull request #135 synchronize by fgdorais
1m 31s update-toolchain-v4.35.0-rc2
update-toolchain-v4.35.0-rc2
1m 31s
chore: update toolchain v4.34.0 (#133) CI #324: Commit 6f63405 pushed by fgdorais
1m 56s main
main
1m 56s
chore: update toolchain v4.35.0-rc2 CI #323: Pull request #135 opened by github-actions Bot
1m 36s update-toolchain-v4.35.0-rc2
update-toolchain-v4.35.0-rc2
1m 36s