Skip to content

Actions: fgdorais/lean4-parser

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
846 workflow runs
846 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
github_actions in /. - Update #1463960911 Dependabot Updates #583: by dependabot Bot
32s main
main
32s
chore: update toolchain v4.33.0-rc1 CI #306: Pull request #129 opened by github-actions Bot
Action required update-toolchain-v4.33.0-rc1
update-toolchain-v4.33.0-rc1
Action required
Update Toolchain Update Toolchain #987: Scheduled
15s main
main
15s
github_actions in /. - Update #1462305090 Dependabot Updates #582: by dependabot Bot
33s main
main
33s
Update Toolchain Update Toolchain #986: Scheduled
14s main
main
14s
github_actions in /. - Update #1460746358 Dependabot Updates #581: by dependabot Bot
36s main
main
36s
Refactor Parser.Stream CI #305: Pull request #124 synchronize by AmosNico
26s AmosNico:Parser.Stream
AmosNico:Parser.Stream
26s
Refactor Parser.Stream CI #304: Pull request #124 synchronize by AmosNico
34s AmosNico:Parser.Stream
AmosNico:Parser.Stream
34s
Add stream to Parser.Error, enabling nicer error messages. CI #303: Pull request #125 synchronize by AmosNico
30s AmosNico:error-with-stream
AmosNico:error-with-stream
30s
chore: update toolchain v4.32.0 (#128) CI #302: Commit afcde96 pushed by fgdorais
1m 58s main
main
1m 58s
chore: update toolchain v4.32.0 CI #301: Pull request #128 synchronize by fgdorais
1m 48s update-toolchain-v4.32.0
update-toolchain-v4.32.0
1m 48s
chore: update toolchain v4.32.0 CI #300: Pull request #128 opened by github-actions Bot
2m 11s update-toolchain-v4.32.0
update-toolchain-v4.32.0
2m 11s
Update Toolchain Update Toolchain #985: Scheduled
12s main
main
12s
github_actions in /. - Update #1459319523 Dependabot Updates #580: by dependabot Bot
34s main
main
34s
Update Toolchain Update Toolchain #984: Scheduled
10s main
main
10s
Update Toolchain Update Toolchain #983: Scheduled
13s main
main
13s
Update Toolchain Update Toolchain #982: Scheduled
9s main
main
9s
github_actions in /. - Update #1455927491 Dependabot Updates #579: by dependabot Bot
24s main
main
24s
Update Toolchain Update Toolchain #981: Scheduled
13s main
main
13s
github_actions in /. - Update #1454110884 Dependabot Updates #578: by dependabot Bot
28s main
main
28s
Update Toolchain Update Toolchain #980: Scheduled
12s main
main
12s
fix: setParser for ByteSlice (#127) CI #299: Commit 2e4408d pushed by fgdorais
29s main
main
29s
fix: setParser for ByteSlice CI #298: Pull request #127 opened by fgdorais
35s issue-126
issue-126
35s
pages build and deployment pages-build-deployment #5: by github-pages Bot
52s docs
docs
52s
Publish Docs Publish Docs #8: Manually run by fgdorais
10m 55s main
main
10m 55s