Skip to content

Actions: FR-vdash-bot/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
512 workflow runs
512 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #128: completed by FR-vdash-bot
November 11, 2024 08:20 3s
November 11, 2024 08:20 3s
Merge branch 'master' into 2905_release Nix CI #82: Commit fceabc0 pushed by FR-vdash-bot
November 11, 2024 07:03 51m 50s test-2905-2
test-2905-2
November 11, 2024 07:03 51m 50s
Merge branch 'master' into 2905_release CI #123: Commit fceabc0 pushed by FR-vdash-bot
November 11, 2024 07:03 1h 17m 19s test-2905-2
test-2905-2
November 11, 2024 07:03 1h 17m 19s
PR release PR release #127: completed by FR-vdash-bot
November 11, 2024 06:54 2s
November 11, 2024 06:54 2s
PR release PR release #126: completed by FR-vdash-bot
November 11, 2024 06:48 2s
November 11, 2024 06:48 2s
PR release PR release #125: completed by FR-vdash-bot
November 11, 2024 06:37 3s
November 11, 2024 06:37 3s
Merge branch 'master' into 2905_release CI #122: Commit fceabc0 pushed by FR-vdash-bot
November 11, 2024 05:37 1h 17m 16s test_2905_2
test_2905_2
November 11, 2024 05:37 1h 17m 16s
Merge branch 'master' into 2905_release Nix CI #81: Commit fceabc0 pushed by FR-vdash-bot
November 11, 2024 05:37 36m 43s test_2905_2
test_2905_2
November 11, 2024 05:37 36m 43s
2905 release Check for modules that should use `prelude` #33: Pull request #10 synchronize by FR-vdash-bot
November 11, 2024 05:37 16s 2905_release
2905_release
November 11, 2024 05:37 16s
2905 release Nix CI #80: Pull request #10 synchronize by FR-vdash-bot
November 11, 2024 05:37 52m 12s 2905_release
2905_release
November 11, 2024 05:37 52m 12s
2905 release Check PR title for commit convention #37: Pull request #10 synchronize by FR-vdash-bot
November 11, 2024 05:37 11s 2905_release
2905_release
November 11, 2024 05:37 11s
2905 release Check for copyright header #33: Pull request #10 synchronize by FR-vdash-bot
November 11, 2024 05:37 27s 2905_release
2905_release
November 11, 2024 05:37 27s
2905 release Check for stage0 changes #23: Pull request #10 synchronize by FR-vdash-bot
November 11, 2024 05:37 38s 2905_release
2905_release
November 11, 2024 05:37 38s
2905 release Actionlint #23: Pull request #10 synchronize by FR-vdash-bot
November 11, 2024 05:37 37s 2905_release
2905_release
November 11, 2024 05:37 37s
2905 release CI #121: Pull request #10 synchronize by FR-vdash-bot
November 11, 2024 05:37 59m 58s 2905_release
2905_release
November 11, 2024 05:37 59m 58s
Merge branch 'master' into 2905_release CI #120: Commit fceabc0 pushed by FR-vdash-bot
November 11, 2024 05:37 1h 11m 4s 2905_release
2905_release
November 11, 2024 05:37 1h 11m 4s
PR release PR release #124: completed by FR-vdash-bot
November 11, 2024 05:26 2s
November 11, 2024 05:26 2s
test CI #119: Commit 6195dc5 pushed by FR-vdash-bot
November 11, 2024 04:38 48m 43s test_2905_2
test_2905_2
November 11, 2024 04:38 48m 43s
test Nix CI #79: Commit 6195dc5 pushed by FR-vdash-bot
November 11, 2024 04:38 51m 10s test_2905_2
test_2905_2
November 11, 2024 04:38 51m 10s
PR release PR release #123: completed by FR-vdash-bot
November 11, 2024 04:36 2s
November 11, 2024 04:36 2s
add test, bump up max synth heartbeats Nix CI #78: Commit bc06608 pushed by FR-vdash-bot
November 11, 2024 03:52 47m 5s test_2905
test_2905
November 11, 2024 03:52 47m 5s
add test, bump up max synth heartbeats CI #118: Commit bc06608 pushed by FR-vdash-bot
November 11, 2024 03:52 43m 29s test_2905
test_2905
November 11, 2024 03:52 43m 29s
PR release PR release #122: completed by FR-vdash-bot
September 5, 2024 16:05 2s
September 5, 2024 16:05 2s
PR release PR release #121: completed by FR-vdash-bot
September 5, 2024 15:51 3s
September 5, 2024 15:51 3s
ci Nix CI #77: Commit 2f83f2f pushed by FR-vdash-bot
September 5, 2024 15:08 39m 47s tc-rtol-3
tc-rtol-3
September 5, 2024 15:08 39m 47s