Skip to content

Actions: leanprover/subverso

Actions

Formalities

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formalities.yml
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump to v4.14.0-rc1 (#58) Formalities #94: Commit dbb71c2 pushed by david-christiansen
November 4, 2024 13:01 15s main
main
November 4, 2024 13:01 15s
chore: bump to v4.14.0-rc1 Formalities #93: Pull request #58 synchronize by david-christiansen
November 4, 2024 12:35 16s kim-em:bump_to_v4.14.0-rc1
kim-em:bump_to_v4.14.0-rc1
November 4, 2024 12:35 16s
chore: bump to v4.14.0-rc1 Formalities #92: Pull request #58 synchronize by kim-em
November 4, 2024 01:24 9s kim-em:bump_to_v4.14.0-rc1
kim-em:bump_to_v4.14.0-rc1
November 4, 2024 01:24 9s
chore: bump to v4.14.0-rc1 Formalities #91: Pull request #58 synchronize by kim-em
November 4, 2024 01:17 24s kim-em:bump_to_v4.14.0-rc1
kim-em:bump_to_v4.14.0-rc1
November 4, 2024 01:17 24s
chore: bump to v4.14.0-rc1 Formalities #90: Pull request #58 opened by kim-em
November 4, 2024 01:16 14s kim-em:bump_to_v4.14.0-rc1
kim-em:bump_to_v4.14.0-rc1
November 4, 2024 01:16 14s
chore: update to work with latest nightly (#57) Formalities #89: Commit a06d555 pushed by david-christiansen
October 30, 2024 17:28 7s main
main
October 30, 2024 17:28 7s
chore: update to work with latest nightly Formalities #88: Pull request #57 opened by david-christiansen
October 30, 2024 17:15 55s bump-2024-10-30
bump-2024-10-30
October 30, 2024 17:15 55s
chore: update to work with latest nightly Formalities #87: Commit 2244e63 pushed by david-christiansen
October 30, 2024 17:15 18s bump-2024-10-30
bump-2024-10-30
October 30, 2024 17:15 18s
chore: update to work with latest nightly Formalities #86: Commit a318a3d pushed by david-christiansen
October 30, 2024 17:14 10s bump-2024-10-30
bump-2024-10-30
October 30, 2024 17:14 10s
chore: add recent Leans to CI (#55) Formalities #85: Commit d0b2c57 pushed by david-christiansen
October 11, 2024 07:25 10s main
main
October 11, 2024 07:25 10s
fix: improved tracing and fix anonymous ctors (#54) Formalities #84: Commit dd480cb pushed by david-christiansen
October 11, 2024 07:25 11s main
main
October 11, 2024 07:25 11s
chore: unused variable warnings (#52) Formalities #83: Commit 313a82f pushed by david-christiansen
October 11, 2024 05:58 10s main
main
October 11, 2024 05:58 10s
chore: add recent Leans to CI Formalities #82: Pull request #55 opened by david-christiansen
October 11, 2024 05:57 10s ci-2024-10-11
ci-2024-10-11
October 11, 2024 05:57 10s
chore: add recent Leans to CI Formalities #81: Commit 88069ab pushed by david-christiansen
October 11, 2024 05:57 12s ci-2024-10-11
ci-2024-10-11
October 11, 2024 05:57 12s
fix: improved tracing and fix anonymous ctors Formalities #80: Pull request #54 opened by david-christiansen
October 11, 2024 05:56 18s tracing
tracing
October 11, 2024 05:56 18s
fix: improved tracing and fix anonymous ctors Formalities #79: Commit 8da79fd pushed by david-christiansen
October 11, 2024 05:55 10s tracing
tracing
October 11, 2024 05:55 10s
fix: save examples and compare signatures modulo macro scopes (#53) Formalities #78: Commit 505974b pushed by david-christiansen
October 3, 2024 10:49 10s main
main
October 3, 2024 10:49 10s
fix: save examples and compare signatures modulo macro scopes Formalities #77: Pull request #53 opened by david-christiansen
October 3, 2024 10:41 18s signature-fixes
signature-fixes
October 3, 2024 10:41 18s
fix: save examples and compare signatures modulo macro scopes Formalities #76: Commit 26fd200 pushed by david-christiansen
October 3, 2024 10:41 20s signature-fixes
signature-fixes
October 3, 2024 10:41 20s
chore: unused variable warnings Formalities #75: Pull request #52 opened by kim-em
October 3, 2024 01:03 13s kim-em:silence
kim-em:silence
October 3, 2024 01:03 13s
chore: better job name (#50) Formalities #74: Commit f567482 pushed by david-christiansen
September 18, 2024 07:25 10s main
main
September 18, 2024 07:25 10s
chore: better job name Formalities #73: Pull request #50 opened by david-christiansen
September 18, 2024 07:25 13s nightly-ci
nightly-ci
September 18, 2024 07:25 13s
chore: better job name Formalities #72: Commit 41cb79e pushed by david-christiansen
September 18, 2024 07:25 10s nightly-ci
nightly-ci
September 18, 2024 07:25 10s
fix: add the Elan installer to the nightly testing script (#49) Formalities #71: Commit 20b2327 pushed by david-christiansen
September 18, 2024 07:18 17s main
main
September 18, 2024 07:18 17s
fix: add the Elan installer to the nightly testing script Formalities #70: Pull request #49 opened by david-christiansen
September 18, 2024 07:18 12s nightly-ci
nightly-ci
September 18, 2024 07:18 12s