Skip to content

Actions: leanprover/theorem_proving_in_lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
631 workflow runs
631 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

mdbook test using latest lean4 bits mdbook test using latest lean4 bits #1425: Scheduled
October 24, 2024 10:00 1m 12s master
master
October 24, 2024 10:00 1m 12s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #1424: Scheduled
October 23, 2024 10:00 1m 13s master
master
October 23, 2024 10:00 1m 13s
Use eval! to evaluate functions that use sorry. mdbook deploy to Netlify #76: Pull request #133 opened by lcrh
October 23, 2024 00:18 Action required lcrh:override_safety_warning_eval_sorry
lcrh:override_safety_warning_eval_sorry
October 23, 2024 00:18 Action required
Use eval! to evaluate functions that use sorry. mdbook test using latest lean4 bits #1423: Pull request #133 opened by lcrh
October 23, 2024 00:18 Action required lcrh:override_safety_warning_eval_sorry
lcrh:override_safety_warning_eval_sorry
October 23, 2024 00:18 Action required
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #1422: Scheduled
October 22, 2024 10:00 1m 24s master
master
October 22, 2024 10:00 1m 24s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #1421: Scheduled
October 21, 2024 10:01 1m 25s master
master
October 21, 2024 10:01 1m 25s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #1420: Scheduled
October 20, 2024 10:00 1m 10s master
master
October 20, 2024 10:00 1m 10s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #1419: Scheduled
October 19, 2024 10:00 1m 11s master
master
October 19, 2024 10:00 1m 11s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #1418: Scheduled
October 18, 2024 10:01 1m 24s master
master
October 18, 2024 10:01 1m 24s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #1417: Scheduled
October 17, 2024 10:00 1m 27s master
master
October 17, 2024 10:00 1m 27s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #1416: Scheduled
October 16, 2024 10:00 1m 17s master
master
October 16, 2024 10:00 1m 17s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #1415: Scheduled
October 15, 2024 10:01 1m 18s master
master
October 15, 2024 10:01 1m 18s
pages build and deployment pages-build-deployment #48: by github-pages bot
October 14, 2024 11:24 37s
October 14, 2024 11:24 37s
fix: update stale lean 4 extension instructions (#124) mdbook test using latest lean4 bits #1414: Commit ce23823 pushed by david-christiansen
October 14, 2024 11:24 1m 19s master
master
October 14, 2024 11:24 1m 19s
fix: update stale lean 4 extension instructions (#124) mdbook deploy to github pages #24: Commit ce23823 pushed by david-christiansen
October 14, 2024 11:24 19s master
master
October 14, 2024 11:24 19s
fix: update stale lean 4 extension instructions (#124) mdbook deploy to Netlify #75: Commit ce23823 pushed by david-christiansen
October 14, 2024 11:24 15s master
master
October 14, 2024 11:24 15s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #1413: Scheduled
October 14, 2024 10:00 1m 23s master
master
October 14, 2024 10:00 1m 23s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #1412: Scheduled
October 13, 2024 10:00 1m 10s master
master
October 13, 2024 10:00 1m 10s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #1411: Scheduled
October 12, 2024 10:00 1m 18s master
master
October 12, 2024 10:00 1m 18s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #1410: Scheduled
October 11, 2024 10:00 1m 17s master
master
October 11, 2024 10:00 1m 17s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #1409: Scheduled
October 10, 2024 10:00 1m 29s master
master
October 10, 2024 10:00 1m 29s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #1408: Scheduled
October 9, 2024 10:00 1m 12s master
master
October 9, 2024 10:00 1m 12s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #1407: Scheduled
October 8, 2024 10:01 1m 19s master
master
October 8, 2024 10:01 1m 19s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #1406: Scheduled
October 7, 2024 10:00 1m 13s master
master
October 7, 2024 10:00 1m 13s
mdbook test using latest lean4 bits mdbook test using latest lean4 bits #1405: Scheduled
October 6, 2024 10:00 1m 10s master
master
October 6, 2024 10:00 1m 10s