Skip to content

Actions: VTrelat/BEer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

delete DS_Store CI #16: Commit 77fef59 pushed by VTrelat
2m 22s main
main
2m 22s
chore: bump to v4.25.1 and some updates CI #15: Commit dcbb595 pushed by VTrelat
2m 2s main
main
2m 2s
CI CI #14: Manually run by VTrelat
17m 47s main
main
17m 47s
fix: udpate imports and proofs accordingly to new dependency on ZFLean CI #13: Commit 4d0b81b pushed by VTrelat
17m 16s main
main
17m 16s
doc: update link ref CI #12: Commit 4d44fcb pushed by VTrelat
33s main
main
33s
doc: update CITATION file CI #11: Commit b58323d pushed by VTrelat
4m 16s main
main
4m 16s
doc: cleanup CI #10: Commit e89d6dd pushed by VTrelat
4m 5s main
main
4m 5s
doc: add CITATION file CI #9: Commit a1ab692 pushed by VTrelat
4m 47s main
main
4m 47s
Merge pull request #3 from VTrelat/ci-release CI #8: Commit c058012 pushed by VTrelat
11m 46s main
main
11m 46s
CI CI #7: Manually run by VTrelat
4m 45s ci-release
ci-release
4m 45s
CI CI #6: Manually run by VTrelat
3m 32s ci-release
ci-release
3m 32s
feat: add macos and windows releases inCI workflow CI #5: Commit ae2297f pushed by VTrelat
13m 16s ci-release
ci-release
13m 16s
Merge pull request #2 from VTrelat/ci-release CI #4: Commit a36175c pushed by VTrelat
7m 32s main
main
7m 32s
CI for release CI #3: Pull request #2 opened by VTrelat
7m 21s ci-release
ci-release
7m 21s
Change CI trigger branches to all CI #2: Commit 170b040 pushed by VTrelat
1m 44s ci-release
ci-release
1m 44s
feat: add CI for automatic release generation CI #1: Commit e2649ea pushed by VTrelat
Failure ci-release
ci-release
Failure