Skip to content

Actions: leanprover-community/lean4web

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
77 workflow runs
77 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build and Test Build and Test #380: Pull request #76 synchronize by joneugster
23m 10s chore/bump-dependencies
chore/bump-dependencies
23m 10s
Build and Test Build and Test #379: Pull request #76 synchronize by joneugster
28m 52s chore/bump-dependencies
chore/bump-dependencies
28m 52s
Build and Test Build and Test #378: Pull request #76 synchronize by joneugster
25m 13s chore/bump-dependencies
chore/bump-dependencies
25m 13s
Build and Test Build and Test #377: Pull request #76 synchronize by joneugster
5m 4s chore/bump-dependencies
chore/bump-dependencies
5m 4s
Build and Test Build and Test #376: Manually run by joneugster
6m 27s chore/bump-dependencies
chore/bump-dependencies
6m 27s
Build and Test Build and Test #375: Commit 11e725e pushed by joneugster
11m 45s main
main
11m 45s
Build and Test Build and Test #374: Commit c876f47 pushed by joneugster
11m 1s main
main
11m 1s
Build and Test Build and Test #373: Pull request #64 synchronize by kant2002
1m 41s kant2002:kant/add-windows-build
kant2002:kant/add-windows-build
1m 41s
Build and Test Build and Test #368: Pull request #64 synchronize by kant2002
8m 57s kant2002:kant/add-windows-build
kant2002:kant/add-windows-build
8m 57s
Build and Test Build and Test #367: Commit 7a1a515 pushed by abentkamp
10m 49s dev
dev
10m 49s
Build and Test Build and Test #366: Commit 0043aa1 pushed by abentkamp
9m 15s dev
dev
9m 15s
Build and Test Build and Test #365: Commit 963082a pushed by abentkamp
3m 38s dev
dev
3m 38s
Build and Test Build and Test #364: Commit 6bdd409 pushed by abentkamp
8m 2s dev
dev
8m 2s
Build and Test Build and Test #363: Commit 6bdd409 pushed by abentkamp
8m 56s main
main
8m 56s
Build and Test Build and Test #362: Commit 33a1531 pushed by abentkamp
18m 17s main
main
18m 17s
Build and Test Build and Test #361: Commit c19bc4c pushed by abentkamp
7m 50s main
main
7m 50s
Build and Test Build and Test #360: Commit cc5c457 pushed by abentkamp
6m 14s main
main
6m 14s
Build and Test Build and Test #359: Commit cc5c457 pushed by abentkamp
7m 41s dev
dev
7m 41s
Build and Test Build and Test #358: Manually run by abentkamp
7m 42s dev
dev
7m 42s
Build and Test Build and Test #357: Commit 7c0556c pushed by abentkamp
53s dev
dev
53s
Build and Test Build and Test #356: Commit 787ae88 pushed by abentkamp
13m 56s dev
dev
13m 56s
Build and Test Build and Test #355: Commit ead5d03 pushed by abentkamp
7m 57s main
main
7m 57s
Build and Test Build and Test #354: Commit ead5d03 pushed by abentkamp
7m 9s dev
dev
7m 9s
Build and Test Build and Test #353: Commit 8687d0b pushed by abentkamp
8m 22s dev
dev
8m 22s
Build and Test Build and Test #352: Commit 35f9f63 pushed by abentkamp
6m 57s dev
dev
6m 57s