Public
- Public
- Network
- Groups
- Popular
- People

Conversation

Notices

きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 01-Aug-2021 01:47:27 JST きゅーけー

Laminar (https://laminar.ohwg.net/) で CI を回せるようになり、 ACL2 の証明がうまくいっているか確認できるようになった。https://ci.tojo.tokyo/jobs/acl2-theorems
Laminar CI 最高すぎる。私が丁度求めていたものが存在するとはなんて幸運なんだろう。作者に感謝。
(acl2-theorems のリポジトリ): https://git.tojo.tokyo/acl2-theorems.git/(ci の設定のリポジトリ): https://git.tojo.tokyo/ci.git/
In conversation Sunday, 01-Aug-2021 01:47:27 JST from mastodon.tojo.tokyo permalink
Attachments
1. Domain not in remote thumbnail source whitelist: laminar.ohwg.net
  
  Laminar - Lightweight Continuous Integration
  
  Continuous Integration the Light Way. Laminar is a lightweight yet highly extensible self-hosted Continuous Integration platform for Linux
2. Untitled attachment
3. Domain not in remote thumbnail source whitelist: git.tojo.tokyo
  
  ci.git - Unnamed repository; edit this file 'description' to name the repository.

Feeds